<?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html> <head> <!-- Generated by HsColour, http://www.cs.york.ac.uk/fp/darcs/hscolour/ --> <title>Text/Regex/TDFA/TDFA.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-- | "Text.Regex.TDFA.TDFA" converts the QNFA from TNFA into the DFA.</span> <a name="line-2"></a><span class='hs-comment'>-- A DFA state corresponds to a Set of QNFA states, repesented as list</span> <a name="line-3"></a><span class='hs-comment'>-- of Index which are used to lookup the DFA state in a lazy Trie</span> <a name="line-4"></a><span class='hs-comment'>-- which holds all possible subsets of QNFA states.</span> <a name="line-5"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-layout'>(</span><span class='hs-varid'>patternToRegex</span><span class='hs-layout'>,</span><span class='hs-conid'>DFA</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-conid'>DT</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span> <a name="line-6"></a> <span class='hs-layout'>,</span><span class='hs-varid'>examineDFA</span><span class='hs-layout'>,</span><span class='hs-varid'>nfaToDFA</span><span class='hs-layout'>,</span><span class='hs-varid'>dfaMap</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-7"></a> <a name="line-8"></a><span class='hs-comment'>--import Control.Arrow((***))</span> <a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Instances</span><span class='hs-conid'>()</span> <a name="line-10"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Monoid</span><span class='hs-layout'>(</span><span class='hs-conid'>Monoid</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-11"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>State</span><span class='hs-layout'>(</span><span class='hs-conid'>State</span><span class='hs-layout'>,</span><span class='hs-conid'>MonadState</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>execState</span><span class='hs-layout'>)</span> <a name="line-12"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Array</span><span class='hs-varop'>.</span><span class='hs-conid'>IArray</span><span class='hs-layout'>(</span><span class='hs-conid'>Array</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-varop'>!</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>bounds</span><span class='hs-layout'>,</span><span class='hs-comment'>{-assocs-}</span><span class='hs-layout'>)</span> <a name="line-13"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntMap</span><span class='hs-layout'>(</span><span class='hs-conid'>IntMap</span><span class='hs-layout'>)</span> <a name="line-14"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntMap</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>IMap</span><span class='hs-layout'>(</span><span class='hs-varid'>empty</span><span class='hs-layout'>,</span><span class='hs-varid'>keys</span><span class='hs-layout'>,</span><span class='hs-varid'>delete</span><span class='hs-layout'>,</span><span class='hs-varid'>null</span><span class='hs-layout'>,</span><span class='hs-varid'>lookup</span><span class='hs-layout'>,</span><span class='hs-varid'>fromDistinctAscList</span> <a name="line-15"></a> <span class='hs-layout'>,</span><span class='hs-varid'>member</span><span class='hs-layout'>,</span><span class='hs-varid'>unionWith</span><span class='hs-layout'>,</span><span class='hs-varid'>singleton</span><span class='hs-layout'>,</span><span class='hs-varid'>union</span> <a name="line-16"></a> <span class='hs-layout'>,</span><span class='hs-varid'>toAscList</span><span class='hs-layout'>,</span><span class='hs-conid'>Key</span><span class='hs-layout'>,</span><span class='hs-varid'>elems</span><span class='hs-layout'>,</span><span class='hs-varid'>toList</span><span class='hs-layout'>,</span><span class='hs-varid'>insert</span> <a name="line-17"></a> <span class='hs-layout'>,</span><span class='hs-varid'>insertWith</span><span class='hs-layout'>,</span><span class='hs-varid'>insertWithKey</span><span class='hs-layout'>)</span> <a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntMap</span><span class='hs-varop'>.</span><span class='hs-conid'>CharMap2</span><span class='hs-layout'>(</span><span class='hs-conid'>CharMap</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntMap</span><span class='hs-varop'>.</span><span class='hs-conid'>CharMap2</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Map</span><span class='hs-layout'>(</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <a name="line-20"></a><span class='hs-comment'>--import Data.IntSet(IntSet)</span> <a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>IntSet</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>ISet</span><span class='hs-layout'>(</span><span class='hs-varid'>empty</span><span class='hs-layout'>,</span><span class='hs-varid'>singleton</span><span class='hs-layout'>,</span><span class='hs-varid'>null</span><span class='hs-layout'>)</span> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span><span class='hs-layout'>(</span><span class='hs-varid'>foldl'</span><span class='hs-layout'>)</span> <a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-layout'>(</span><span class='hs-conid'>Map</span><span class='hs-layout'>,</span><span class='hs-varid'>empty</span><span class='hs-layout'>,</span><span class='hs-varid'>member</span><span class='hs-layout'>,</span><span class='hs-varid'>insert</span><span class='hs-layout'>,</span><span class='hs-varid'>elems</span><span class='hs-layout'>)</span> <a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Sequence</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>S</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>|></span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-comment'>{-viewl,ViewL(..)-}</span><span class='hs-layout'>)</span> <a name="line-25"></a> <a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>Common</span> <span class='hs-comment'>{- all -}</span> <a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>IntArrTrieSet</span><span class='hs-layout'>(</span><span class='hs-conid'>TrieSet</span><span class='hs-layout'>)</span> <a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>IntArrTrieSet</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Trie</span><span class='hs-layout'>(</span><span class='hs-varid'>lookupAsc</span><span class='hs-layout'>,</span><span class='hs-varid'>fromSinglesMerge</span><span class='hs-layout'>)</span> <a name="line-29"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>Pattern</span><span class='hs-layout'>(</span><span class='hs-conid'>Pattern</span><span class='hs-layout'>)</span> <a name="line-30"></a><span class='hs-comment'>--import Text.Regex.TDFA.RunMutState(toInstructions)</span> <a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Text</span><span class='hs-varop'>.</span><span class='hs-conid'>Regex</span><span class='hs-varop'>.</span><span class='hs-conid'>TDFA</span><span class='hs-varop'>.</span><span class='hs-conid'>TNFA</span><span class='hs-layout'>(</span><span class='hs-varid'>patternToNFA</span><span class='hs-layout'>)</span> <a name="line-32"></a><span class='hs-comment'>--import Debug.Trace</span> <a name="line-33"></a> <a name="line-34"></a><span class='hs-comment'>{- By Chris Kuklewicz, 2007. BSD License, see the LICENSE file. -}</span> <a name="line-35"></a> <a name="line-36"></a><a name="err"></a><span class='hs-definition'>err</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-37"></a><span class='hs-definition'>err</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>common_error</span> <span class='hs-str'>"Text.Regex.TDFA.TDFA"</span> <span class='hs-varid'>s</span> <a name="line-38"></a> <a name="line-39"></a><a name="dlose"></a><span class='hs-definition'>dlose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DFA</span> <a name="line-40"></a><span class='hs-definition'>dlose</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>DFA</span> <span class='hs-layout'>{</span> <span class='hs-varid'>d_id</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ISet</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span> <a name="line-41"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>d_dt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span> <span class='hs-varid'>dt_win</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span> <a name="line-42"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_trans</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span> <a name="line-43"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_other</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Transition</span> <span class='hs-varid'>dlose</span> <span class='hs-varid'>dlose</span> <span class='hs-varid'>mempty</span> <span class='hs-layout'>}</span> <span class='hs-layout'>}</span> <a name="line-44"></a> <a name="line-45"></a><a name="makeDFA"></a><span class='hs-comment'>-- dumb smart constructor for tracing construction (I wanted to monitor laziness)</span> <a name="line-46"></a><span class='hs-comment'>{-# INLINE makeDFA #-}</span> <a name="line-47"></a><span class='hs-definition'>makeDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>SetIndex</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DFA</span> <a name="line-48"></a><span class='hs-definition'>makeDFA</span> <span class='hs-varid'>i</span> <span class='hs-varid'>dt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>DFA</span> <span class='hs-varid'>i</span> <span class='hs-varid'>dt</span> <a name="line-49"></a> <a name="line-50"></a><a name="nfaToDFA"></a><span class='hs-comment'>-- Note that no CompOption or ExecOption parameter is needed.</span> <a name="line-51"></a><span class='hs-definition'>nfaToDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Index</span><span class='hs-layout'>,</span><span class='hs-conid'>Array</span> <span class='hs-conid'>Index</span> <span class='hs-conid'>QNFA</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-conid'>Array</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>OP</span><span class='hs-layout'>,</span><span class='hs-conid'>Array</span> <span class='hs-conid'>GroupIndex</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>GroupInfo</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-52"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompOption</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ExecOption</span> <a name="line-53"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Regex</span> <a name="line-54"></a><span class='hs-definition'>nfaToDFA</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>startIndex</span><span class='hs-layout'>,</span><span class='hs-varid'>aQNFA</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>aTagOp</span><span class='hs-layout'>,</span><span class='hs-varid'>aGroupInfo</span><span class='hs-layout'>)</span> <span class='hs-varid'>co</span> <span class='hs-varid'>eo</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Regex</span> <span class='hs-varid'>dfa</span> <span class='hs-varid'>startIndex</span> <span class='hs-varid'>indexBounds</span> <span class='hs-varid'>tagBounds</span> <span class='hs-varid'>trie</span> <span class='hs-varid'>aTagOp</span> <span class='hs-varid'>aGroupInfo</span> <span class='hs-varid'>ifa</span> <span class='hs-varid'>co</span> <span class='hs-varid'>eo</span> <span class='hs-keyword'>where</span> <a name="line-55"></a> <span class='hs-varid'>dfa</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>startIndex</span><span class='hs-keyglyph'>]</span> <a name="line-56"></a> <span class='hs-varid'>indexBounds</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bounds</span> <span class='hs-varid'>aQNFA</span> <a name="line-57"></a> <span class='hs-varid'>tagBounds</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>bounds</span> <span class='hs-varid'>aTagOp</span> <a name="line-58"></a> <span class='hs-varid'>ifa</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-varid'>multiline</span> <span class='hs-varid'>co</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>isDFAFrontAnchored</span> <span class='hs-varid'>dfa</span> <a name="line-59"></a> <a name="line-60"></a> <span class='hs-varid'>indexesToDFA</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>{-# SCC "nfaToDFA.indexesToDFA" #-}</span> <span class='hs-conid'>Trie</span><span class='hs-varop'>.</span><span class='hs-varid'>lookupAsc</span> <span class='hs-varid'>trie</span> <span class='hs-comment'>-- Lookup in cache</span> <a name="line-61"></a> <a name="line-62"></a> <span class='hs-varid'>trie</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TrieSet</span> <span class='hs-conid'>DFA</span> <a name="line-63"></a> <span class='hs-varid'>trie</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Trie</span><span class='hs-varop'>.</span><span class='hs-varid'>fromSinglesMerge</span> <span class='hs-varid'>dlose</span> <span class='hs-varid'>mergeDFA</span> <span class='hs-layout'>(</span><span class='hs-varid'>bounds</span> <span class='hs-varid'>aQNFA</span><span class='hs-layout'>)</span> <span class='hs-varid'>indexToDFA</span> <a name="line-64"></a> <a name="line-65"></a> <span class='hs-varid'>newTransition</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Transition</span> <a name="line-66"></a> <span class='hs-varid'>newTransition</span> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span> <span class='hs-varid'>trans_many</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-varid'>dtransWithSpawn</span><span class='hs-layout'>)</span> <a name="line-67"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_single</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span> <a name="line-68"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_how</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dtransWithSpawn</span> <span class='hs-layout'>}</span> <a name="line-69"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>dtransWithSpawn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>addSpawn</span> <span class='hs-varid'>dtrans</span> <a name="line-70"></a> <a name="line-71"></a> <span class='hs-varid'>makeTransition</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Transition</span> <a name="line-72"></a> <span class='hs-varid'>makeTransition</span> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>hasSpawn</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span> <span class='hs-varid'>trans_many</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span> <a name="line-73"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_single</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>delete</span> <span class='hs-varid'>startIndex</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-74"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_how</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dtrans</span> <span class='hs-layout'>}</span> <a name="line-75"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span> <span class='hs-varid'>trans_many</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span> <a name="line-76"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_single</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>indexesToDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>keys</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span> <a name="line-77"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>trans_how</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dtrans</span> <span class='hs-layout'>}</span> <a name="line-78"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>hasSpawn</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybe</span> <span class='hs-conid'>False</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>lookup</span> <span class='hs-varid'>startIndex</span> <span class='hs-varid'>dtrans</span><span class='hs-layout'>)</span> <a name="line-79"></a> <a name="line-80"></a> <span class='hs-comment'>-- coming from (-1) means spawn a new starting item</span> <a name="line-81"></a> <span class='hs-varid'>addSpawn</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DTrans</span> <a name="line-82"></a> <span class='hs-varid'>addSpawn</span> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>member</span> <span class='hs-varid'>startIndex</span> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dtrans</span> <a name="line-83"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>startIndex</span> <span class='hs-varid'>mempty</span> <span class='hs-varid'>dtrans</span> <a name="line-84"></a> <a name="line-85"></a> <span class='hs-varid'>indexToDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Index</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DFA</span> <span class='hs-comment'>-- used to seed the Trie from the NFA</span> <a name="line-86"></a> <span class='hs-varid'>indexToDFA</span> <span class='hs-varid'>i</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>{-# SCC "nfaToDFA.indexToDFA" #-}</span> <span class='hs-varid'>makeDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>ISet</span><span class='hs-varop'>.</span><span class='hs-varid'>singleton</span> <span class='hs-varid'>source</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>qtToDT</span> <span class='hs-varid'>qtIn</span><span class='hs-layout'>)</span> <a name="line-87"></a> <span class='hs-keyword'>where</span> <a name="line-88"></a> <span class='hs-layout'>(</span><span class='hs-conid'>QNFA</span> <span class='hs-layout'>{</span><span class='hs-varid'>q_id</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>source</span><span class='hs-layout'>,</span><span class='hs-varid'>q_qt</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qtIn</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>aQNFA</span><span class='hs-varop'>!</span><span class='hs-varid'>i</span> <a name="line-89"></a> <span class='hs-varid'>qtToDT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DT</span> <a name="line-90"></a> <span class='hs-varid'>qtToDT</span> <span class='hs-layout'>(</span><span class='hs-conid'>Testing</span> <span class='hs-layout'>{</span><span class='hs-varid'>qt_test</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>wt</span><span class='hs-layout'>,</span> <span class='hs-varid'>qt_dopas</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dopas</span><span class='hs-layout'>,</span> <span class='hs-varid'>qt_a</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-varid'>qt_b</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>b</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-91"></a> <span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span> <span class='hs-varid'>dt_test</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>wt</span> <a name="line-92"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_dopas</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dopas</span> <a name="line-93"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qtToDT</span> <span class='hs-varid'>a</span> <a name="line-94"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qtToDT</span> <span class='hs-varid'>b</span> <span class='hs-layout'>}</span> <a name="line-95"></a> <span class='hs-varid'>qtToDT</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple</span> <span class='hs-layout'>{</span><span class='hs-varid'>qt_win</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>w</span><span class='hs-layout'>,</span> <span class='hs-varid'>qt_trans</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>t</span><span class='hs-layout'>,</span> <span class='hs-varid'>qt_other</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>o</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-96"></a> <span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span> <span class='hs-varid'>dt_win</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>makeWinner</span> <a name="line-97"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_trans</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-varid'>qtransToDFA</span> <span class='hs-varid'>t</span> <a name="line-98"></a><span class='hs-comment'>-- , dt_other = if IMap.null o then Just (newTransition $ IMap.singleton startIndex mempty) else Just (qtransToDFA o)}</span> <a name="line-99"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_other</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>qtransToDFA</span> <span class='hs-varid'>o</span><span class='hs-layout'>}</span> <a name="line-100"></a> <span class='hs-keyword'>where</span> <a name="line-101"></a> <span class='hs-varid'>makeWinner</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>IntMap</span> <span class='hs-comment'>{- Index -}</span> <span class='hs-conid'>Instructions</span> <span class='hs-comment'>-- (RunState ())</span> <a name="line-102"></a> <span class='hs-varid'>makeWinner</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>noWin</span> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span> <a name="line-103"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>singleton</span> <span class='hs-varid'>source</span> <span class='hs-layout'>(</span><span class='hs-varid'>cleanWin</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <a name="line-104"></a> <a name="line-105"></a> <span class='hs-varid'>qtransToDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>QTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Transition</span> <a name="line-106"></a> <span class='hs-varid'>qtransToDFA</span> <span class='hs-varid'>qtrans</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>{-# SCC "nfaToDFA.indexToDFA.qtransToDFA" #-}</span> <a name="line-107"></a> <span class='hs-varid'>newTransition</span> <span class='hs-varid'>dtrans</span> <a name="line-108"></a> <span class='hs-keyword'>where</span> <a name="line-109"></a> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DTrans</span> <a name="line-110"></a> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>=</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>fromDistinctAscList</span> <span class='hs-varop'>.</span> <span class='hs-varid'>mapSnd</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>singleton</span> <span class='hs-varid'>source</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <span class='hs-varid'>best</span> <a name="line-111"></a> <span class='hs-varid'>best</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Index</span> <span class='hs-comment'>{- Destination -}</span> <span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-112"></a> <span class='hs-varid'>best</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pickQTrans</span> <span class='hs-varid'>aTagOp</span> <span class='hs-varop'>$</span> <span class='hs-varid'>qtrans</span> <a name="line-113"></a> <a name="line-114"></a> <span class='hs-comment'>-- The DFA states are built up by merging the singleton ones converted from the NFA.</span> <a name="line-115"></a> <span class='hs-comment'>-- Thus the "source" indices in the DTrans should not collide.</span> <a name="line-116"></a> <span class='hs-varid'>mergeDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DFA</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DFA</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DFA</span> <a name="line-117"></a> <span class='hs-varid'>mergeDFA</span> <span class='hs-varid'>d1</span> <span class='hs-varid'>d2</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>{-# SCC "nfaToDFA.mergeDFA" #-}</span> <span class='hs-varid'>makeDFA</span> <span class='hs-varid'>i</span> <span class='hs-varid'>dt</span> <a name="line-118"></a> <span class='hs-keyword'>where</span> <a name="line-119"></a> <span class='hs-varid'>i</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d_id</span> <span class='hs-varid'>d1</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>d_id</span> <span class='hs-varid'>d2</span> <a name="line-120"></a> <span class='hs-varid'>dt</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>d_dt</span> <span class='hs-varid'>d1</span> <span class='hs-varop'>`mergeDT`</span> <span class='hs-varid'>d_dt</span> <span class='hs-varid'>d2</span> <a name="line-121"></a> <span class='hs-varid'>mergeDT</span><span class='hs-layout'>,</span><span class='hs-varid'>nestDT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DT</span> <a name="line-122"></a> <span class='hs-varid'>mergeDT</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-varid'>w1</span> <span class='hs-varid'>t1</span> <span class='hs-varid'>o1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-varid'>w2</span> <span class='hs-varid'>t2</span> <span class='hs-varid'>o2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Simple'</span> <span class='hs-varid'>w</span> <span class='hs-varid'>t</span> <span class='hs-varid'>o</span> <a name="line-123"></a> <span class='hs-keyword'>where</span> <a name="line-124"></a> <span class='hs-varid'>w</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>w1</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>w2</span> <a name="line-125"></a> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fuseDTrans</span> <span class='hs-comment'>-- t1 o1 t2 o2</span> <a name="line-126"></a> <span class='hs-varid'>o</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>o1</span> <span class='hs-varid'>o2</span> <a name="line-127"></a> <span class='hs-comment'>-- This is very much like mergeQTrans</span> <a name="line-128"></a> <span class='hs-varid'>mergeDTrans</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Transition</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Transition</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Transition</span> <a name="line-129"></a> <span class='hs-varid'>mergeDTrans</span> <span class='hs-layout'>(</span><span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span><span class='hs-varid'>trans_how</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dt1</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span><span class='hs-varid'>trans_how</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dt2</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>makeTransition</span> <span class='hs-varid'>dtrans</span> <a name="line-130"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>dtrans</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>unionWith</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>union</span> <span class='hs-varid'>dt1</span> <span class='hs-varid'>dt2</span> <a name="line-131"></a> <span class='hs-comment'>-- This is very much like fuseQTrans</span> <a name="line-132"></a> <span class='hs-varid'>fuseDTrans</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>CharMap</span> <span class='hs-conid'>Transition</span> <a name="line-133"></a> <span class='hs-varid'>fuseDTrans</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>CharMap</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>fromDistinctAscList</span> <span class='hs-layout'>(</span><span class='hs-varid'>fuse</span> <span class='hs-varid'>l1</span> <span class='hs-varid'>l2</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-134"></a> <span class='hs-keyword'>where</span> <a name="line-135"></a> <span class='hs-varid'>l1</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>toAscList</span> <span class='hs-layout'>(</span><span class='hs-varid'>unCharMap</span> <span class='hs-varid'>t1</span><span class='hs-layout'>)</span> <a name="line-136"></a> <span class='hs-varid'>l2</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>toAscList</span> <span class='hs-layout'>(</span><span class='hs-varid'>unCharMap</span> <span class='hs-varid'>t2</span><span class='hs-layout'>)</span> <a name="line-137"></a> <span class='hs-varid'>fuse</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-conid'>Key</span><span class='hs-layout'>,</span> <span class='hs-conid'>Transition</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-138"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-conid'>Key</span><span class='hs-layout'>,</span> <span class='hs-conid'>Transition</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-139"></a> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-conid'>Key</span><span class='hs-layout'>,</span> <span class='hs-conid'>Transition</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-140"></a> <span class='hs-varid'>fuse</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>o1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span> <a name="line-141"></a> <span class='hs-varid'>fuse</span> <span class='hs-varid'>x</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>fmap</span> <span class='hs-layout'>(</span><span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>o2</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span> <a name="line-142"></a> <span class='hs-varid'>fuse</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>xc</span><span class='hs-layout'>,</span><span class='hs-varid'>xa</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>yc</span><span class='hs-layout'>,</span><span class='hs-varid'>ya</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-143"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>compare</span> <span class='hs-varid'>xc</span> <span class='hs-varid'>yc</span> <span class='hs-keyword'>of</span> <a name="line-144"></a> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>xc</span><span class='hs-layout'>,</span><span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>o2</span> <span class='hs-varid'>xa</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>fuse</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>y</span> <a name="line-145"></a> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>xc</span><span class='hs-layout'>,</span><span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>xa</span> <span class='hs-varid'>ya</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>fuse</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-146"></a> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>yc</span><span class='hs-layout'>,</span><span class='hs-varid'>mergeDTrans</span> <span class='hs-varid'>o1</span> <span class='hs-varid'>ya</span><span class='hs-layout'>)</span> <span class='hs-conop'>:</span> <span class='hs-varid'>fuse</span> <span class='hs-varid'>x</span> <span class='hs-varid'>ys</span> <a name="line-147"></a> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>dt1</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-varid'>wt1</span> <span class='hs-varid'>dopas1</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>b1</span><span class='hs-layout'>)</span> <span class='hs-varid'>dt2</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-varid'>wt2</span> <span class='hs-varid'>dopas2</span> <span class='hs-varid'>a2</span> <span class='hs-varid'>b2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-148"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>compare</span> <span class='hs-varid'>wt1</span> <span class='hs-varid'>wt2</span> <span class='hs-keyword'>of</span> <a name="line-149"></a> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>nestDT</span> <span class='hs-varid'>dt1</span> <span class='hs-varid'>dt2</span> <a name="line-150"></a> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span> <span class='hs-varid'>dt_test</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>wt1</span> <a name="line-151"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_dopas</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dopas1</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>dopas2</span> <a name="line-152"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>a1</span> <span class='hs-varid'>a2</span> <a name="line-153"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>dt_b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>b1</span> <span class='hs-varid'>b2</span> <span class='hs-layout'>}</span> <a name="line-154"></a> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>nestDT</span> <span class='hs-varid'>dt2</span> <span class='hs-varid'>dt1</span> <a name="line-155"></a> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>dt1</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>dt2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nestDT</span> <span class='hs-varid'>dt1</span> <span class='hs-varid'>dt2</span> <a name="line-156"></a> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>dt1</span> <span class='hs-varid'>dt2</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nestDT</span> <span class='hs-varid'>dt2</span> <span class='hs-varid'>dt1</span> <a name="line-157"></a> <span class='hs-varid'>nestDT</span> <span class='hs-varid'>dt1</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_a</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_b</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>b</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>dt2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>dt1</span> <span class='hs-layout'>{</span> <span class='hs-varid'>dt_a</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>a</span> <span class='hs-varid'>dt2</span><span class='hs-layout'>,</span> <span class='hs-varid'>dt_b</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mergeDT</span> <span class='hs-varid'>b</span> <span class='hs-varid'>dt2</span> <span class='hs-layout'>}</span> <a name="line-158"></a> <span class='hs-varid'>nestDT</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>err</span> <span class='hs-str'>"nestDT called on Simple -- cannot happen"</span> <a name="line-159"></a> <a name="line-160"></a><a name="patternToRegex"></a><span class='hs-definition'>patternToRegex</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Pattern</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-conid'>GroupIndex</span><span class='hs-layout'>,</span> <span class='hs-conid'>DoPa</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompOption</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>ExecOption</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Regex</span> <a name="line-161"></a><span class='hs-definition'>patternToRegex</span> <span class='hs-varid'>pattern</span> <span class='hs-varid'>compOpt</span> <span class='hs-varid'>execOpt</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nfaToDFA</span> <span class='hs-layout'>(</span><span class='hs-varid'>patternToNFA</span> <span class='hs-varid'>compOpt</span> <span class='hs-varid'>pattern</span><span class='hs-layout'>)</span> <span class='hs-varid'>compOpt</span> <span class='hs-varid'>execOpt</span> <a name="line-162"></a> <a name="line-163"></a><a name="dfaMap"></a><span class='hs-definition'>dfaMap</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DFA</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span> <span class='hs-conid'>SetIndex</span> <span class='hs-conid'>DFA</span> <a name="line-164"></a><span class='hs-definition'>dfaMap</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>seen</span> <span class='hs-layout'>(</span><span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>empty</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-165"></a> <span class='hs-varid'>seen</span> <span class='hs-varid'>old</span> <span class='hs-varid'>d</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>DFA</span> <span class='hs-layout'>{</span><span class='hs-varid'>d_id</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>i</span><span class='hs-layout'>,</span><span class='hs-varid'>d_dt</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dt</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-166"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>i</span> <span class='hs-varop'>`</span><span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>member</span><span class='hs-varop'>`</span> <span class='hs-varid'>old</span> <a name="line-167"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>old</span> <a name="line-168"></a> <span class='hs-keyword'>else</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>new</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>i</span> <span class='hs-varid'>d</span> <span class='hs-varid'>old</span> <a name="line-169"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>foldl'</span> <span class='hs-varid'>seen</span> <span class='hs-varid'>new</span> <span class='hs-layout'>(</span><span class='hs-varid'>flattenDT</span> <span class='hs-varid'>dt</span><span class='hs-layout'>)</span> <a name="line-170"></a> <a name="line-171"></a><a name="flattenDT"></a><span class='hs-comment'>-- Get all trans_many states</span> <a name="line-172"></a><span class='hs-definition'>flattenDT</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>DFA</span><span class='hs-keyglyph'>]</span> <a name="line-173"></a><span class='hs-definition'>flattenDT</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_trans</span><span class='hs-keyglyph'>=</span><span class='hs-layout'>(</span><span class='hs-conid'>CharMap</span> <span class='hs-varid'>mt</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_other</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>o</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>concatMap</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>d</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>trans_many</span> <span class='hs-varid'>d</span> <span class='hs-comment'>{-,trans_single d-}</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-varid'>o</span> <span class='hs-varop'>.</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>elems</span> <span class='hs-varop'>$</span> <span class='hs-varid'>mt</span> <a name="line-174"></a><span class='hs-definition'>flattenDT</span> <span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_a</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_b</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>b</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>flattenDT</span> <span class='hs-varid'>a</span> <span class='hs-varop'>++</span> <span class='hs-varid'>flattenDT</span> <span class='hs-varid'>b</span> <a name="line-175"></a> <a name="line-176"></a><a name="examineDFA"></a><span class='hs-definition'>examineDFA</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Regex</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-177"></a><span class='hs-definition'>examineDFA</span> <span class='hs-layout'>(</span><span class='hs-conid'>Regex</span> <span class='hs-layout'>{</span><span class='hs-varid'>regex_dfa</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dfa</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unlines</span> <span class='hs-varop'>.</span> <span class='hs-layout'>(</span><span class='hs-conop'>:</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-str'>"Number of reachable DFA states: "</span><span class='hs-varop'>++</span><span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>length</span> <span class='hs-varid'>dfas</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-varid'>map</span> <span class='hs-varid'>show</span> <span class='hs-varop'>$</span> <span class='hs-varid'>dfas</span> <a name="line-178"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>dfas</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Map</span><span class='hs-varop'>.</span><span class='hs-varid'>elems</span> <span class='hs-varop'>$</span> <span class='hs-varid'>dfaMap</span> <span class='hs-varid'>dfa</span> <a name="line-179"></a> <a name="line-180"></a><span class='hs-comment'>{- <a name="line-181"></a> <a name="line-182"></a>fillMap :: Tag -> IntMap (Position,Bool) <a name="line-183"></a>fillMap tag = IMap.fromDistinctAscList [(t,(-1,True)) | t <- [0..tag] ] <a name="line-184"></a> <a name="line-185"></a>diffMap :: IntMap (Position,Bool) -> IntMap (Position,Bool) -> [(Index,(Position,Bool))] <a name="line-186"></a>diffMap old new = IMap.toList (IMap.differenceWith (\a b -> if a==b then Nothing else Just b) old new) <a name="line-187"></a> <a name="line-188"></a>examineDFA :: (DFA,Index,Array Tag OP,Array GroupIndex [GroupInfo]) -> String <a name="line-189"></a>examineDFA (dfa,_,aTags,_) = unlines $ map (examineDFA' (snd . bounds $ aTags)) (Map.elems $ dfaMap dfa) <a name="line-190"></a> <a name="line-191"></a>examineDFA' :: Tag -> DFA -> String <a name="line-192"></a>examineDFA' maxTag = showDFA (fillMap maxTag) <a name="line-193"></a> <a name="line-194"></a>{- <a name="line-195"></a>instance Show DFA where <a name="line-196"></a> show (DFA {d_id=i,d_dt=dt}) = "DFA {d_id = "++show (ISet.toList i) <a name="line-197"></a> ++"\n ,d_dt = "++ show dt <a name="line-198"></a> ++"\n}" <a name="line-199"></a>-} <a name="line-200"></a>-- instance Show DT where show = showDT <a name="line-201"></a> <a name="line-202"></a>showDFA :: IntMap (Position,Bool) -> DFA -> String <a name="line-203"></a>showDFA m (DFA {d_id=i,d_dt=dt}) = "DFA {d_id = "++show (ISet.toList i) <a name="line-204"></a> ++"\n ,d_dt = "++ showDT m dt <a name="line-205"></a> ++"\n}" <a name="line-206"></a>-}</span> <a name="line-207"></a> <a name="line-208"></a> <a name="line-209"></a> <a name="line-210"></a><a name="pickQTrans"></a><span class='hs-comment'>-- pick QTrans can be told the unique source and knows all the</span> <a name="line-211"></a><span class='hs-comment'>-- destinations (hmm...along with qt_win)! So if in ascending destination order the last source</span> <a name="line-212"></a><span class='hs-comment'>-- is free to mutatate the old state. If the QTrans has only one</span> <a name="line-213"></a><span class='hs-comment'>-- entry then all we need to do is mutate that entry when making a</span> <a name="line-214"></a><span class='hs-comment'>-- transition.</span> <a name="line-215"></a><span class='hs-comment'>-- </span> <a name="line-216"></a><span class='hs-definition'>pickQTrans</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Array</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>OP</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>QTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-comment'>{-Destination-}</span><span class='hs-conid'>Index</span><span class='hs-layout'>,</span><span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-217"></a><span class='hs-definition'>pickQTrans</span> <span class='hs-varid'>op</span> <span class='hs-varid'>tr</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mapSnd</span> <span class='hs-layout'>(</span><span class='hs-varid'>bestTrans</span> <span class='hs-varid'>op</span><span class='hs-layout'>)</span> <span class='hs-varop'>.</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tr</span> <a name="line-218"></a> <a name="line-219"></a><a name="cleanWin"></a><span class='hs-definition'>cleanWin</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>WinTags</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Instructions</span> <a name="line-220"></a><span class='hs-definition'>cleanWin</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toInstructions</span> <a name="line-221"></a> <a name="line-222"></a><a name="bestTrans"></a><span class='hs-definition'>bestTrans</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Array</span> <span class='hs-conid'>Tag</span> <span class='hs-conid'>OP</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>TagCommand</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span> <a name="line-223"></a><span class='hs-definition'>bestTrans</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>err</span> <span class='hs-str'>"bestTrans : There were no transition choose from!"</span> <a name="line-224"></a><span class='hs-definition'>bestTrans</span> <span class='hs-varid'>aTagOP</span> <span class='hs-layout'>(</span><span class='hs-varid'>f</span><span class='hs-conop'>:</span><span class='hs-varid'>fs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>canonical</span> <span class='hs-varid'>f</span> <a name="line-225"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>answer</span> <span class='hs-comment'>-- if null toDisplay then answer else trace toDisplay answer</span> <a name="line-226"></a> <span class='hs-keyword'>where</span> <a name="line-227"></a> <span class='hs-varid'>answer</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldl'</span> <span class='hs-varid'>pick</span> <span class='hs-layout'>(</span><span class='hs-varid'>canonical</span> <span class='hs-varid'>f</span><span class='hs-layout'>)</span> <span class='hs-varid'>fs</span> <a name="line-228"></a> <span class='hs-comment'>{- toDisplay | null fs = "" <a name="line-229"></a> | otherwise = unlines $ "bestTrans" : show (answer) : "from among" : concatMap (\x -> [show x, show (toInstructions (snd x))]) (f:fs) -}</span> <a name="line-230"></a> <span class='hs-varid'>canonical</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagCommand</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span> <a name="line-231"></a> <span class='hs-varid'>canonical</span> <span class='hs-layout'>(</span><span class='hs-varid'>dopa</span><span class='hs-layout'>,</span><span class='hs-varid'>spec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>dopa</span><span class='hs-layout'>,</span> <span class='hs-varid'>toInstructions</span> <span class='hs-varid'>spec</span><span class='hs-layout'>)</span> <a name="line-232"></a> <span class='hs-varid'>pick</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TagCommand</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>DoPa</span><span class='hs-layout'>,</span><span class='hs-conid'>Instructions</span><span class='hs-layout'>)</span> <a name="line-233"></a> <span class='hs-varid'>pick</span> <span class='hs-varid'>win</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-varid'>dopa1</span><span class='hs-layout'>,</span><span class='hs-varid'>winI</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>dopa2</span><span class='hs-layout'>,</span><span class='hs-varid'>spec</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-234"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nextI</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toInstructions</span> <span class='hs-varid'>spec</span> <a name="line-235"></a><span class='hs-comment'>-- in case compareWith choose winPos nextPos of -- XXX 2009: add in enterOrbit information</span> <a name="line-236"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>compareWith</span> <span class='hs-varid'>choose</span> <span class='hs-layout'>(</span><span class='hs-varid'>toListing</span> <span class='hs-varid'>winI</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>toListing</span> <span class='hs-varid'>nextI</span><span class='hs-layout'>)</span> <span class='hs-keyword'>of</span> <a name="line-237"></a> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>win</span> <a name="line-238"></a> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>dopa2</span><span class='hs-layout'>,</span><span class='hs-varid'>nextI</span><span class='hs-layout'>)</span> <a name="line-239"></a> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-varid'>dopa1</span> <span class='hs-varop'>>=</span> <span class='hs-varid'>dopa2</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>win</span> <span class='hs-keyword'>else</span> <span class='hs-layout'>(</span><span class='hs-varid'>dopa2</span><span class='hs-layout'>,</span><span class='hs-varid'>nextI</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- no deep reason not to just pick win</span> <a name="line-240"></a> <a name="line-241"></a> <span class='hs-varid'>toListing</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Instructions</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Tag</span><span class='hs-layout'>,</span><span class='hs-conid'>Action</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-242"></a> <span class='hs-varid'>toListing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Instructions</span> <span class='hs-layout'>{</span><span class='hs-varid'>newPos</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nextPos</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>filter</span> <span class='hs-varid'>notReset</span> <span class='hs-varid'>nextPos</span> <a name="line-243"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>notReset</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-conid'>SetVal</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-244"></a> <span class='hs-varid'>notReset</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-245"></a><span class='hs-comment'>{- <a name="line-246"></a> toListing (Instructions {newPos = nextPos}) = mergeTagOrbit nextPos (filter snd nextFlags) <a name="line-247"></a> <a name="line-248"></a> mergeTagOrbit xx [] = xx <a name="line-249"></a> mergeTagOrbit [] yy = yy <a name="line-250"></a> mergeTagOrbit xx@(x:xs) yy@(y:ys) = <a name="line-251"></a> case compare (fst x) (fst y) of <a name="line-252"></a> GT -> y : mergeTagOrbit xx ys <a name="line-253"></a> LT -> x : mergeTagOrbit xs yy <a name="line-254"></a> EQ -> x : mergeTagOrbit xs ys -- keep tag setting over orbit setting. <a name="line-255"></a>-}</span> <a name="line-256"></a> <a name="line-257"></a> <span class='hs-comment'>{-# INLINE choose #-}</span> <a name="line-258"></a> <span class='hs-varid'>choose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span><span class='hs-layout'>,</span><span class='hs-conid'>Action</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span><span class='hs-layout'>,</span><span class='hs-conid'>Action</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Ordering</span> <a name="line-259"></a> <span class='hs-varid'>choose</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>EQ</span> <a name="line-260"></a> <span class='hs-varid'>choose</span> <span class='hs-conid'>Nothing</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>flipOrder</span> <span class='hs-layout'>(</span><span class='hs-varid'>choose</span> <span class='hs-varid'>x</span> <span class='hs-conid'>Nothing</span><span class='hs-layout'>)</span> <a name="line-261"></a> <span class='hs-varid'>choose</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-sel'>_post</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>=</span> <a name="line-262"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>aTagOP</span><span class='hs-varop'>!</span><span class='hs-varid'>tag</span> <span class='hs-keyword'>of</span> <a name="line-263"></a> <span class='hs-conid'>Maximize</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GT</span> <a name="line-264"></a> <span class='hs-conid'>Minimize</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LT</span> <span class='hs-comment'>-- needed to choose best path inside nested * operators,</span> <a name="line-265"></a> <span class='hs-comment'>-- this needs a leading Minimize tag inside at least the parent * operator</span> <a name="line-266"></a> <span class='hs-conid'>Ignore</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GT</span> <span class='hs-comment'>-- XXX this is a guess in analogy with Maximize for the end bit of a group</span> <a name="line-267"></a> <span class='hs-conid'>Orbit</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LT</span> <span class='hs-comment'>-- trace ("choose LT! Just "++show tag++" < Nothing") LT -- 2009 XXX : comment out next line and use the Orbit instead</span> <a name="line-268"></a><span class='hs-comment'>-- Orbit -> err $ "bestTrans.choose : Very Unexpeted Orbit in Just Nothing: "++show (tag,post,aTagOP,f:fs)</span> <a name="line-269"></a> <span class='hs-varid'>choose</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-varid'>post1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span><span class='hs-varid'>post2</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-270"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>aTagOP</span><span class='hs-varop'>!</span><span class='hs-varid'>tag</span> <span class='hs-keyword'>of</span> <a name="line-271"></a> <span class='hs-conid'>Maximize</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>order</span> <a name="line-272"></a> <span class='hs-conid'>Minimize</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>flipOrder</span> <span class='hs-varid'>order</span> <a name="line-273"></a> <span class='hs-conid'>Ignore</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>EQ</span> <a name="line-274"></a> <span class='hs-conid'>Orbit</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>EQ</span> <a name="line-275"></a><span class='hs-comment'>-- Orbit -> err $ "bestTrans.choose : Very Unexpeted Orbit in Just Just: "++show (tag,(post1,post2),aTagOP,f:fs)</span> <a name="line-276"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>order</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-layout'>(</span><span class='hs-varid'>post1</span><span class='hs-layout'>,</span><span class='hs-varid'>post2</span><span class='hs-layout'>)</span> <span class='hs-keyword'>of</span> <a name="line-277"></a> <span class='hs-layout'>(</span><span class='hs-conid'>SetPre</span><span class='hs-layout'>,</span><span class='hs-conid'>SetPre</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>EQ</span> <a name="line-278"></a> <span class='hs-layout'>(</span><span class='hs-conid'>SetPost</span><span class='hs-layout'>,</span><span class='hs-conid'>SetPost</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>EQ</span> <a name="line-279"></a> <span class='hs-layout'>(</span><span class='hs-conid'>SetPre</span><span class='hs-layout'>,</span><span class='hs-conid'>SetPost</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>LT</span> <a name="line-280"></a> <span class='hs-layout'>(</span><span class='hs-conid'>SetPost</span><span class='hs-layout'>,</span><span class='hs-conid'>SetPre</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GT</span> <a name="line-281"></a> <span class='hs-layout'>(</span><span class='hs-conid'>SetVal</span> <span class='hs-varid'>v1</span><span class='hs-layout'>,</span><span class='hs-conid'>SetVal</span> <span class='hs-varid'>v2</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>compare</span> <span class='hs-varid'>v1</span> <span class='hs-varid'>v2</span> <a name="line-282"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>err</span> <span class='hs-varop'>$</span> <span class='hs-str'>"bestTrans.compareWith.choose sees incomparable "</span><span class='hs-varop'>++</span><span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-varid'>post1</span><span class='hs-layout'>,</span><span class='hs-varid'>post2</span><span class='hs-layout'>)</span> <a name="line-283"></a> <a name="line-284"></a> <a name="line-285"></a> <span class='hs-comment'>{-# INLINE compareWith #-}</span> <a name="line-286"></a> <span class='hs-varid'>compareWith</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Ord</span> <span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-conid'>Monoid</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>b</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-287"></a> <span class='hs-varid'>compareWith</span> <span class='hs-varid'>comp</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>cw</span> <span class='hs-keyword'>where</span> <a name="line-288"></a> <span class='hs-varid'>cw</span> <span class='hs-conid'>[]</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>comp</span> <span class='hs-conid'>Nothing</span> <span class='hs-conid'>Nothing</span> <a name="line-289"></a> <span class='hs-varid'>cw</span> <span class='hs-varid'>xx</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-conop'>:</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varid'>yy</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-varid'>y</span><span class='hs-conop'>:</span><span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-290"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>compare</span> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyword'>of</span> <a name="line-291"></a> <span class='hs-conid'>GT</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>comp</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>cw</span> <span class='hs-varid'>xx</span> <span class='hs-varid'>ys</span> <a name="line-292"></a> <span class='hs-conid'>EQ</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>comp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>cw</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-293"></a> <span class='hs-conid'>LT</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>comp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>cw</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>yy</span> <a name="line-294"></a> <span class='hs-varid'>cw</span> <span class='hs-varid'>xx</span> <span class='hs-conid'>[]</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldr</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>x</span> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>comp</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-conid'>Nothing</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <span class='hs-varid'>mempty</span> <span class='hs-varid'>xx</span> <a name="line-295"></a> <span class='hs-varid'>cw</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>yy</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>foldr</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>y</span> <span class='hs-varid'>rest</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>comp</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-varop'>`mappend`</span> <span class='hs-varid'>rest</span><span class='hs-layout'>)</span> <span class='hs-varid'>mempty</span> <span class='hs-varid'>yy</span> <a name="line-296"></a> <a name="line-297"></a> <a name="line-298"></a><a name="isDFAFrontAnchored"></a><span class='hs-definition'>isDFAFrontAnchored</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DFA</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-299"></a><span class='hs-definition'>isDFAFrontAnchored</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-varop'>.</span> <span class='hs-varid'>d_dt</span> <a name="line-300"></a> <span class='hs-keyword'>where</span> <a name="line-301"></a> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-302"></a> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-303"></a> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_test</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>wt</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_a</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_b</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>b</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>wt</span> <span class='hs-varop'>==</span> <span class='hs-conid'>Test_BOL</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isDTLosing</span> <span class='hs-varid'>b</span> <a name="line-304"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-varid'>a</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>isDTFrontAnchored</span> <span class='hs-varid'>b</span> <a name="line-305"></a> <span class='hs-keyword'>where</span> <a name="line-306"></a> <span class='hs-comment'>-- can DT never win or accept a character (when following trans_single)?</span> <a name="line-307"></a> <span class='hs-varid'>isDTLosing</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DT</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-308"></a> <span class='hs-varid'>isDTLosing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Testing'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_a</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>a'</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_b</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>b'</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isDTLosing</span> <span class='hs-varid'>a'</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>isDTLosing</span> <span class='hs-varid'>b'</span> <a name="line-309"></a> <span class='hs-varid'>isDTLosing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_win</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>w</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>not</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>w</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <span class='hs-comment'>-- can win with 0 characters</span> <a name="line-310"></a> <span class='hs-varid'>isDTLosing</span> <span class='hs-layout'>(</span><span class='hs-conid'>Simple'</span> <span class='hs-layout'>{</span><span class='hs-varid'>dt_trans</span><span class='hs-keyglyph'>=</span><span class='hs-conid'>CharMap</span> <span class='hs-varid'>mt</span><span class='hs-layout'>,</span><span class='hs-varid'>dt_other</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>o</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-311"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>ts</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>o</span> <span class='hs-conop'>:</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>elems</span> <span class='hs-varid'>mt</span> <a name="line-312"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>all</span> <span class='hs-varid'>transLoses</span> <span class='hs-varid'>ts</span> <a name="line-313"></a> <span class='hs-keyword'>where</span> <a name="line-314"></a> <span class='hs-varid'>transLoses</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Transition</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-315"></a> <span class='hs-varid'>transLoses</span> <span class='hs-layout'>(</span><span class='hs-conid'>Transition</span> <span class='hs-layout'>{</span><span class='hs-varid'>trans_single</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dfa</span><span class='hs-layout'>,</span><span class='hs-varid'>trans_how</span><span class='hs-keyglyph'>=</span><span class='hs-varid'>dtrans</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>isDTLose</span> <span class='hs-varid'>dfa</span> <span class='hs-varop'>||</span> <span class='hs-varid'>onlySpawns</span> <span class='hs-varid'>dtrans</span> <a name="line-316"></a> <span class='hs-keyword'>where</span> <a name="line-317"></a> <span class='hs-varid'>isDTLose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DFA</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-318"></a> <span class='hs-varid'>isDTLose</span> <span class='hs-varid'>dfa'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>ISet</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-layout'>(</span><span class='hs-varid'>d_id</span> <span class='hs-varid'>dfa'</span><span class='hs-layout'>)</span> <a name="line-319"></a> <span class='hs-varid'>onlySpawns</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>DTrans</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-320"></a> <span class='hs-varid'>onlySpawns</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>elems</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>of</span> <a name="line-321"></a> <span class='hs-keyglyph'>[</span><span class='hs-varid'>m</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>m</span> <a name="line-322"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>False</span> <a name="line-323"></a> <a name="line-324"></a><span class='hs-comment'>{- toInstructions -}</span> <a name="line-325"></a> <a name="line-326"></a><a name="toInstructions"></a><span class='hs-definition'>toInstructions</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagList</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Instructions</span> <a name="line-327"></a><span class='hs-definition'>toInstructions</span> <span class='hs-varid'>spec</span> <span class='hs-keyglyph'>=</span> <a name="line-328"></a> <span class='hs-keyword'>let</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span><span class='hs-layout'>,</span><span class='hs-varid'>o</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>execState</span> <span class='hs-layout'>(</span><span class='hs-varid'>assemble</span> <span class='hs-varid'>spec</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>mempty</span><span class='hs-layout'>,</span><span class='hs-varid'>mempty</span><span class='hs-layout'>)</span> <a name="line-329"></a> <span class='hs-keyword'>in</span> <span class='hs-conid'>Instructions</span> <span class='hs-layout'>{</span> <span class='hs-varid'>newPos</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varid'>p</span> <a name="line-330"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>newOrbits</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>null</span> <span class='hs-varid'>o</span> <span class='hs-keyword'>then</span> <span class='hs-conid'>Nothing</span> <a name="line-331"></a> <span class='hs-keyword'>else</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>alterOrbits</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varid'>o</span><span class='hs-layout'>)</span> <a name="line-332"></a> <span class='hs-layout'>}</span> <a name="line-333"></a> <a name="line-334"></a><a name="CompileInstructions"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>State</span> <a name="line-335"></a> <span class='hs-layout'>(</span> <span class='hs-conid'>IntMap</span> <span class='hs-conid'>Action</span> <span class='hs-comment'>-- 2009: change to SetPre | SetPost enum</span> <a name="line-336"></a> <span class='hs-layout'>,</span> <span class='hs-conid'>IntMap</span> <span class='hs-conid'>AlterOrbit</span> <a name="line-337"></a> <span class='hs-layout'>)</span> <span class='hs-varid'>a</span> <a name="line-338"></a> <a name="line-339"></a><a name="AlterOrbit"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>AlterOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AlterReset</span> <span class='hs-comment'>-- removing the Orbits record from the OrbitLog</span> <a name="line-340"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>AlterLeave</span> <span class='hs-comment'>-- set inOrbit to False</span> <a name="line-341"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span> <span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span> <span class='hs-comment'>-- set inOrbit to the newInOrbit value</span> <a name="line-342"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>freshOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Bool</span><span class='hs-layout'>}</span> <span class='hs-comment'>-- freshOrbit of True means to set getOrbits to mempty</span> <a name="line-343"></a> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Show</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- freshOrbit of False means try appending position or else Seq.empty</span> <a name="line-344"></a> <a name="line-345"></a><a name="assemble"></a><span class='hs-definition'>assemble</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>TagList</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-346"></a><span class='hs-definition'>assemble</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mapM_</span> <span class='hs-varid'>oneInstruction</span> <span class='hs-keyword'>where</span> <a name="line-347"></a> <span class='hs-varid'>oneInstruction</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-varid'>command</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-348"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>command</span> <span class='hs-keyword'>of</span> <a name="line-349"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>TagTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>setPreTag</span> <span class='hs-varid'>tag</span> <a name="line-350"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>ResetGroupStopTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>resetGroupTag</span> <span class='hs-varid'>tag</span> <a name="line-351"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>SetGroupStopTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>setGroupTag</span> <span class='hs-varid'>tag</span> <a name="line-352"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>ResetOrbitTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>resetOrbit</span> <span class='hs-varid'>tag</span> <a name="line-353"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>EnterOrbitTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>enterOrbit</span> <span class='hs-varid'>tag</span> <a name="line-354"></a> <span class='hs-conid'>PreUpdate</span> <span class='hs-conid'>LeaveOrbitTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>leaveOrbit</span> <span class='hs-varid'>tag</span> <a name="line-355"></a> <span class='hs-conid'>PostUpdate</span> <span class='hs-conid'>TagTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>setPostTag</span> <span class='hs-varid'>tag</span> <a name="line-356"></a> <span class='hs-conid'>PostUpdate</span> <span class='hs-conid'>ResetGroupStopTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>resetGroupTag</span> <span class='hs-varid'>tag</span> <a name="line-357"></a> <span class='hs-conid'>PostUpdate</span> <span class='hs-conid'>SetGroupStopTask</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>setGroupTag</span> <span class='hs-varid'>tag</span> <a name="line-358"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>err</span> <span class='hs-layout'>(</span><span class='hs-str'>"assemble : Weird orbit command: "</span><span class='hs-varop'>++</span><span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-varid'>command</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-359"></a> <a name="line-360"></a><a name="setPreTag"></a><span class='hs-definition'>setPreTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-361"></a><span class='hs-definition'>setPreTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-conid'>SetPre</span> <a name="line-362"></a> <a name="line-363"></a><a name="setPostTag"></a><span class='hs-definition'>setPostTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-364"></a><span class='hs-definition'>setPostTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-conid'>SetPost</span> <a name="line-365"></a> <a name="line-366"></a><a name="resetGroupTag"></a><span class='hs-definition'>resetGroupTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-367"></a><span class='hs-definition'>resetGroupTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-layout'>(</span><span class='hs-conid'>SetVal</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-368"></a> <a name="line-369"></a><a name="setGroupTag"></a><span class='hs-definition'>setGroupTag</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-370"></a><span class='hs-definition'>setGroupTag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-layout'>(</span><span class='hs-conid'>SetVal</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span> <a name="line-371"></a> <a name="line-372"></a><a name="resetOrbit"></a><span class='hs-definition'>resetOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-373"></a><span class='hs-definition'>resetOrbit</span> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-layout'>(</span><span class='hs-conid'>SetVal</span> <span class='hs-layout'>(</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>tag</span> <span class='hs-varop'>>></span> <span class='hs-varid'>modifyOrbit</span> <span class='hs-layout'>(</span><span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>tag</span> <span class='hs-conid'>AlterReset</span><span class='hs-layout'>)</span> <a name="line-374"></a> <a name="line-375"></a><a name="enterOrbit"></a><span class='hs-definition'>enterOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-376"></a><span class='hs-definition'>enterOrbit</span> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyPos</span> <span class='hs-layout'>(</span><span class='hs-conid'>SetVal</span> <span class='hs-num'>0</span><span class='hs-layout'>)</span> <span class='hs-varid'>tag</span> <span class='hs-varop'>>></span> <span class='hs-varid'>modifyOrbit</span> <span class='hs-varid'>changeOrbit</span> <span class='hs-keyword'>where</span> <a name="line-377"></a> <span class='hs-varid'>changeOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insertWith</span> <span class='hs-varid'>overwriteOrbit</span> <span class='hs-varid'>tag</span> <span class='hs-varid'>appendNewOrbit</span> <a name="line-378"></a> <a name="line-379"></a> <span class='hs-varid'>appendNewOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>,</span> <span class='hs-varid'>freshOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span><span class='hs-layout'>}</span> <span class='hs-comment'>-- try to append</span> <a name="line-380"></a> <span class='hs-varid'>startNewOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>,</span> <span class='hs-varid'>freshOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>}</span> <span class='hs-comment'>-- will start a new series</span> <a name="line-381"></a> <a name="line-382"></a> <span class='hs-varid'>overwriteOrbit</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>AlterReset</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>startNewOrbit</span> <a name="line-383"></a> <span class='hs-varid'>overwriteOrbit</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>AlterLeave</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>startNewOrbit</span> <a name="line-384"></a> <span class='hs-varid'>overwriteOrbit</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>startNewOrbit</span> <a name="line-385"></a> <span class='hs-varid'>overwriteOrbit</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-386"></a> <span class='hs-varid'>err</span> <span class='hs-varop'>$</span> <span class='hs-str'>"enterOrbit: Cannot enterOrbit twice in a row: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>tag</span> <a name="line-387"></a> <a name="line-388"></a><a name="leaveOrbit"></a><span class='hs-definition'>leaveOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-389"></a><span class='hs-definition'>leaveOrbit</span> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>modifyOrbit</span> <span class='hs-varid'>escapeOrbit</span> <span class='hs-keyword'>where</span> <a name="line-390"></a> <span class='hs-varid'>escapeOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insertWith</span> <span class='hs-varid'>setInOrbitFalse</span> <span class='hs-varid'>tag</span> <span class='hs-conid'>AlterLeave</span> <span class='hs-keyword'>where</span> <a name="line-391"></a> <span class='hs-varid'>setInOrbitFalse</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span><span class='hs-layout'>}</span> <a name="line-392"></a> <span class='hs-varid'>setInOrbitFalse</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <a name="line-393"></a> <a name="line-394"></a><a name="modifyPos"></a><span class='hs-definition'>modifyPos</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Action</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Tag</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-395"></a><span class='hs-definition'>modifyPos</span> <span class='hs-varid'>todo</span> <span class='hs-varid'>tag</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-396"></a> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span> <a name="line-397"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>a'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>tag</span> <span class='hs-varid'>todo</span> <span class='hs-varid'>a</span> <a name="line-398"></a> <span class='hs-varid'>seq</span> <span class='hs-varid'>a'</span> <span class='hs-varop'>$</span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-varid'>a'</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span> <a name="line-399"></a> <a name="line-400"></a><a name="modifyOrbit"></a><span class='hs-definition'>modifyOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>IntMap</span> <span class='hs-conid'>AlterOrbit</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IntMap</span> <span class='hs-conid'>AlterOrbit</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CompileInstructions</span> <span class='hs-conid'>()</span> <a name="line-401"></a><span class='hs-definition'>modifyOrbit</span> <span class='hs-varid'>f</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <a name="line-402"></a> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span> <a name="line-403"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>c'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>f</span> <span class='hs-varid'>c</span> <a name="line-404"></a> <span class='hs-varid'>seq</span> <span class='hs-varid'>c'</span> <span class='hs-varop'>$</span> <span class='hs-varid'>put</span> <span class='hs-layout'>(</span><span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-varid'>c'</span><span class='hs-layout'>)</span> <a name="line-405"></a> <a name="line-406"></a><span class='hs-comment'>----</span> <a name="line-407"></a> <a name="line-408"></a><a name="alterOrbits"></a><span class='hs-definition'>alterOrbits</span> <span class='hs-keyglyph'>::</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterOrbit</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OrbitTransformer</span><span class='hs-layout'>)</span> <a name="line-409"></a><span class='hs-definition'>alterOrbits</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>let</span> <span class='hs-varid'>items</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>alterOrbit</span> <span class='hs-varid'>x</span> <a name="line-410"></a> <span class='hs-keyword'>in</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>foldl</span> <span class='hs-layout'>(</span><span class='hs-varid'>flip</span> <span class='hs-layout'>(</span><span class='hs-varop'>$</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-layout'>(</span><span class='hs-varop'>$</span> <span class='hs-varid'>pos</span><span class='hs-layout'>)</span> <span class='hs-varid'>items</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-411"></a> <a name="line-412"></a><a name="alterOrbit"></a><span class='hs-definition'>alterOrbit</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterOrbit</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Position</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>OrbitTransformer</span><span class='hs-layout'>)</span> <a name="line-413"></a> <a name="line-414"></a><span class='hs-definition'>alterOrbit</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>inOrbit'</span><span class='hs-layout'>,</span><span class='hs-varid'>freshOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-415"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>tag</span> <span class='hs-layout'>(</span><span class='hs-conid'>Orbits</span> <span class='hs-layout'>{</span> <span class='hs-varid'>inOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>inOrbit'</span> <a name="line-416"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>basePos</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <a name="line-417"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>ordinal</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-418"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>getOrbits</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mempty</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <a name="line-419"></a> <a name="line-420"></a><span class='hs-definition'>alterOrbit</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterModify</span> <span class='hs-layout'>{</span><span class='hs-varid'>newInOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>inOrbit'</span><span class='hs-layout'>,</span><span class='hs-varid'>freshOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-421"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-varid'>pos</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insertWithKey</span> <span class='hs-layout'>(</span><span class='hs-varid'>updateOrbit</span> <span class='hs-varid'>pos</span><span class='hs-layout'>)</span> <span class='hs-varid'>tag</span> <span class='hs-layout'>(</span><span class='hs-varid'>newOrbit</span> <span class='hs-varid'>pos</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-422"></a> <span class='hs-varid'>newOrbit</span> <span class='hs-varid'>pos</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Orbits</span> <span class='hs-layout'>{</span> <span class='hs-varid'>inOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>inOrbit'</span> <a name="line-423"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>basePos</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>pos</span> <a name="line-424"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>ordinal</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-425"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>getOrbits</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mempty</span><span class='hs-layout'>}</span> <a name="line-426"></a> <span class='hs-varid'>updateOrbit</span> <span class='hs-varid'>pos</span> <span class='hs-sel'>_tag</span> <span class='hs-varid'>new</span> <span class='hs-varid'>old</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>inOrbit</span> <span class='hs-varid'>old</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>old</span> <span class='hs-layout'>{</span> <span class='hs-varid'>inOrbit</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>inOrbit'</span> <a name="line-427"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>getOrbits</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getOrbits</span> <span class='hs-varid'>old</span> <span class='hs-varop'>|></span> <span class='hs-varid'>pos</span> <span class='hs-layout'>}</span> <a name="line-428"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>new</span> <a name="line-429"></a> <a name="line-430"></a><span class='hs-definition'>alterOrbit</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterReset</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>delete</span> <span class='hs-varid'>tag</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> <a name="line-431"></a> <a name="line-432"></a><span class='hs-definition'>alterOrbit</span> <span class='hs-layout'>(</span><span class='hs-varid'>tag</span><span class='hs-layout'>,</span><span class='hs-conid'>AlterLeave</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>m</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>case</span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>lookup</span> <span class='hs-varid'>tag</span> <span class='hs-varid'>m</span> <span class='hs-keyword'>of</span> <a name="line-433"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>m</span> <a name="line-434"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>IMap</span><span class='hs-varop'>.</span><span class='hs-varid'>insert</span> <span class='hs-varid'>tag</span> <span class='hs-layout'>(</span><span class='hs-varid'>x</span> <span class='hs-layout'>{</span><span class='hs-varid'>inOrbit</span><span class='hs-keyglyph'>=</span><span class='hs-conid'>False</span><span class='hs-layout'>}</span><span class='hs-layout'>)</span> <span class='hs-varid'>m</span><span class='hs-layout'>)</span> </pre></body> </html>