<?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>src/ForSyDe/Shallow/DataflowLib.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-2"></a><span class='hs-comment'>-- |</span> <a name="line-3"></a><span class='hs-comment'>-- Module : ForSyDe.Shallow.DataflowLib</span> <a name="line-4"></a><span class='hs-comment'>-- Copyright : (c) SAM Group, KTH/ICT/ECS 2007-2008</span> <a name="line-5"></a><span class='hs-comment'>-- License : BSD-style (see the file LICENSE)</span> <a name="line-6"></a><span class='hs-comment'>-- </span> <a name="line-7"></a><span class='hs-comment'>-- Maintainer : forsyde-dev@ict.kth.se</span> <a name="line-8"></a><span class='hs-comment'>-- Stability : experimental</span> <a name="line-9"></a><span class='hs-comment'>-- Portability : portable</span> <a name="line-10"></a><span class='hs-comment'>--</span> <a name="line-11"></a><span class='hs-comment'>-- The dataflow library defines data types, process constructors and</span> <a name="line-12"></a><span class='hs-comment'>-- functions to model dataflow process networks, as described by Lee and</span> <a name="line-13"></a><span class='hs-comment'>-- Parks in Dataflow process networks, IEEE Proceedings, 1995 ([LeeParks95]).</span> <a name="line-14"></a><span class='hs-comment'>--</span> <a name="line-15"></a><span class='hs-comment'>-- Each process is defined by a set of firing rules and corresponding</span> <a name="line-16"></a><span class='hs-comment'>-- actions. A process fires, if the incoming signals match a firing</span> <a name="line-17"></a><span class='hs-comment'>-- rule. Then the process consumes the matched tokens and executes the</span> <a name="line-18"></a><span class='hs-comment'>-- action corresponding to the firing rule.</span> <a name="line-19"></a><span class='hs-comment'>--</span> <a name="line-20"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-21"></a> <a name="line-22"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Shallow</span><span class='hs-varop'>.</span><span class='hs-conid'>DataflowLib</span> <a name="line-23"></a> <span class='hs-layout'>(</span> <a name="line-24"></a> <span class='hs-comment'>-- * Data Types </span> <a name="line-25"></a> <span class='hs-comment'>-- | The data type @FiringToken@ defines the data type for tokens. The</span> <a name="line-26"></a> <span class='hs-comment'>-- constructor @Wild@ constructs a token wildcard, the constructor</span> <a name="line-27"></a> <span class='hs-comment'>-- @Value a@ constructs a token with value @a@.</span> <a name="line-28"></a> <span class='hs-comment'>-- </span> <a name="line-29"></a> <span class='hs-comment'>-- A sequence (pattern) matches a signal, if the sequence is a prefix of</span> <a name="line-30"></a> <span class='hs-comment'>-- the signal. The following list illustrates the firing rules:</span> <a name="line-31"></a> <span class='hs-comment'>-- </span> <a name="line-32"></a> <span class='hs-comment'>-- * [&#x22A5;] matches always (/NullS/ in ForSyDe)</span> <a name="line-33"></a> <span class='hs-comment'>--</span> <a name="line-34"></a> <span class='hs-comment'>-- * [*] matches signal with at least one token (/[Wild]/ in ForSyDe)</span> <a name="line-35"></a> <span class='hs-comment'>--</span> <a name="line-36"></a> <span class='hs-comment'>-- * [v] matches signal with v as its first value (/[Value v]/ in ForSyDe)</span> <a name="line-37"></a> <span class='hs-comment'>--</span> <a name="line-38"></a> <span class='hs-comment'>-- * [*,*] matches signals with at least two tokens (/[Wild,Wild]/ in ForSyDe) </span> <a name="line-39"></a> <span class='hs-comment'>-- </span> <a name="line-40"></a> <span class='hs-conid'>FiringToken</span><span class='hs-layout'>(</span><span class='hs-conid'>Wild</span><span class='hs-layout'>,</span> <span class='hs-conid'>Value</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <a name="line-41"></a> <span class='hs-comment'>-- * Combinational Process Constructors </span> <a name="line-42"></a> <span class='hs-comment'>-- | Combinatorial processes</span> <a name="line-43"></a> <span class='hs-comment'>-- do not have an internal state. This means, that the output</span> <a name="line-44"></a> <span class='hs-comment'>-- signal only depends on the input signals.</span> <a name="line-45"></a> <span class='hs-comment'>--</span> <a name="line-46"></a> <span class='hs-comment'>-- To illustrate the concept of data flow processes, we create a process that selects tokens from two inputs according to a control signal. </span> <a name="line-47"></a> <span class='hs-comment'>--</span> <a name="line-48"></a> <span class='hs-comment'>-- The process has the following firing rules [LeeParks95]:</span> <a name="line-49"></a> <span class='hs-comment'>--</span> <a name="line-50"></a> <span class='hs-comment'>-- </span> <a name="line-51"></a> <span class='hs-comment'>-- * R1 = {[*], &#x22A5;, [T]}</span> <a name="line-52"></a> <span class='hs-comment'>--</span> <a name="line-53"></a> <span class='hs-comment'>-- * R2 = {&#x22A5;, [*], [F]}</span> <a name="line-54"></a> <span class='hs-comment'>-- </span> <a name="line-55"></a> <span class='hs-comment'>--</span> <a name="line-56"></a> <span class='hs-comment'>-- The corresponding ForSyDe formulation of the firing rules is:</span> <a name="line-57"></a> <span class='hs-comment'>--</span> <a name="line-58"></a> <span class='hs-comment'>-- @</span> <a name="line-59"></a> <span class='hs-comment'>-- selectRules = [ ([Wild], [], [Value True]),</span> <a name="line-60"></a> <span class='hs-comment'>-- ([], [Wild], [Value False]) ]</span> <a name="line-61"></a> <span class='hs-comment'>-- @</span> <a name="line-62"></a> <span class='hs-comment'>--</span> <a name="line-63"></a> <span class='hs-comment'>-- For the output we formulate the following set of output functions:</span> <a name="line-64"></a> <span class='hs-comment'>-- </span> <a name="line-65"></a> <span class='hs-comment'>-- @</span> <a name="line-66"></a> <span class='hs-comment'>-- selectOutput xs ys _ = [ [headS xs], [headS ys] ]</span> <a name="line-67"></a> <span class='hs-comment'>-- @</span> <a name="line-68"></a> <span class='hs-comment'>-- </span> <a name="line-69"></a> <span class='hs-comment'>-- The select process /selectDF/ is then defined by:</span> <a name="line-70"></a> <span class='hs-comment'>--</span> <a name="line-71"></a> <span class='hs-comment'>-- @</span> <a name="line-72"></a> <span class='hs-comment'>-- selectDF :: Eq a => Signal a -> Signal a </span> <a name="line-73"></a> <span class='hs-comment'>-- -> Signal Bool -> Signal a</span> <a name="line-74"></a> <span class='hs-comment'>-- selectDF = zipWith3DF selectRules selectOutput</span> <a name="line-75"></a> <span class='hs-comment'>-- @</span> <a name="line-76"></a> <span class='hs-comment'>--</span> <a name="line-77"></a> <span class='hs-comment'>-- Given the signals /s1/, /s2/ and /s3/</span> <a name="line-78"></a> <span class='hs-comment'>--</span> <a name="line-79"></a> <span class='hs-comment'>-- @</span> <a name="line-80"></a> <span class='hs-comment'>-- s1 = signal [1,2,3,4,5,6]</span> <a name="line-81"></a> <span class='hs-comment'>-- s2 = signal [7,8,9,10,11,12]</span> <a name="line-82"></a> <span class='hs-comment'>-- s3 = signal [True, True, False, False, True, True]</span> <a name="line-83"></a> <span class='hs-comment'>-- @</span> <a name="line-84"></a> <span class='hs-comment'>--</span> <a name="line-85"></a> <span class='hs-comment'>-- the executed process gives the following results:</span> <a name="line-86"></a> <span class='hs-comment'>--</span> <a name="line-87"></a> <span class='hs-comment'>-- @ </span> <a name="line-88"></a> <span class='hs-comment'>-- DataflowLib> selectDF s1 s2 s3</span> <a name="line-89"></a> <span class='hs-comment'>-- {1,2,7,8,3,4} :: Signal Integer</span> <a name="line-90"></a> <span class='hs-comment'>-- @</span> <a name="line-91"></a> <span class='hs-comment'>--</span> <a name="line-92"></a> <span class='hs-comment'>-- The library contains the following combinational process constructors:</span> <a name="line-93"></a> <span class='hs-varid'>mapDF</span><span class='hs-layout'>,</span> <span class='hs-varid'>zipWithDF</span><span class='hs-layout'>,</span> <span class='hs-varid'>zipWith3DF</span><span class='hs-layout'>,</span> <a name="line-94"></a> <span class='hs-comment'>-- * Sequential Process Constructors </span> <a name="line-95"></a> <span class='hs-comment'>-- | Sequential processes have</span> <a name="line-96"></a> <span class='hs-comment'>-- an internal state. This means, that the output signal may</span> <a name="line-97"></a> <span class='hs-comment'>-- depend internal state and on the input signal. </span> <a name="line-98"></a> <span class='hs-comment'>-- </span> <a name="line-99"></a> <span class='hs-comment'>-- As an example we can view a process calculating the running sum</span> <a name="line-100"></a> <span class='hs-comment'>-- of the input tokens. It has only one firing rule, which is</span> <a name="line-101"></a> <span class='hs-comment'>-- illustrated below.</span> <a name="line-102"></a> <span class='hs-comment'>--</span> <a name="line-103"></a> <span class='hs-comment'>-- @</span> <a name="line-104"></a> <span class='hs-comment'>-- Firing Rule Next State Output</span> <a name="line-105"></a> <span class='hs-comment'>-- ------------------------------------</span> <a name="line-106"></a> <span class='hs-comment'>-- (*,[*]) state + x {state}</span> <a name="line-107"></a> <span class='hs-comment'>-- @</span> <a name="line-108"></a> <span class='hs-comment'>--</span> <a name="line-109"></a> <span class='hs-comment'>-- A dataflow process using these firing rules and the initial state 0 can be formulated in ForSyDe as </span> <a name="line-110"></a> <span class='hs-comment'>--</span> <a name="line-111"></a> <span class='hs-comment'>-- @</span> <a name="line-112"></a> <span class='hs-comment'>-- rs xs = mealyDF firingRule nextState output initState xs</span> <a name="line-113"></a> <span class='hs-comment'>-- where </span> <a name="line-114"></a> <span class='hs-comment'>-- firingRule = [(Wild, [Wild])]</span> <a name="line-115"></a> <span class='hs-comment'>-- nextState state xs = [(state + headS xs)]</span> <a name="line-116"></a> <span class='hs-comment'>-- output state _ = [[state]]</span> <a name="line-117"></a> <span class='hs-comment'>-- initState = 0</span> <a name="line-118"></a> <span class='hs-comment'>-- @</span> <a name="line-119"></a> <span class='hs-comment'>--</span> <a name="line-120"></a> <span class='hs-comment'>-- Execution of the process gives</span> <a name="line-121"></a> <span class='hs-comment'>--</span> <a name="line-122"></a> <span class='hs-comment'>-- @ </span> <a name="line-123"></a> <span class='hs-comment'>-- DataflowLib> rs (signal[1,2,3,4,5,6])</span> <a name="line-124"></a> <span class='hs-comment'>-- {0,1,3,6,10,15} :: Signal Integer</span> <a name="line-125"></a> <span class='hs-comment'>-- @</span> <a name="line-126"></a> <span class='hs-comment'>-- </span> <a name="line-127"></a> <span class='hs-comment'>-- Another 'running sum' process /rs2/ takes two tokens, pushes</span> <a name="line-128"></a> <span class='hs-comment'>-- them into a queue of five elements and calculates the sum as</span> <a name="line-129"></a> <span class='hs-comment'>-- output.</span> <a name="line-130"></a> <span class='hs-comment'>--</span> <a name="line-131"></a> <span class='hs-comment'>-- @</span> <a name="line-132"></a> <span class='hs-comment'>-- rs2 = mealyDF fs ns o init</span> <a name="line-133"></a> <span class='hs-comment'>-- where </span> <a name="line-134"></a> <span class='hs-comment'>-- init = [0,0,0,0,0]</span> <a name="line-135"></a> <span class='hs-comment'>-- fs = [(Wild, ([Wild, Wild]))]</span> <a name="line-136"></a> <span class='hs-comment'>-- ns state xs = [drop 2 state ++ fromSignal (takeS 2 xs)]</span> <a name="line-137"></a> <span class='hs-comment'>-- o state _ = [[(sum state)]]</span> <a name="line-138"></a> <span class='hs-comment'>-- @</span> <a name="line-139"></a> <span class='hs-comment'>-- </span> <a name="line-140"></a> <span class='hs-comment'>-- Execution of the process gives</span> <a name="line-141"></a> <span class='hs-comment'>--</span> <a name="line-142"></a> <span class='hs-comment'>-- @</span> <a name="line-143"></a> <span class='hs-comment'>-- DataflowLib>rs2 (signal [1,2,3,4,5,6,7,8,9,10])</span> <a name="line-144"></a> <span class='hs-comment'>-- {0,3,10,20,30} :: Signal Integer</span> <a name="line-145"></a> <span class='hs-comment'>-- @</span> <a name="line-146"></a> <span class='hs-varid'>scanlDF</span><span class='hs-layout'>,</span> <span class='hs-varid'>mooreDF</span><span class='hs-layout'>,</span> <span class='hs-varid'>mealyDF</span> <a name="line-147"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span> <a name="line-148"></a> <a name="line-149"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Shallow</span><span class='hs-varop'>.</span><span class='hs-conid'>CoreLib</span> <a name="line-150"></a> <a name="line-151"></a> <a name="line-152"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-153"></a><span class='hs-comment'>--</span> <a name="line-154"></a><span class='hs-comment'>-- DATA TYPES</span> <a name="line-155"></a><span class='hs-comment'>--</span> <a name="line-156"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-157"></a> <a name="line-158"></a><a name="FiringToken"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Wild</span> <a name="line-159"></a> <span class='hs-keyglyph'>|</span> <span class='hs-conid'>Value</span> <span class='hs-varid'>a</span> <span class='hs-keyword'>deriving</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span><span class='hs-layout'>,</span> <span class='hs-conid'>Show</span><span class='hs-layout'>)</span> <a name="line-160"></a> <a name="line-161"></a> <a name="line-162"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-163"></a><span class='hs-comment'>--</span> <a name="line-164"></a><span class='hs-comment'>-- COMBINATIONAL PROCESS CONSTRUCTORS</span> <a name="line-165"></a><span class='hs-comment'>--</span> <a name="line-166"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-167"></a> <a name="line-168"></a><a name="mapDF"></a><span class='hs-comment'>-- |The process constructor @mapDF@ takes a list of firing rules, a list of corresponding output functions and generates a data flow process with one input and one output signal.</span> <a name="line-169"></a><span class='hs-definition'>mapDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <a name="line-170"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <a name="line-171"></a> <a name="line-172"></a><span class='hs-definition'>mapDF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-173"></a><span class='hs-definition'>mapDF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>output</span> <span class='hs-varop'>+-+</span> <span class='hs-varid'>mapDF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs'</span> <a name="line-174"></a> <span class='hs-keyword'>where</span> <a name="line-175"></a> <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-176"></a> <span class='hs-conid'>NullS</span> <a name="line-177"></a> <span class='hs-keyword'>else</span> <a name="line-178"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <a name="line-179"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>matchDF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <a name="line-180"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-181"></a> <span class='hs-varid'>output</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-182"></a> <span class='hs-conid'>NullS</span> <a name="line-183"></a> <span class='hs-keyword'>else</span> <a name="line-184"></a> <span class='hs-varid'>signal</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-185"></a><a name="zipWithDF"></a><span class='hs-comment'>-- |The process constructors @zipWithDF@ takes a list of firing rules, a list of corresponding output functions to generate a data flow process with two input signals and one output signal.</span> <a name="line-186"></a><span class='hs-definition'>zipWithDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-187"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-188"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <a name="line-189"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <a name="line-190"></a> <a name="line-191"></a><span class='hs-definition'>zipWithDF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-192"></a><span class='hs-definition'>zipWithDF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>output</span> <span class='hs-varop'>+-+</span> <span class='hs-varid'>zipWithDF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs'</span> <span class='hs-varid'>ys'</span> <a name="line-193"></a> <span class='hs-keyword'>where</span> <a name="line-194"></a> <span class='hs-layout'>(</span><span class='hs-varid'>xs'</span><span class='hs-layout'>,</span> <span class='hs-varid'>ys'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-195"></a> <span class='hs-layout'>(</span><span class='hs-conid'>NullS</span><span class='hs-layout'>,</span> <span class='hs-conid'>NullS</span><span class='hs-layout'>)</span> <a name="line-196"></a> <span class='hs-keyword'>else</span> <a name="line-197"></a> <span class='hs-varid'>consume2DF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-198"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>match2DF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <a name="line-199"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-200"></a> <span class='hs-varid'>output</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-201"></a> <span class='hs-conid'>NullS</span> <a name="line-202"></a> <span class='hs-keyword'>else</span> <a name="line-203"></a> <span class='hs-varid'>signal</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-204"></a> <a name="line-205"></a><a name="zipWith3DF"></a><span class='hs-comment'>-- |The process constructors @zipWith3DF@ takes a list of firing rules, a list of corresponding output functions to generate a data flow process with three input signals and one output signal.</span> <a name="line-206"></a><span class='hs-definition'>zipWith3DF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-207"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-208"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</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-layout'>)</span> <a name="line-209"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>d</span> <a name="line-210"></a><span class='hs-definition'>zipWith3DF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-conid'>NullS</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-211"></a><span class='hs-definition'>zipWith3DF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>output</span> <span class='hs-varop'>+-+</span> <span class='hs-varid'>zipWith3DF</span> <span class='hs-varid'>rs</span> <span class='hs-keyword'>as</span> <span class='hs-varid'>xs'</span> <span class='hs-varid'>ys'</span> <span class='hs-varid'>zs'</span> <a name="line-212"></a> <span class='hs-keyword'>where</span> <a name="line-213"></a> <span class='hs-layout'>(</span><span class='hs-varid'>xs'</span><span class='hs-layout'>,</span> <span class='hs-varid'>ys'</span><span class='hs-layout'>,</span> <span class='hs-varid'>zs'</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-214"></a> <span class='hs-layout'>(</span><span class='hs-conid'>NullS</span><span class='hs-layout'>,</span> <span class='hs-conid'>NullS</span><span class='hs-layout'>,</span> <span class='hs-conid'>NullS</span><span class='hs-layout'>)</span> <a name="line-215"></a> <span class='hs-keyword'>else</span> <a name="line-216"></a> <span class='hs-varid'>consume3DF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <a name="line-217"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>match3DF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span><span class='hs-layout'>)</span> <a name="line-218"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>rs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-219"></a> <span class='hs-varid'>output</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-220"></a> <span class='hs-conid'>NullS</span> <a name="line-221"></a> <span class='hs-keyword'>else</span> <a name="line-222"></a> <span class='hs-varid'>signal</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-keyword'>as</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-223"></a> <a name="line-224"></a> <a name="line-225"></a><a name="scanlDF"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-226"></a><span class='hs-comment'>--</span> <a name="line-227"></a><span class='hs-comment'>-- SEQUENTIAL PROCESS CONSTRUCTORS</span> <a name="line-228"></a><span class='hs-comment'>--</span> <a name="line-229"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-230"></a><span class='hs-comment'>-- | The process constructor @scanlDF@ implements a finite state machine without output decoder in the ForSyDe methodology. It takes a set of firing rules and a set of corresponding next state functions as arguments. A firing rule is a tuple. The first value is a pattern for the state, the second value corresponds to an input pattern. When a pattern matches, the process fires, the corresponding next state is executed, and the tokens matching the pattern are consumed.</span> <a name="line-231"></a><span class='hs-definition'>scanlDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</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-layout'>(</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-232"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-233"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <a name="line-234"></a><span class='hs-definition'>scanlDF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-235"></a><span class='hs-definition'>scanlDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>unitS</span> <span class='hs-varid'>state</span><span class='hs-layout'>)</span> <a name="line-236"></a> <span class='hs-varop'>+-+</span> <span class='hs-varid'>scanlDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>state'</span> <span class='hs-varid'>xs'</span> <a name="line-237"></a> <span class='hs-keyword'>where</span> <a name="line-238"></a> <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-239"></a> <span class='hs-conid'>NullS</span> <a name="line-240"></a> <span class='hs-keyword'>else</span> <a name="line-241"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <a name="line-242"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>matchStDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-243"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>snd</span> <span class='hs-layout'>(</span><span class='hs-varid'>fs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-244"></a> <span class='hs-varid'>state'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-245"></a> <span class='hs-varid'>error</span> <span class='hs-str'>"No rule matches the pattern!"</span> <a name="line-246"></a> <span class='hs-keyword'>else</span> <a name="line-247"></a> <span class='hs-layout'>(</span><span class='hs-varid'>ns</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-248"></a> <a name="line-249"></a><a name="mooreDF"></a><span class='hs-comment'>-- | The process constructor @mooreDF@ implements a Moore finite state machine in the ForSyDe methodology. It takes a set of firing rules, a set of corresponding next state functions and a set of output functions as argument. A firing rule is a tuple. The first value is a pattern for the state, the second value corresponds to an input pattern. When a pattern matches, the process fires, the corresponding next state and output functions are executed, and the tokens matching the pattern are consumed.</span> <a name="line-250"></a><span class='hs-definition'>mooreDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</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-layout'>(</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-251"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-252"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <a name="line-253"></a><span class='hs-definition'>mooreDF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-254"></a><span class='hs-definition'>mooreDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>o</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>output</span> <span class='hs-varop'>+-+</span> <span class='hs-varid'>mooreDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>o</span> <span class='hs-varid'>state'</span> <span class='hs-varid'>xs'</span> <a name="line-255"></a> <span class='hs-keyword'>where</span> <a name="line-256"></a> <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-257"></a> <span class='hs-conid'>NullS</span> <a name="line-258"></a> <span class='hs-keyword'>else</span> <a name="line-259"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <a name="line-260"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>matchStDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-261"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>snd</span> <span class='hs-layout'>(</span><span class='hs-varid'>fs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-262"></a> <span class='hs-varid'>output</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>signal</span> <span class='hs-layout'>(</span><span class='hs-varid'>o</span> <span class='hs-varid'>state</span><span class='hs-layout'>)</span> <a name="line-263"></a> <span class='hs-varid'>state'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-264"></a> <span class='hs-varid'>error</span> <span class='hs-str'>"No rule matches the pattern!"</span> <a name="line-265"></a> <span class='hs-keyword'>else</span> <a name="line-266"></a> <span class='hs-layout'>(</span><span class='hs-varid'>ns</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-267"></a> <a name="line-268"></a> <a name="line-269"></a><a name="mealyDF"></a><span class='hs-comment'>-- | The process constructor @mealyDF@ implements the most general state machine in the ForSyDe methodology. It takes a set of firing rules, a set of corresponding next state functions and a set of output functions as argument. A firing rule is a tuple. The first value is a pattern for the state, the second value corresponds to an input pattern. When a pattern matches, the process fires, the corresponding next state and output functions are executed, and the tokens matching the pattern are consumed.</span> <a name="line-270"></a><span class='hs-definition'>mealyDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</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-layout'>(</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-271"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-272"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <a name="line-273"></a><span class='hs-definition'>mealyDF</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-274"></a><span class='hs-definition'>mealyDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>o</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>output</span> <span class='hs-varop'>+-+</span> <span class='hs-varid'>mealyDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>o</span> <span class='hs-varid'>state'</span> <span class='hs-varid'>xs'</span> <a name="line-275"></a> <span class='hs-keyword'>where</span> <a name="line-276"></a> <span class='hs-varid'>xs'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-277"></a> <span class='hs-conid'>NullS</span> <a name="line-278"></a> <span class='hs-keyword'>else</span> <a name="line-279"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>rule</span> <span class='hs-varid'>xs</span> <a name="line-280"></a> <span class='hs-varid'>matchedRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>matchStDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-281"></a> <span class='hs-varid'>rule</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>snd</span> <span class='hs-layout'>(</span><span class='hs-varid'>fs</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-282"></a> <span class='hs-varid'>output</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>signal</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>o</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span><span class='hs-layout'>)</span> <a name="line-283"></a> <span class='hs-varid'>state'</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>matchedRule</span> <span class='hs-varop'><</span> <span class='hs-num'>0</span> <span class='hs-keyword'>then</span> <a name="line-284"></a> <span class='hs-varid'>error</span> <span class='hs-str'>"No rule matches the pattern!"</span> <a name="line-285"></a> <span class='hs-keyword'>else</span> <a name="line-286"></a> <span class='hs-layout'>(</span><span class='hs-varid'>ns</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-varop'>!!</span> <span class='hs-varid'>matchedRule</span> <a name="line-287"></a> <a name="line-288"></a> <a name="line-289"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-290"></a><span class='hs-comment'>--</span> <a name="line-291"></a><span class='hs-comment'>-- SUPPORTING FUNCTIONS</span> <a name="line-292"></a><span class='hs-comment'>--</span> <a name="line-293"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-294"></a> <a name="line-295"></a><a name="prefixDF"></a><span class='hs-comment'>-- The function 'prefixDF' takes a pattern and a signal and returns</span> <a name="line-296"></a><span class='hs-comment'>-- 'True', if the pattern is a prefix from the signal.</span> <a name="line-297"></a><span class='hs-definition'>prefixDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-298"></a><span class='hs-definition'>prefixDF</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-299"></a><span class='hs-definition'>prefixDF</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>False</span> <a name="line-300"></a><span class='hs-definition'>prefixDF</span> <span class='hs-layout'>(</span><span class='hs-conid'>Wild</span><span class='hs-conop'>:</span><span class='hs-varid'>ps</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-conop'>:-</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>ps</span> <span class='hs-varid'>xs</span> <a name="line-301"></a><span class='hs-definition'>prefixDF</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-conid'>Value</span> <span class='hs-varid'>p</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>ps</span><span class='hs-layout'>)</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-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>p</span> <span class='hs-varop'>==</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>then</span> <a name="line-302"></a> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>ps</span> <span class='hs-varid'>xs</span> <a name="line-303"></a> <span class='hs-keyword'>else</span> <a name="line-304"></a> <span class='hs-conid'>False</span> <a name="line-305"></a> <a name="line-306"></a><a name="consumeDF"></a><span class='hs-comment'>-- The function 'consumeDF' takes a pattern and a signal and consumes</span> <a name="line-307"></a><span class='hs-comment'>-- the pattern from the signal. The functions 'consume2DF' and</span> <a name="line-308"></a><span class='hs-comment'>-- 'consume3DF' work in the same way as 'consumeDF', but with two and</span> <a name="line-309"></a><span class='hs-comment'>-- three input signals.</span> <a name="line-310"></a><span class='hs-definition'>consumeDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span> <a name="line-311"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <a name="line-312"></a><span class='hs-definition'>consumeDF</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>NullS</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>NullS</span> <a name="line-313"></a><span class='hs-definition'>consumeDF</span> <span class='hs-conid'>[]</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>xs</span> <a name="line-314"></a><span class='hs-definition'>consumeDF</span> <span class='hs-layout'>(</span><span class='hs-conid'>Wild</span><span class='hs-conop'>:</span><span class='hs-varid'>ts</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-conop'>:-</span><span class='hs-varid'>xs</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>ts</span> <span class='hs-varid'>xs</span> <a name="line-315"></a><span class='hs-definition'>consumeDF</span> <span class='hs-layout'>(</span><span class='hs-conid'>Value</span> <span class='hs-varid'>t</span><span class='hs-conop'>:</span><span class='hs-varid'>ts</span><span class='hs-layout'>)</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-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>t</span> <span class='hs-varop'>==</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>then</span> <a name="line-316"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>ts</span> <span class='hs-varid'>xs</span> <a name="line-317"></a> <span class='hs-keyword'>else</span> <a name="line-318"></a> <span class='hs-varid'>error</span> <span class='hs-str'>"Tokens not correct"</span> <a name="line-319"></a> <a name="line-320"></a><a name="consume2DF"></a><span class='hs-definition'>consume2DF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-321"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-322"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <a name="line-323"></a><span class='hs-definition'>consume2DF</span> <span class='hs-layout'>(</span><span class='hs-varid'>px</span><span class='hs-layout'>,</span> <span class='hs-varid'>py</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>consumeDF</span> <span class='hs-varid'>px</span> <span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <a name="line-324"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>py</span> <span class='hs-varid'>ys</span><span class='hs-layout'>)</span> <a name="line-325"></a> <a name="line-326"></a><a name="consume3DF"></a><span class='hs-definition'>consume3DF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-327"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-328"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <a name="line-329"></a> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span><span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <a name="line-330"></a><span class='hs-definition'>consume3DF</span> <span class='hs-layout'>(</span><span class='hs-varid'>px</span><span class='hs-layout'>,</span> <span class='hs-varid'>py</span><span class='hs-layout'>,</span> <span class='hs-varid'>pz</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>consumeDF</span> <span class='hs-varid'>px</span> <span class='hs-varid'>xs</span><span class='hs-layout'>,</span> <a name="line-331"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>py</span> <span class='hs-varid'>ys</span><span class='hs-layout'>,</span> <a name="line-332"></a> <span class='hs-varid'>consumeDF</span> <span class='hs-varid'>pz</span> <span class='hs-varid'>zs</span><span class='hs-layout'>)</span> <a name="line-333"></a> <a name="line-334"></a><a name="matchDF"></a><span class='hs-comment'>-- The function 'matchDF' checks, which firing rule, starting from 0, is</span> <a name="line-335"></a><span class='hs-comment'>-- matched by the input signal. If no firing rule matches, the output is</span> <a name="line-336"></a><span class='hs-comment'>-- '-1'. The functions 'maptch2S' and 'match3DF' work in the same way</span> <a name="line-337"></a><span class='hs-comment'>-- for two and three inputs.</span> <a name="line-338"></a><span class='hs-definition'>matchDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Num</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-339"></a> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-340"></a><span class='hs-definition'>matchDF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>matchDF'</span> <span class='hs-num'>0</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <a name="line-341"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>matchDF'</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span> <a name="line-342"></a> <span class='hs-varid'>matchDF'</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-conop'>:</span><span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>r</span> <span class='hs-varid'>xs</span> <span class='hs-keyword'>then</span> <a name="line-343"></a> <span class='hs-varid'>n</span> <a name="line-344"></a> <span class='hs-keyword'>else</span> <a name="line-345"></a> <span class='hs-varid'>matchDF'</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <a name="line-346"></a> <a name="line-347"></a><a name="match2DF"></a><span class='hs-definition'>match2DF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Num</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-348"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-349"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-350"></a><span class='hs-definition'>match2DF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>match2DF'</span> <span class='hs-num'>0</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-351"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>match2DF'</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span> <a name="line-352"></a> <span class='hs-varid'>match2DF'</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>rx</span><span class='hs-layout'>,</span> <span class='hs-varid'>ry</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-353"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>rx</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>&&</span> <a name="line-354"></a> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>ry</span> <span class='hs-varid'>ys</span> <a name="line-355"></a> <span class='hs-keyword'>then</span> <a name="line-356"></a> <span class='hs-varid'>n</span> <a name="line-357"></a> <span class='hs-keyword'>else</span> <a name="line-358"></a> <span class='hs-varid'>match2DF'</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <a name="line-359"></a> <a name="line-360"></a><a name="match3DF"></a><span class='hs-definition'>match3DF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Num</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-361"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>d</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>c</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-362"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-363"></a><span class='hs-definition'>match3DF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>match3DF'</span> <span class='hs-num'>0</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <a name="line-364"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>match3DF'</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span> <a name="line-365"></a> <span class='hs-varid'>match3DF'</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>rx</span><span class='hs-layout'>,</span> <span class='hs-varid'>ry</span><span class='hs-layout'>,</span> <span class='hs-varid'>rz</span><span class='hs-layout'>)</span><span class='hs-conop'>:</span><span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <a name="line-366"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>rx</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>&&</span> <a name="line-367"></a> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>ry</span> <span class='hs-varid'>ys</span> <span class='hs-varop'>&&</span> <a name="line-368"></a> <span class='hs-varid'>prefixDF</span> <span class='hs-varid'>rz</span> <span class='hs-varid'>zs</span> <a name="line-369"></a> <span class='hs-keyword'>then</span> <a name="line-370"></a> <span class='hs-varid'>n</span> <a name="line-371"></a> <span class='hs-keyword'>else</span> <a name="line-372"></a> <span class='hs-varid'>match3DF'</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-varid'>zs</span> <a name="line-373"></a> <a name="line-374"></a><a name="matchStDF"></a><span class='hs-comment'>-- The function 'matchStDF' works in the same way as 'matchDF', but it looks on patterns that include the state.</span> <a name="line-375"></a><span class='hs-definition'>matchStDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>Num</span> <span class='hs-varid'>a</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>b</span><span class='hs-layout'>,</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=></span> <a name="line-376"></a> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>c</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>FiringToken</span> <span class='hs-varid'>b</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-377"></a> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-378"></a><span class='hs-definition'>matchStDF</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>matchStDF'</span> <span class='hs-num'>0</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-379"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>matchStDF'</span> <span class='hs-keyword'>_</span> <span class='hs-conid'>[]</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-comment'>-</span><span class='hs-num'>1</span> <a name="line-380"></a> <span class='hs-varid'>matchStDF'</span> <span class='hs-varid'>n</span> <span class='hs-layout'>(</span><span class='hs-varid'>r</span><span class='hs-conop'>:</span><span class='hs-varid'>rs</span><span class='hs-layout'>)</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-381"></a> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>prefixDF</span> <span class='hs-layout'>(</span><span class='hs-varid'>snd</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <span class='hs-varop'>&&</span> <a name="line-382"></a> <span class='hs-varid'>matchState</span> <span class='hs-layout'>(</span><span class='hs-varid'>fst</span> <span class='hs-varid'>r</span><span class='hs-layout'>)</span> <span class='hs-varid'>state</span> <a name="line-383"></a> <span class='hs-keyword'>then</span> <a name="line-384"></a> <span class='hs-varid'>n</span> <a name="line-385"></a> <span class='hs-keyword'>else</span> <a name="line-386"></a> <span class='hs-varid'>matchStDF'</span> <span class='hs-layout'>(</span><span class='hs-varid'>n</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>rs</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <a name="line-387"></a> <a name="line-388"></a><a name="matchState"></a><span class='hs-definition'>matchState</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>FiringToken</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-389"></a><span class='hs-definition'>matchState</span> <span class='hs-conid'>Wild</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>True</span> <a name="line-390"></a><span class='hs-definition'>matchState</span> <span class='hs-layout'>(</span><span class='hs-conid'>Value</span> <span class='hs-varid'>v</span><span class='hs-layout'>)</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>x</span> <span class='hs-varop'>==</span> <span class='hs-varid'>v</span> <a name="line-391"></a> <a name="line-392"></a> <a name="line-393"></a> <a name="line-394"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-395"></a><span class='hs-comment'>--</span> <a name="line-396"></a><span class='hs-comment'>-- CODE FOR TESTING</span> <a name="line-397"></a><span class='hs-comment'>--</span> <a name="line-398"></a><span class='hs-comment'>------------------------------------------------------------------------</span> <a name="line-399"></a> <a name="line-400"></a> <a name="line-401"></a><a name="selectRules"></a><span class='hs-definition'>selectRules</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Wild</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Value</span> <span class='hs-conid'>True</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <a name="line-402"></a> <span class='hs-layout'>(</span><span class='hs-conid'>[]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Wild</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Value</span> <span class='hs-conid'>False</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>]</span> <a name="line-403"></a> <a name="line-404"></a> <a name="line-405"></a><a name="selectOutput"></a><span class='hs-definition'>selectOutput</span> <span class='hs-varid'>xs</span> <span class='hs-varid'>ys</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>headS</span> <span class='hs-varid'>xs</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>headS</span> <span class='hs-varid'>ys</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>]</span> <a name="line-406"></a> <a name="line-407"></a><a name="selectDF"></a><span class='hs-definition'>selectDF</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Eq</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <a name="line-408"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-conid'>Bool</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Signal</span> <span class='hs-varid'>a</span> <a name="line-409"></a><span class='hs-definition'>selectDF</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>zipWith3DF</span> <span class='hs-varid'>selectRules</span> <span class='hs-varid'>selectOutput</span> <a name="line-410"></a> <a name="line-411"></a> <a name="line-412"></a> <a name="line-413"></a><a name="s1"></a><span class='hs-definition'>s1</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>signal</span> <span class='hs-keyglyph'>[</span><span class='hs-num'>1</span><span class='hs-layout'>,</span><span class='hs-num'>2</span><span class='hs-layout'>,</span><span class='hs-num'>3</span><span class='hs-layout'>,</span><span class='hs-num'>4</span><span class='hs-layout'>,</span><span class='hs-num'>5</span><span class='hs-layout'>,</span><span class='hs-num'>6</span><span class='hs-keyglyph'>]</span> <a name="line-414"></a><a name="s2"></a><span class='hs-definition'>s2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>signal</span> <span class='hs-keyglyph'>[</span><span class='hs-num'>7</span><span class='hs-layout'>,</span><span class='hs-num'>8</span><span class='hs-layout'>,</span><span class='hs-num'>9</span><span class='hs-layout'>,</span><span class='hs-num'>10</span><span class='hs-layout'>,</span><span class='hs-num'>11</span><span class='hs-layout'>,</span><span class='hs-num'>12</span><span class='hs-keyglyph'>]</span> <a name="line-415"></a><a name="s3"></a><span class='hs-definition'>s3</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>signal</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>True</span><span class='hs-layout'>,</span> <span class='hs-conid'>True</span><span class='hs-layout'>,</span> <span class='hs-conid'>False</span><span class='hs-layout'>,</span> <span class='hs-conid'>False</span><span class='hs-layout'>,</span> <span class='hs-conid'>True</span><span class='hs-layout'>,</span> <span class='hs-conid'>True</span><span class='hs-keyglyph'>]</span> <a name="line-416"></a> <a name="line-417"></a><a name="rs"></a><span class='hs-definition'>rs</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mealyDF</span> <span class='hs-varid'>firingRule</span> <span class='hs-varid'>nextState</span> <span class='hs-varid'>output</span> <span class='hs-varid'>initState</span> <span class='hs-varid'>xs</span> <a name="line-418"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>firingRule</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Wild</span><span class='hs-layout'>,</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Wild</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-419"></a> <span class='hs-varid'>nextState</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-varid'>state</span> <span class='hs-varop'>+</span> <span class='hs-varid'>headS</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-420"></a> <span class='hs-varid'>output</span> <span class='hs-varid'>state</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>state</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <a name="line-421"></a> <span class='hs-varid'>initState</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>0</span> <a name="line-422"></a> <a name="line-423"></a><a name="rs2"></a><span class='hs-definition'>rs2</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>mealyDF</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>ns</span> <span class='hs-varid'>o</span> <span class='hs-varid'>init</span> <a name="line-424"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>init</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-num'>0</span><span class='hs-layout'>,</span><span class='hs-num'>0</span><span class='hs-layout'>,</span><span class='hs-num'>0</span><span class='hs-layout'>,</span><span class='hs-num'>0</span><span class='hs-layout'>,</span><span class='hs-num'>0</span><span class='hs-keyglyph'>]</span> <a name="line-425"></a> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-layout'>(</span><span class='hs-conid'>Wild</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Wild</span><span class='hs-layout'>,</span> <span class='hs-conid'>Wild</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-426"></a> <span class='hs-varid'>ns</span> <span class='hs-varid'>state</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>drop</span> <span class='hs-num'>2</span> <span class='hs-varid'>state</span> <span class='hs-varop'>++</span> <span class='hs-varid'>fromSignal</span> <span class='hs-layout'>(</span><span class='hs-varid'>takeS</span> <span class='hs-num'>2</span> <span class='hs-varid'>xs</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span> <a name="line-427"></a> <span class='hs-varid'>o</span> <span class='hs-varid'>state</span> <span class='hs-keyword'>_</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'>sum</span> <span class='hs-varid'>state</span><span class='hs-layout'>)</span><span class='hs-keyglyph'>]</span><span class='hs-keyglyph'>]</span> <a name="line-428"></a> <a name="line-429"></a> <a name="line-430"></a> <a name="line-431"></a> <a name="line-432"></a> <a name="line-433"></a> <a name="line-434"></a> <a name="line-435"></a> <a name="line-436"></a> </pre></body> </html>