<?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/Backend/GraphML/Ppr.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE TypeSynonymInstances, MultiParamTypeClasses #-}</span> <a name="line-2"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-3"></a><span class='hs-comment'>-- |</span> <a name="line-4"></a><span class='hs-comment'>-- Module : ForSyDe.Backend.GraphML.Ppr</span> <a name="line-5"></a><span class='hs-comment'>-- Copyright : (c) SAM Group, KTH/ICT/ECS 2007-2008</span> <a name="line-6"></a><span class='hs-comment'>-- License : BSD-style (see the file LICENSE)</span> <a name="line-7"></a><span class='hs-comment'>-- </span> <a name="line-8"></a><span class='hs-comment'>-- Maintainer : forsyde-dev@ict.kth.se</span> <a name="line-9"></a><span class='hs-comment'>-- Stability : experimental</span> <a name="line-10"></a><span class='hs-comment'>-- Portability : non-portable (Template Haskell)</span> <a name="line-11"></a><span class='hs-comment'>--</span> <a name="line-12"></a><span class='hs-comment'>-- GraphML pretty printing instances.</span> <a name="line-13"></a><span class='hs-comment'>--</span> <a name="line-14"></a><span class='hs-comment'>-----------------------------------------------------------------------------</span> <a name="line-15"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>GraphML</span><span class='hs-varop'>.</span><span class='hs-conid'>Ppr</span> <span class='hs-keyword'>where</span> <a name="line-16"></a> <a name="line-17"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>Ppr</span> <a name="line-18"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Ids</span> <a name="line-19"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Process</span><span class='hs-varop'>.</span><span class='hs-conid'>ProcVal</span> <a name="line-20"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Process</span><span class='hs-varop'>.</span><span class='hs-conid'>ProcFun</span> <a name="line-21"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Backend</span><span class='hs-varop'>.</span><span class='hs-conid'>GraphML</span><span class='hs-varop'>.</span><span class='hs-conid'>AST</span> <a name="line-22"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Netlist</span> <a name="line-23"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>Netlist</span><span class='hs-varop'>.</span><span class='hs-conid'>Traverse</span> <a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>System</span><span class='hs-varop'>.</span><span class='hs-conid'>SysDef</span> <a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>ForSyDe</span><span class='hs-varop'>.</span><span class='hs-conid'>OSharing</span> <a name="line-26"></a> <a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromJust</span><span class='hs-layout'>)</span> <a name="line-28"></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'>findIndex</span><span class='hs-layout'>)</span> <a name="line-29"></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'>Foldable</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>DF</span> <span class='hs-layout'>(</span><span class='hs-varid'>foldr</span><span class='hs-layout'>,</span> <span class='hs-varid'>toList</span><span class='hs-layout'>)</span> <a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Language</span><span class='hs-varop'>.</span><span class='hs-conid'>Haskell</span><span class='hs-varop'>.</span><span class='hs-conid'>TH</span> <span class='hs-layout'>(</span><span class='hs-varid'>pprint</span><span class='hs-layout'>,</span> <span class='hs-conid'>Dec</span><span class='hs-layout'>(</span><span class='hs-conid'>FunD</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-conid'>Exp</span><span class='hs-layout'>,</span> <span class='hs-varid'>nameBase</span><span class='hs-layout'>)</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'>PrettyPrint</span><span class='hs-varop'>.</span><span class='hs-conid'>HughesPJ</span> <a name="line-32"></a> <a name="line-33"></a> <a name="line-34"></a><a name="YFilesMarkup"></a><span class='hs-comment'>-- | The only accepted pretyprinting option</span> <a name="line-35"></a><a name="YFilesMarkup"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>YFilesMarkup</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Bool</span> <a name="line-36"></a> <a name="line-37"></a><a name="nestVal"></a><span class='hs-comment'>-- | Number of spaces used for indentation</span> <a name="line-38"></a><span class='hs-definition'>nestVal</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <a name="line-39"></a><span class='hs-definition'>nestVal</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>5</span> <a name="line-40"></a> <a name="line-41"></a> <a name="line-42"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PprOps</span> <span class='hs-conid'>YFilesMarkup</span> <span class='hs-conid'>GraphMLGraph</span> <span class='hs-keyword'>where</span> <a name="line-43"></a> <span class='hs-varid'>pprOps</span> <span class='hs-varid'>yFiles</span> <span class='hs-layout'>(</span><span class='hs-conid'>GraphMLGraph</span> <span class='hs-varid'>id</span> <span class='hs-varid'>nodes</span> <span class='hs-varid'>edges</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-44"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<graph"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"id=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <a name="line-45"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"edgedefault=\"directed\" >"</span> <span class='hs-varop'>$+$</span> <a name="line-46"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>vSpace</span> <span class='hs-varop'>$+$</span> <a name="line-47"></a> <span class='hs-varid'>pprOps_list</span> <span class='hs-varid'>yFiles</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>nodes</span> <span class='hs-varop'>$+$</span> <a name="line-48"></a> <span class='hs-varid'>vSpace</span> <span class='hs-varop'>$+$</span> <a name="line-49"></a> <span class='hs-varid'>pprOps_list</span> <span class='hs-varid'>yFiles</span> <span class='hs-layout'>(</span><span class='hs-varid'>vNSpaces</span> <span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-varid'>edges</span> <span class='hs-varop'>$+$</span> <a name="line-50"></a> <span class='hs-varid'>vSpace</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-51"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</graph>"</span> <a name="line-52"></a> <a name="line-53"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PprOps</span> <span class='hs-conid'>YFilesMarkup</span> <span class='hs-conid'>GraphMLNode</span> <span class='hs-keyword'>where</span> <a name="line-54"></a> <span class='hs-varid'>pprOps</span> <span class='hs-varid'>yFiles</span> <span class='hs-varid'>node</span> <span class='hs-keyglyph'>=</span> <a name="line-55"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<node"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"id=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>">"</span> <span class='hs-varop'>$+$</span> <a name="line-56"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span> <a name="line-57"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-58"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>ins</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <a name="line-59"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>ins</span> <span class='hs-keyword'>of</span> <a name="line-60"></a> <span class='hs-conid'>InPort</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <a name="line-61"></a> <span class='hs-varid'>process_type</span> <span class='hs-str'>"InPort"</span> <span class='hs-varop'>$+$</span> <a name="line-62"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#000000"</span> <span class='hs-str'>"rectangle"</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-str'>"w"</span><span class='hs-layout'>)</span> <span class='hs-varid'>id</span> <a name="line-63"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>Const</span> <span class='hs-varid'>pval</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-64"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>arg</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>expVal</span><span class='hs-varop'>.</span><span class='hs-varid'>valAST</span><span class='hs-layout'>)</span> <span class='hs-varid'>pval</span> <a name="line-65"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>process_type</span> <span class='hs-str'>"ConstSY"</span> <span class='hs-varop'>$+$</span> <a name="line-66"></a> <span class='hs-varid'>value_arg</span> <span class='hs-varid'>arg</span> <span class='hs-varop'>$+$</span> <a name="line-67"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#FFFFFF"</span> <span class='hs-str'>"ellipse"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-str'>"ConstSY\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\nval="</span> <span class='hs-varop'>++</span> <span class='hs-varid'>pprint</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span> <a name="line-68"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>ZipWithNSY</span> <span class='hs-varid'>tpf</span> <span class='hs-varid'>i</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-69"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>nins</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-varid'>i</span> <a name="line-70"></a> <span class='hs-varid'>typ</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>nins</span> <span class='hs-keyword'>of</span> <a name="line-71"></a> <span class='hs-num'>1</span> <span class='hs-keyglyph'>-></span> <span class='hs-str'>"MapSY"</span> <a name="line-72"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-str'>"ZipWith"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>nins</span> <span class='hs-varop'>++</span> <span class='hs-str'>"SY"</span> <a name="line-73"></a> <span class='hs-varid'>pfAST</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>tpast</span><span class='hs-varop'>.</span><span class='hs-varid'>tast</span><span class='hs-layout'>)</span> <span class='hs-varid'>tpf</span> <a name="line-74"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>process_type</span> <span class='hs-str'>"ZipWithNSY"</span> <span class='hs-varop'>$+$</span> <a name="line-75"></a> <span class='hs-varid'>procfun_arg</span> <span class='hs-varid'>pfAST</span> <span class='hs-varop'>$+$</span> <a name="line-76"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#6F7DBC"</span> <span class='hs-str'>"roundrectangle"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-varid'>typ</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\nfName="</span> <span class='hs-varop'>++</span> <span class='hs-varid'>nameBase</span> <span class='hs-layout'>(</span><span class='hs-varid'>name</span> <span class='hs-varid'>pfAST</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-77"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>ZipWithxSY</span> <span class='hs-varid'>tpf</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-78"></a> <span class='hs-varid'>process_type</span> <span class='hs-str'>"ZipWithxSY"</span> <span class='hs-varop'>$+$</span> <a name="line-79"></a> <span class='hs-varid'>procfun_arg</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varid'>tpast</span><span class='hs-varop'>.</span><span class='hs-varid'>tast</span><span class='hs-layout'>)</span> <span class='hs-varid'>tpf</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-80"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#AFADFC"</span> <span class='hs-str'>"rectangle"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-str'>"ZipWithxSY\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <a name="line-81"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnzipNSY</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-82"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>typ</span> <span class='hs-keyglyph'>=</span> <span class='hs-str'>"Unzip"</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'>t</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>"SY"</span> <a name="line-83"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>process_type</span> <span class='hs-str'>"UnzipNSY"</span> <span class='hs-varop'>$+$</span> <a name="line-84"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#5993A3"</span> <span class='hs-str'>"roundrectangle"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-varid'>typ</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span><span class='hs-layout'>)</span> <a name="line-85"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>UnzipxSY</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-86"></a> <span class='hs-varid'>process_type</span> <span class='hs-str'>"UnzipxSY"</span> <span class='hs-varop'>$+$</span> <a name="line-87"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#99D3E3"</span> <span class='hs-str'>"rectangle"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-str'>"UnzipxSY\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span> <span class='hs-layout'>)</span> <a name="line-88"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>DelaySY</span> <span class='hs-varid'>pval</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-89"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>arg</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>expVal</span><span class='hs-varop'>.</span><span class='hs-varid'>valAST</span><span class='hs-layout'>)</span> <span class='hs-varid'>pval</span> <a name="line-90"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>process_type</span> <span class='hs-str'>"DelaySY"</span> <span class='hs-varop'>$+$</span> <a name="line-91"></a> <span class='hs-varid'>value_arg</span> <span class='hs-varid'>arg</span> <span class='hs-varop'>$+$</span> <a name="line-92"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#FF934C"</span> <span class='hs-str'>"diamond"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-str'>"DelaySY\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\nval="</span> <span class='hs-varop'>++</span> <span class='hs-varid'>pprint</span> <span class='hs-varid'>arg</span><span class='hs-layout'>)</span> <a name="line-93"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-layout'>(</span><span class='hs-conid'>SysIns</span> <span class='hs-varid'>psd</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <a name="line-94"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>parId</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>sid</span><span class='hs-varop'>.</span><span class='hs-varid'>readURef</span><span class='hs-varop'>.</span><span class='hs-varid'>unPrimSysDef</span><span class='hs-layout'>)</span> <span class='hs-varid'>psd</span> <a name="line-95"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>process_type</span> <span class='hs-str'>"SysIns"</span> <span class='hs-varop'>$+$</span> <a name="line-96"></a> <span class='hs-varid'>instance_parent</span> <span class='hs-varid'>parId</span> <span class='hs-varop'>$+$</span> <a name="line-97"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#FF934C"</span> <span class='hs-str'>"rectangle"</span> <span class='hs-conid'>Nothing</span> <span class='hs-layout'>(</span><span class='hs-str'>"SysIns\n"</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\nparent="</span> <span class='hs-varop'>++</span> <span class='hs-varid'>parId</span><span class='hs-layout'>)</span> <a name="line-98"></a> <span class='hs-conid'>OutNode</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <a name="line-99"></a> <span class='hs-varid'>process_type</span> <span class='hs-str'>"OutPort"</span> <span class='hs-varop'>$+$</span> <a name="line-100"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-varid'>dim</span> <span class='hs-str'>"#000000"</span> <span class='hs-str'>"rectangle"</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-str'>"e"</span><span class='hs-layout'>)</span> <span class='hs-varid'>id</span> <a name="line-101"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <span class='hs-varid'>vcat</span> <span class='hs-layout'>(</span><span class='hs-varid'>map</span> <span class='hs-varid'>port</span> <span class='hs-varid'>portIds</span><span class='hs-layout'>)</span> <a name="line-102"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-103"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</node>"</span> <a name="line-104"></a> <span class='hs-keyword'>where</span> <a name="line-105"></a> <span class='hs-layout'>(</span><span class='hs-varid'>id</span><span class='hs-layout'>,</span> <span class='hs-varid'>portIds</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-106"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-107"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>ins</span> <span class='hs-varid'>outs</span> <span class='hs-keyglyph'>-></span> <a name="line-108"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>pids</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>arguments</span> <span class='hs-varid'>ins</span> <span class='hs-varop'>++</span> <span class='hs-varid'>outs</span> <a name="line-109"></a> <span class='hs-keyword'>in</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>ins</span> <span class='hs-keyword'>of</span> <a name="line-110"></a> <span class='hs-conid'>InPort</span> <span class='hs-varid'>id</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span><span class='hs-layout'>,</span> <span class='hs-varid'>pids</span><span class='hs-layout'>)</span> <a name="line-111"></a> <span class='hs-conid'>Proc</span> <span class='hs-varid'>id</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span><span class='hs-layout'>,</span> <span class='hs-varid'>pids</span><span class='hs-layout'>)</span> <a name="line-112"></a> <span class='hs-conid'>OutNode</span> <span class='hs-varid'>id</span> <span class='hs-varid'>portid</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-varid'>id</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-varid'>portid</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-113"></a> <span class='hs-varid'>dim</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nodeDims</span> <span class='hs-varid'>node</span> <a name="line-114"></a> <span class='hs-comment'>-- write the yFiles specific markup for the node</span> <a name="line-115"></a> <span class='hs-varid'>yFilesNodeTags</span> <span class='hs-layout'>(</span><span class='hs-varid'>xsize</span><span class='hs-layout'>,</span> <span class='hs-varid'>ysize</span><span class='hs-layout'>)</span> <span class='hs-varid'>color</span> <span class='hs-varid'>shape</span> <span class='hs-varid'>mSide</span> <span class='hs-varid'>label</span> <span class='hs-keyglyph'>=</span> <a name="line-116"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>labelLocation</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>maybe</span> <span class='hs-str'>"modelName=\"internal\" modelPosition=\"c\""</span> <a name="line-117"></a> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>s</span> <span class='hs-keyglyph'>-></span> <span class='hs-str'>"modelName=\"sides\" modelPosition=\""</span><span class='hs-varop'>++</span> <a name="line-118"></a> <span class='hs-varid'>s</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <a name="line-119"></a> <span class='hs-varid'>mSide</span> <span class='hs-keyword'>in</span> <a name="line-120"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>yFiles</span> <a name="line-121"></a> <span class='hs-keyword'>then</span> <a name="line-122"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"d0\">"</span> <span class='hs-varop'>$+$</span> <a name="line-123"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <a name="line-124"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"<y:ShapeNode>"</span> <span class='hs-varop'>$+$</span> <a name="line-125"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <a name="line-126"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"<y:Geometry height=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>ysize</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" width=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>xsize</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" x=\"0.0\" y=\"0.0\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-127"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:Fill color=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-varid'>color</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" transparent=\"false\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-128"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:NodeLabel alignment=\"center\" autoSizePolicy=\"content\" fontFamily=\"Dialog\" fontSize=\"12\" fontStyle=\"plain\" hasBackgroundColor=\"false\" hasLineColor=\"false\""</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-varid'>labelLocation</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-str'>"textColor=\"#000000\" visible=\"true\">"</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-varid'>label</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"</y:NodeLabel>"</span> <span class='hs-varop'>$+$</span> <a name="line-129"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:Shape type=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-varid'>shape</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\"/>"</span> <a name="line-130"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-131"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</y:ShapeNode>"</span> <a name="line-132"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-133"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span> <a name="line-134"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>empty</span> <a name="line-135"></a> <a name="line-136"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>PprOps</span> <span class='hs-conid'>YFilesMarkup</span> <span class='hs-conid'>GraphMLEdge</span> <span class='hs-keyword'>where</span> <a name="line-137"></a> <span class='hs-varid'>pprOps</span> <span class='hs-varid'>yFiles</span> <span class='hs-layout'>(</span><span class='hs-conid'>GraphMLEdge</span> <span class='hs-varid'>origN</span> <span class='hs-varid'>origP</span> <span class='hs-varid'>targetN</span> <span class='hs-varid'>targetP</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-138"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<edge"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"source=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>origId</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <a name="line-139"></a> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"sourceport=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>origP</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <a name="line-140"></a> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"target=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>targetId</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><+></span> <a name="line-141"></a> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"targetport=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>targetP</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <a name="line-142"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>not</span> <span class='hs-varid'>yFiles</span> <a name="line-143"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>text</span> <span class='hs-str'>"/>"</span> <a name="line-144"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>char</span> <span class='hs-chr'>'>'</span> <span class='hs-varop'>$+$</span> <a name="line-145"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <a name="line-146"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"d2\">"</span> <span class='hs-varop'>$+$</span> <a name="line-147"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <a name="line-148"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"<y:PolyLineEdge>"</span> <span class='hs-varop'>$+$</span> <a name="line-149"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <a name="line-150"></a> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-str'>"<y:Path sx=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>edgeOrigX</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" sy=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>edgeOrigY</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" tx=\""</span> <span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>edgeTargetX</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\" ty=\""</span><span class='hs-varop'><></span> <span class='hs-varid'>float</span> <span class='hs-varid'>edgeTargetY</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-151"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:LineStyle color=\"#000000\" type=\"line\" width=\"1.0\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-152"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:Arrows source=\"none\" target=\"standard\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-153"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<y:BendStyle smoothed=\"false\"/>"</span> <a name="line-154"></a> <span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-155"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</y:PolyLineEdge>"</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-156"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-157"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</edge>"</span> <a name="line-158"></a> <span class='hs-keyword'>where</span> <span class='hs-comment'>-- Origin Node identifier</span> <a name="line-159"></a> <span class='hs-varid'>origId</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getId</span> <span class='hs-varid'>origN</span> <a name="line-160"></a> <span class='hs-comment'>-- Target Node Identifier</span> <a name="line-161"></a> <span class='hs-varid'>targetId</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>getId</span> <span class='hs-varid'>targetN</span> <a name="line-162"></a> <span class='hs-comment'>-- Calculate the edge connection point for yFiles markup</span> <a name="line-163"></a> <span class='hs-layout'>(</span><span class='hs-varid'>edgeOrigX</span><span class='hs-layout'>,</span> <span class='hs-varid'>edgeOrigY</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>edgeConnection</span> <span class='hs-conid'>True</span> <a name="line-164"></a> <span class='hs-varid'>origNodeDims</span> <span class='hs-varid'>nOPortsOrig</span> <a name="line-165"></a> <span class='hs-layout'>(</span><span class='hs-varid'>findOutOrder</span> <span class='hs-varid'>origN</span> <span class='hs-varid'>origP</span><span class='hs-layout'>)</span> <a name="line-166"></a> <span class='hs-layout'>(</span><span class='hs-varid'>edgeTargetX</span><span class='hs-layout'>,</span> <span class='hs-varid'>edgeTargetY</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>edgeConnection</span> <span class='hs-conid'>False</span> <a name="line-167"></a> <span class='hs-varid'>targetNodeDims</span> <span class='hs-varid'>nIPortsTarget</span> <a name="line-168"></a> <span class='hs-layout'>(</span><span class='hs-varid'>findInOrder</span> <span class='hs-varid'>targetN</span> <span class='hs-varid'>targetP</span><span class='hs-layout'>)</span> <a name="line-169"></a> <span class='hs-layout'>(</span><span class='hs-keyword'>_</span><span class='hs-layout'>,</span> <span class='hs-varid'>nOPortsOrig</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nIOPorts</span> <span class='hs-varid'>origN</span> <a name="line-170"></a> <span class='hs-varid'>origNodeDims</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nodeDims</span> <span class='hs-varid'>origN</span> <a name="line-171"></a> <span class='hs-layout'>(</span><span class='hs-varid'>nIPortsTarget</span><span class='hs-layout'>,</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nIOPorts</span> <span class='hs-varid'>targetN</span> <a name="line-172"></a> <span class='hs-varid'>targetNodeDims</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nodeDims</span> <span class='hs-varid'>targetN</span> <a name="line-173"></a> <span class='hs-comment'>-- Function to calculate where to connect an edge to a node</span> <a name="line-174"></a> <span class='hs-comment'>-- note that in yfiles the coordinates origin of a node</span> <a name="line-175"></a> <span class='hs-comment'>-- is located in the center, but the Y axis is inverted </span> <a name="line-176"></a> <span class='hs-comment'>-- (negative values are in the upper side)</span> <a name="line-177"></a> <span class='hs-varid'>edgeConnection</span> <span class='hs-varid'>isSource</span> <span class='hs-layout'>(</span><span class='hs-varid'>nodeXSize</span><span class='hs-layout'>,</span> <span class='hs-varid'>nodeYSize</span><span class='hs-layout'>)</span> <span class='hs-varid'>totalPorts</span> <span class='hs-varid'>portOrder</span> <span class='hs-keyglyph'>=</span> <a name="line-178"></a> <span class='hs-layout'>(</span><span class='hs-varid'>x</span><span class='hs-layout'>,</span><span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-179"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>isSource</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>nodeXSize</span> <span class='hs-varop'>/</span> <span class='hs-num'>2</span> <span class='hs-keyword'>else</span> <span class='hs-comment'>-</span><span class='hs-layout'>(</span><span class='hs-varid'>nodeXSize</span><span class='hs-varop'>/</span><span class='hs-num'>2</span><span class='hs-layout'>)</span> <a name="line-180"></a> <span class='hs-varid'>ySep</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>nodeYSize</span><span class='hs-varop'>/</span><span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>totalPorts</span><span class='hs-layout'>)</span> <a name="line-181"></a> <span class='hs-comment'>-- Absolut value of y measure from the top</span> <a name="line-182"></a> <span class='hs-varid'>yAbs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ySep</span><span class='hs-varop'>/</span><span class='hs-num'>2</span> <span class='hs-varop'>+</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>portOrder</span><span class='hs-layout'>)</span> <span class='hs-varop'>*</span> <span class='hs-varid'>ySep</span> <a name="line-183"></a> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>yAbs</span> <span class='hs-comment'>-</span> <span class='hs-layout'>(</span><span class='hs-varid'>nodeYSize</span> <span class='hs-varop'>/</span> <span class='hs-num'>2</span><span class='hs-layout'>)</span> <a name="line-184"></a> <a name="line-185"></a> <span class='hs-comment'>-- helper functions</span> <a name="line-186"></a> <span class='hs-comment'>-------------------</span> <a name="line-187"></a> <span class='hs-comment'>-- Find the order (starting at 0) of a input Port in a node</span> <a name="line-188"></a> <span class='hs-varid'>findInOrder</span> <span class='hs-varid'>node</span> <span class='hs-varid'>portid</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findList</span> <span class='hs-varid'>list</span> <a name="line-189"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>findList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromJust</span> <span class='hs-varop'>.</span> <span class='hs-varid'>findIndex</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-varid'>portid</span><span class='hs-layout'>)</span> <a name="line-190"></a> <span class='hs-varid'>list</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-191"></a> <span class='hs-conid'>OutNode</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>pid</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pid</span><span class='hs-keyglyph'>]</span> <a name="line-192"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>ins</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DF</span><span class='hs-varop'>.</span><span class='hs-varid'>toList</span> <span class='hs-varid'>ins</span> <a name="line-193"></a> <span class='hs-comment'>-- Find the order (starting at 0) of an output Port in a node</span> <a name="line-194"></a> <span class='hs-varid'>findOutOrder</span> <span class='hs-varid'>node</span> <span class='hs-varid'>portid</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>findList</span> <span class='hs-varid'>list</span> <a name="line-195"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>findList</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromJust</span> <span class='hs-varop'>.</span> <span class='hs-varid'>findIndex</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span><span class='hs-varid'>portid</span><span class='hs-layout'>)</span> <a name="line-196"></a> <span class='hs-varid'>list</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-197"></a> <span class='hs-conid'>OutNode</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>pid</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-varid'>pid</span><span class='hs-keyglyph'>]</span> <a name="line-198"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>outs</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>outs</span> <a name="line-199"></a> <span class='hs-comment'>-- Get the identifier of a node</span> <a name="line-200"></a> <span class='hs-varid'>getId</span> <span class='hs-varid'>node</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-201"></a> <span class='hs-conid'>OutNode</span> <span class='hs-varid'>id</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>id</span> <a name="line-202"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>case</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>of</span> <a name="line-203"></a> <span class='hs-conid'>InPort</span> <span class='hs-varid'>pid</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>pid</span> <a name="line-204"></a> <span class='hs-conid'>Proc</span> <span class='hs-varid'>pid</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>pid</span> <a name="line-205"></a> <a name="line-206"></a><a name="pprGraphWithHeaders"></a><span class='hs-comment'>-- | pretty print a Graph with XML headers and key definitions</span> <a name="line-207"></a><span class='hs-definition'>pprGraphWithHeaders</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>YFilesMarkup</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>GraphMLGraph</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-208"></a><span class='hs-definition'>pprGraphWithHeaders</span> <span class='hs-varid'>yFiles</span> <span class='hs-varid'>graph</span> <span class='hs-keyglyph'>=</span> <a name="line-209"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<?xml version=\"1.0\" encoding=\"UTF-8\"?>"</span> <span class='hs-varop'>$+$</span> <a name="line-210"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<!-- Automatically generated by ForSyDe -->"</span> <span class='hs-varop'>$+$</span> <a name="line-211"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<graphml"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>xmlns</span> <span class='hs-varop'><+></span> <a name="line-212"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"xmlns:xsi=\"http://www.w3.org/2001/XMLSchema-instance\""</span> <span class='hs-varop'><+></span> <a name="line-213"></a> <span class='hs-varid'>xmlns_y</span> <span class='hs-varop'><+></span> <a name="line-214"></a> <a name="line-215"></a> <span class='hs-varid'>xsi_schemaLocation</span> <span class='hs-varop'><></span> <a name="line-216"></a> <span class='hs-varid'>char</span> <span class='hs-chr'>'>'</span> <span class='hs-varop'>$+$</span> <a name="line-217"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span> <a name="line-218"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key id=\"process_type\" for=\"node\" attr.name=\"process_type\" attr.type=\"string\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-219"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key id=\"value_arg\" for=\"node\" attr.name=\"value_arg\" attr.type=\"string\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-220"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key id=\"procfun_arg\" for=\"node\" attr.name=\"procfun_arg\" attr.type=\"string\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-221"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key id=\"instance_parent\" for=\"node\" attr.name=\"instance_parent\" attr.type=\"string\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-222"></a> <span class='hs-varid'>yFilesAttribs</span> <span class='hs-varop'>$+$</span> <a name="line-223"></a> <span class='hs-varid'>pprOps</span> <span class='hs-varid'>yFiles</span> <span class='hs-varid'>graph</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-224"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</graphml>"</span> <a name="line-225"></a> <span class='hs-keyword'>where</span> <a name="line-226"></a> <span class='hs-comment'>-- For some silly reason, yFiles uses a different GraphML target namesapce</span> <a name="line-227"></a> <span class='hs-comment'>-- different to the one used in grapdrawing.org's GraphML primer</span> <a name="line-228"></a> <span class='hs-varid'>xmlns</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>yFiles</span> <a name="line-229"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>text</span> <span class='hs-str'>"xmlns=\"http://graphml.graphdrawing.org/xmlns/graphml\""</span> <a name="line-230"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>text</span> <span class='hs-str'>"xmlns=\"http://graphml.graphdrawing.org/xmlns\""</span> <a name="line-231"></a> <span class='hs-varid'>xmlns_y</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>not</span> <span class='hs-varid'>yFiles</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>empty</span> <span class='hs-keyword'>else</span> <a name="line-232"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"xmlns:y=\"http://www.yworks.com/xml/graphml\""</span> <a name="line-233"></a> <span class='hs-varid'>xsi_schemaLocation</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>yFiles</span> <a name="line-234"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>text</span> <span class='hs-str'>"xsi:schemaLocation=\"http://graphml.graphdrawing.org/xmlns/graphml http://www.yworks.com/xml/schema/graphml/1.0/ygraphml.xsd\""</span> <a name="line-235"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>text</span> <span class='hs-str'>"xsi:schemaLocation=\"http://graphml.graphdrawing.org/xmlns http://graphml.graphdrawing.org/xmlns/1.0/graphml.xsd\""</span> <a name="line-236"></a> <span class='hs-varid'>yFilesAttribs</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>if</span> <span class='hs-varid'>not</span> <span class='hs-varid'>yFiles</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>empty</span> <span class='hs-keyword'>else</span> <a name="line-237"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key for=\"node\" id=\"d0\" yfiles.type=\"nodegraphics\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-238"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key attr.name=\"description\" attr.type=\"string\" for=\"node\" id=\"d1\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-239"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key for=\"edge\" id=\"d2\" yfiles.type=\"edgegraphics\"/>"</span> <span class='hs-varop'>$+$</span> <a name="line-240"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<key attr.name=\"description\" attr.type=\"string\" for=\"edge\" id=\"d3\"/>"</span> <a name="line-241"></a> <a name="line-242"></a><span class='hs-comment'>-------------------------</span> <a name="line-243"></a><span class='hs-comment'>-- Tag printing functions</span> <a name="line-244"></a><span class='hs-comment'>-------------------------</span> <a name="line-245"></a> <a name="line-246"></a><a name="port"></a><span class='hs-definition'>port</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GraphMLPortId</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-247"></a><span class='hs-definition'>port</span> <span class='hs-varid'>id</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>text</span> <span class='hs-str'>"<port"</span> <span class='hs-varop'><+></span> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-str'>"name=\""</span> <span class='hs-varop'>++</span> <span class='hs-varid'>id</span> <span class='hs-varop'>++</span> <span class='hs-str'>"\""</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"/>"</span> <a name="line-248"></a> <a name="line-249"></a> <a name="line-250"></a><a name="process_type"></a><span class='hs-definition'>process_type</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-251"></a><span class='hs-definition'>process_type</span> <span class='hs-varid'>str</span> <span class='hs-keyglyph'>=</span> <a name="line-252"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"process_type\">"</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-varid'>str</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span> <a name="line-253"></a> <a name="line-254"></a> <a name="line-255"></a><a name="value_arg"></a><span class='hs-definition'>value_arg</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Exp</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-256"></a><span class='hs-definition'>value_arg</span> <span class='hs-varid'>exp</span> <span class='hs-keyglyph'>=</span> <a name="line-257"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"value_arg\">"</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-layout'>(</span><span class='hs-varid'>pprint</span> <span class='hs-varid'>exp</span><span class='hs-layout'>)</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span> <a name="line-258"></a> <a name="line-259"></a><a name="procfun_arg"></a><span class='hs-definition'>procfun_arg</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>ProcFunAST</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-260"></a><span class='hs-comment'>-- FIXME: support default parameters</span> <a name="line-261"></a><span class='hs-definition'>procfun_arg</span> <span class='hs-layout'>(</span><span class='hs-conid'>ProcFunAST</span> <span class='hs-varid'>n</span> <span class='hs-varid'>cls</span> <span class='hs-keyword'>_</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <a name="line-262"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"procfun_arg\">"</span> <span class='hs-varop'>$+$</span> <a name="line-263"></a> <span class='hs-varid'>nest</span> <span class='hs-varid'>nestVal</span> <span class='hs-layout'>(</span><span class='hs-varid'>text</span> <span class='hs-varop'>$</span> <span class='hs-varid'>pprint</span> <span class='hs-layout'>(</span><span class='hs-conid'>FunD</span> <span class='hs-varid'>n</span> <span class='hs-varid'>cls</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varop'>$+$</span> <a name="line-264"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span> <a name="line-265"></a> <a name="line-266"></a> <a name="line-267"></a><a name="instance_parent"></a><span class='hs-definition'>instance_parent</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>SysId</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Doc</span> <a name="line-268"></a><span class='hs-definition'>instance_parent</span> <span class='hs-varid'>id</span> <span class='hs-keyglyph'>=</span> <a name="line-269"></a> <span class='hs-varid'>text</span> <span class='hs-str'>"<data key=\"instance_parent\">"</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-varid'>id</span> <span class='hs-varop'><></span> <span class='hs-varid'>text</span> <span class='hs-str'>"</data>"</span> <a name="line-270"></a> <a name="line-271"></a><span class='hs-comment'>-------------------------</span> <a name="line-272"></a><span class='hs-comment'>-- Other helper functions</span> <a name="line-273"></a><span class='hs-comment'>-------------------------</span> <a name="line-274"></a> <a name="line-275"></a><span class='hs-comment'>-- Location of Edge connections and node size using yFiles Markup</span> <a name="line-276"></a><span class='hs-comment'>-- ==============================================================</span> <a name="line-277"></a><span class='hs-comment'>-- * All Nodes (except ports, of 7x7) have a constant width of 100</span> <a name="line-278"></a><span class='hs-comment'>-- * The height depends on the node:</span> <a name="line-279"></a><span class='hs-comment'>-- * ConstSY has a constant height of 100 </span> <a name="line-280"></a><span class='hs-comment'>-- * DelaySY has a constant height of 100</span> <a name="line-281"></a><span class='hs-comment'>-- * Nodes with three lines of text (ZipWithNSY, SysIns) have a minimum of 55</span> <a name="line-282"></a><span class='hs-comment'>-- * Nodes with two lines of text (the rest) have a minimum height of 40</span> <a name="line-283"></a><span class='hs-comment'>--</span> <a name="line-284"></a><span class='hs-comment'>-- ** The final height of nodes with minimum height is</span> <a name="line-285"></a><span class='hs-comment'>-- Max(minheight, MaxS*ps)</span> <a name="line-286"></a><span class='hs-comment'>-- where MaxS = Max(number of input signals, number of output signals)</span> <a name="line-287"></a><span class='hs-comment'>-- ps = inter-port separation</span> <a name="line-288"></a><span class='hs-comment'>-- ** The location where both ends of an edge is trivially calculated</span> <a name="line-289"></a><span class='hs-comment'>-- using the order of the corresponding port, the final size of the</span> <a name="line-290"></a><span class='hs-comment'>-- node, "bi" and "ps"</span> <a name="line-291"></a> <a name="line-292"></a><a name="portSep"></a><span class='hs-comment'>-- | port separation space when connecting to a node which surpasses the </span> <a name="line-293"></a><span class='hs-comment'>-- minimum height</span> <a name="line-294"></a><span class='hs-definition'>portSep</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Float</span> <a name="line-295"></a><span class='hs-definition'>portSep</span> <span class='hs-keyglyph'>=</span> <span class='hs-num'>15</span> <a name="line-296"></a> <a name="line-297"></a><a name="nodeDims"></a><span class='hs-comment'>-- | Calculate the dimensions of a Node</span> <a name="line-298"></a><span class='hs-definition'>nodeDims</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GraphMLNode</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Float</span><span class='hs-layout'>,</span> <span class='hs-conid'>Float</span><span class='hs-layout'>)</span> <span class='hs-comment'>-- ^ Node dimensions (x,y)</span> <a name="line-299"></a><span class='hs-definition'>nodeDims</span> <span class='hs-varid'>node</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-300"></a> <span class='hs-conid'>OutNode</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>7</span><span class='hs-layout'>,</span><span class='hs-num'>7</span><span class='hs-layout'>)</span> <a name="line-301"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <a name="line-302"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>n</span> <span class='hs-keyword'>of</span> <a name="line-303"></a> <span class='hs-conid'>InPort</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>7</span><span class='hs-layout'>,</span><span class='hs-num'>7</span><span class='hs-layout'>)</span> <a name="line-304"></a> <span class='hs-conid'>Proc</span> <span class='hs-keyword'>_</span> <span class='hs-varid'>n'</span> <span class='hs-keyglyph'>-></span> <a name="line-305"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>n'</span> <span class='hs-keyword'>of</span> <a name="line-306"></a> <span class='hs-conid'>Const</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>100</span><span class='hs-layout'>,</span><span class='hs-num'>100</span><span class='hs-layout'>)</span> <a name="line-307"></a> <span class='hs-conid'>DelaySY</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>100</span><span class='hs-layout'>,</span><span class='hs-num'>100</span><span class='hs-layout'>)</span> <a name="line-308"></a> <span class='hs-conid'>ZipWithNSY</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>100</span><span class='hs-layout'>,</span> <span class='hs-varid'>height</span> <span class='hs-num'>55</span> <span class='hs-varid'>maxio</span><span class='hs-layout'>)</span> <a name="line-309"></a> <span class='hs-conid'>SysIns</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>100</span><span class='hs-layout'>,</span> <span class='hs-varid'>height</span> <span class='hs-num'>55</span> <span class='hs-varid'>maxio</span><span class='hs-layout'>)</span> <a name="line-310"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>100</span><span class='hs-layout'>,</span> <span class='hs-varid'>height</span> <span class='hs-num'>40</span> <span class='hs-varid'>maxio</span><span class='hs-layout'>)</span> <a name="line-311"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>height</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Float</span> <span class='hs-comment'>-- ^ Minimum height </span> <a name="line-312"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Max(input port number, output port number)</span> <a name="line-313"></a> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Float</span> <span class='hs-comment'>-- ^ Final height</span> <a name="line-314"></a> <span class='hs-varid'>height</span> <span class='hs-varid'>min</span> <span class='hs-varid'>maxio</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>max</span> <span class='hs-varid'>min</span> <a name="line-315"></a> <span class='hs-layout'>(</span><span class='hs-varid'>portSep</span><span class='hs-varop'>*</span><span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>maxio</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <a name="line-316"></a> <span class='hs-varid'>maxio</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Int</span> <span class='hs-comment'>-- ^ Max(input port number, output port number) </span> <a name="line-317"></a> <span class='hs-varid'>maxio</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>uncurry</span> <span class='hs-varid'>max</span> <span class='hs-varop'>$</span> <span class='hs-varid'>nIOPorts</span> <span class='hs-varid'>node</span> <a name="line-318"></a> <a name="line-319"></a> <a name="line-320"></a><a name="nIOPorts"></a><span class='hs-comment'>-- | Calculate the number of input and output ports of a node</span> <a name="line-321"></a><span class='hs-definition'>nIOPorts</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>GraphMLNode</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>Int</span><span class='hs-layout'>,</span> <span class='hs-conid'>Int</span><span class='hs-layout'>)</span> <a name="line-322"></a><span class='hs-definition'>nIOPorts</span> <span class='hs-varid'>node</span> <span class='hs-keyglyph'>=</span> <a name="line-323"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>node</span> <span class='hs-keyword'>of</span> <a name="line-324"></a> <span class='hs-conid'>ProcNode</span> <span class='hs-varid'>ins</span> <span class='hs-varid'>outs</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>DF</span><span class='hs-varop'>.</span><span class='hs-varid'>foldr</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-keyword'>_</span> <span class='hs-varid'>b</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>b</span><span class='hs-varop'>+</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-num'>0</span> <span class='hs-varid'>ins</span><span class='hs-layout'>,</span> <span class='hs-varid'>length</span> <span class='hs-varid'>outs</span><span class='hs-layout'>)</span> <a name="line-325"></a> <span class='hs-conid'>OutNode</span> <span class='hs-keyword'>_</span> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-num'>1</span><span class='hs-layout'>,</span><span class='hs-num'>0</span><span class='hs-layout'>)</span> </pre></body> </html>