<?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>Data/Generics/Any.hs</title> <link type='text/css' rel='stylesheet' href='hscolour.css' /> </head> <body> <pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE ExistentialQuantification #-}</span> <a name="line-2"></a> <a name="line-3"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Generics</span><span class='hs-varop'>.</span><span class='hs-conid'>Any</span> <span class='hs-keyword'>where</span> <a name="line-4"></a> <a name="line-5"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span><span class='hs-varop'>.</span><span class='hs-conid'>Trans</span><span class='hs-varop'>.</span><span class='hs-conid'>State</span> <a name="line-6"></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'>Data</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>D</span> <a name="line-7"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Data</span> <span class='hs-varid'>hiding</span> <span class='hs-layout'>(</span><span class='hs-varid'>toConstr</span><span class='hs-layout'>,</span> <span class='hs-varid'>typeOf</span><span class='hs-layout'>,</span> <span class='hs-varid'>dataTypeOf</span><span class='hs-layout'>,</span> <span class='hs-varid'>isAlgType</span><span class='hs-layout'>)</span> <a name="line-8"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>List</span> <a name="line-9"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <a name="line-10"></a> <a name="line-11"></a> <a name="line-12"></a><a name="CtorName"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>CtorName</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <a name="line-13"></a><a name="FieldName"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>FieldName</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>String</span> <a name="line-14"></a> <a name="line-15"></a> <a name="line-16"></a><a name="readTupleType"></a><span class='hs-definition'>readTupleType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>String</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-conid'>Int</span> <a name="line-17"></a><span class='hs-definition'>readTupleType</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>|</span> <span class='hs-str'>"("</span> <span class='hs-varop'>`isPrefixOf`</span> <span class='hs-varid'>x</span> <span class='hs-varop'>&&</span> <span class='hs-str'>")"</span> <span class='hs-varop'>`isSuffixOf`</span> <span class='hs-varid'>x</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>all</span> <span class='hs-layout'>(</span><span class='hs-varop'>==</span> <span class='hs-chr'>','</span><span class='hs-layout'>)</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Just</span> <span class='hs-varop'>$</span> <span class='hs-varid'>length</span> <span class='hs-varid'>y</span> <a name="line-18"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Nothing</span> <a name="line-19"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>init</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tail</span> <span class='hs-varid'>x</span> <a name="line-20"></a> <a name="line-21"></a> <a name="line-22"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-23"></a><span class='hs-comment'>-- BASIC TYPES</span> <a name="line-24"></a> <a name="line-25"></a><a name="Any"></a><span class='hs-comment'>-- | Any value, with a Data dictionary.</span> <a name="line-26"></a><a name="Any"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>forall</span> <span class='hs-varid'>a</span> <span class='hs-varop'>.</span> <span class='hs-conid'>Data</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Any</span> <span class='hs-varid'>a</span> <a name="line-27"></a> <a name="line-28"></a><a name="AnyT"></a><span class='hs-keyword'>type</span> <span class='hs-conid'>AnyT</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Any</span> <a name="line-29"></a> <a name="line-30"></a><span class='hs-keyword'>instance</span> <span class='hs-conid'>Show</span> <span class='hs-conid'>Any</span> <span class='hs-keyword'>where</span> <a name="line-31"></a> <span class='hs-varid'>show</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>show</span> <span class='hs-varop'>.</span> <span class='hs-varid'>typeOf</span> <a name="line-32"></a> <a name="line-33"></a><a name="fromAny"></a><span class='hs-definition'>fromAny</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Typeable</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>a</span> <a name="line-34"></a><span class='hs-definition'>fromAny</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>cast</span> <span class='hs-varid'>x</span> <span class='hs-keyword'>of</span> <a name="line-35"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>y</span> <a name="line-36"></a> <span class='hs-keyglyph'>~</span><span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Data.Generics.Any.fromAny: Failed to extract any, got "</span> <span class='hs-varop'>++</span> <a name="line-37"></a> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>typeOf</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>", wanted "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>typeOf</span> <span class='hs-varid'>y</span><span class='hs-layout'>)</span> <a name="line-38"></a> <a name="line-39"></a> <a name="line-40"></a><a name="cast"></a><span class='hs-definition'>cast</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Typeable</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Maybe</span> <span class='hs-varid'>a</span> <a name="line-41"></a><span class='hs-definition'>cast</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>cast</span> <span class='hs-varid'>x</span> <a name="line-42"></a> <a name="line-43"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-44"></a><span class='hs-comment'>-- SYB COMPATIBILITY</span> <a name="line-45"></a> <a name="line-46"></a><a name="toConstr"></a><span class='hs-definition'>toConstr</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Constr</span> <a name="line-47"></a><span class='hs-definition'>toConstr</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>toConstr</span> <span class='hs-varid'>x</span> <a name="line-48"></a> <a name="line-49"></a><a name="typeOf"></a><span class='hs-definition'>typeOf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>TypeRep</span> <a name="line-50"></a><span class='hs-definition'>typeOf</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>typeOf</span> <span class='hs-varid'>x</span> <a name="line-51"></a> <a name="line-52"></a><a name="dataTypeOf"></a><span class='hs-definition'>dataTypeOf</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>DataType</span> <a name="line-53"></a><span class='hs-definition'>dataTypeOf</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>dataTypeOf</span> <span class='hs-varid'>x</span> <a name="line-54"></a> <a name="line-55"></a><a name="isAlgType"></a><span class='hs-definition'>isAlgType</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Bool</span> <a name="line-56"></a><span class='hs-definition'>isAlgType</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>isAlgType</span> <span class='hs-varop'>.</span> <span class='hs-varid'>dataTypeOf</span> <a name="line-57"></a> <a name="line-58"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-59"></a><span class='hs-comment'>-- TYPE STUFF</span> <a name="line-60"></a> <a name="line-61"></a><a name="typeShell"></a><span class='hs-definition'>typeShell</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-62"></a><span class='hs-definition'>typeShell</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tyconUQname</span> <span class='hs-varop'>.</span> <span class='hs-varid'>typeShellFull</span> <a name="line-63"></a> <a name="line-64"></a><a name="typeShellFull"></a><span class='hs-definition'>typeShellFull</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-65"></a><span class='hs-definition'>typeShellFull</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>tyConString</span> <span class='hs-varop'>.</span> <span class='hs-varid'>typeRepTyCon</span> <span class='hs-varop'>.</span> <span class='hs-varid'>typeOf</span> <a name="line-66"></a> <a name="line-67"></a><a name="typeName"></a><span class='hs-definition'>typeName</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>String</span> <a name="line-68"></a><span class='hs-definition'>typeName</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>show</span> <span class='hs-varop'>.</span> <span class='hs-varid'>typeOf</span> <a name="line-69"></a> <a name="line-70"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-71"></a><span class='hs-comment'>-- ANY PRIMITIVES</span> <a name="line-72"></a> <a name="line-73"></a><a name="ctor"></a><span class='hs-definition'>ctor</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CtorName</span> <a name="line-74"></a><span class='hs-definition'>ctor</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>showConstr</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toConstr</span> <a name="line-75"></a> <a name="line-76"></a><a name="fields"></a><span class='hs-definition'>fields</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>String</span><span class='hs-keyglyph'>]</span> <a name="line-77"></a><span class='hs-definition'>fields</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>constrFields</span> <span class='hs-varop'>.</span> <span class='hs-varid'>toConstr</span> <a name="line-78"></a> <a name="line-79"></a><a name="children"></a><span class='hs-definition'>children</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Any</span><span class='hs-keyglyph'>]</span> <a name="line-80"></a><span class='hs-definition'>children</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>gmapQ</span> <span class='hs-conid'>Any</span> <span class='hs-varid'>x</span> <a name="line-81"></a> <a name="line-82"></a> <a name="line-83"></a><a name="compose0"></a><span class='hs-definition'>compose0</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CtorName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <a name="line-84"></a><span class='hs-definition'>compose0</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Any</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromConstrB</span> <span class='hs-varid'>err</span> <span class='hs-varid'>y</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>x</span> <a name="line-85"></a> <span class='hs-keyword'>where</span> <span class='hs-conid'>Just</span> <span class='hs-varid'>y</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>readConstr</span> <span class='hs-layout'>(</span><span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>dataTypeOf</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span> <a name="line-86"></a> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Data.Generics.Any: Undefined field inside compose0, "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>c</span> <span class='hs-varop'>++</span> <span class='hs-str'>" :: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-87"></a> <a name="line-88"></a> <a name="line-89"></a><a name="recompose"></a><span class='hs-definition'>recompose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Any</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <a name="line-90"></a><span class='hs-definition'>recompose</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>null</span> <span class='hs-varid'>s</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Any</span> <span class='hs-varop'>$</span> <span class='hs-varid'>res</span> <span class='hs-varop'>`asTypeOf`</span> <span class='hs-varid'>x</span> <a name="line-91"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>err</span> <a name="line-92"></a> <span class='hs-keyword'>where</span> <span class='hs-layout'>(</span><span class='hs-varid'>res</span><span class='hs-layout'>,</span><span class='hs-varid'>s</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>runState</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromConstrM</span> <span class='hs-varid'>field</span> <span class='hs-varop'>$</span> <span class='hs-conid'>D</span><span class='hs-varop'>.</span><span class='hs-varid'>toConstr</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varid'>cs</span> <a name="line-93"></a> <a name="line-94"></a> <span class='hs-varid'>field</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Data</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>=></span> <span class='hs-conid'>State</span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Any</span><span class='hs-keyglyph'>]</span> <span class='hs-varid'>d</span> <a name="line-95"></a> <span class='hs-varid'>field</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>get</span> <a name="line-96"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>null</span> <span class='hs-varid'>cs</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>err</span> <span class='hs-keyword'>else</span> <span class='hs-keyword'>do</span> <a name="line-97"></a> <span class='hs-varid'>put</span> <span class='hs-varop'>$</span> <span class='hs-varid'>tail</span> <span class='hs-varid'>cs</span> <a name="line-98"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$</span> <span class='hs-varid'>fromAny</span> <span class='hs-varop'>$</span> <span class='hs-varid'>head</span> <span class='hs-varid'>cs</span> <a name="line-99"></a> <a name="line-100"></a> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"Data.Generics.Any.recompose: Incorrect number of children to recompose, "</span> <span class='hs-varop'>++</span> <a name="line-101"></a> <span class='hs-varid'>ctor</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>" :: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <span class='hs-str'>", expected "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-layout'>(</span><span class='hs-varid'>arity</span> <span class='hs-varop'>$</span> <span class='hs-conid'>Any</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-varop'>++</span> <a name="line-102"></a> <span class='hs-str'>", got "</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'>cs</span><span class='hs-layout'>)</span> <a name="line-103"></a> <a name="line-104"></a> <a name="line-105"></a><a name="ctors"></a><span class='hs-definition'>ctors</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>CtorName</span><span class='hs-keyglyph'>]</span> <a name="line-106"></a><span class='hs-definition'>ctors</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>map</span> <span class='hs-varid'>showConstr</span> <span class='hs-varop'>.</span> <span class='hs-varid'>dataTypeConstrs</span> <span class='hs-varop'>.</span> <span class='hs-varid'>dataTypeOf</span> <a name="line-107"></a> <a name="line-108"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-109"></a><span class='hs-comment'>-- DERIVED FUNCTIONS</span> <a name="line-110"></a> <a name="line-111"></a><a name="decompose"></a><span class='hs-definition'>decompose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-layout'>(</span><span class='hs-conid'>CtorName</span><span class='hs-layout'>,</span><span class='hs-keyglyph'>[</span><span class='hs-conid'>Any</span><span class='hs-keyglyph'>]</span><span class='hs-layout'>)</span> <a name="line-112"></a><span class='hs-definition'>decompose</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-layout'>(</span><span class='hs-varid'>ctor</span> <span class='hs-varid'>x</span><span class='hs-layout'>,</span> <span class='hs-varid'>children</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-113"></a> <a name="line-114"></a><a name="arity"></a><span class='hs-definition'>arity</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>length</span> <span class='hs-varop'>.</span> <span class='hs-varid'>children</span> <a name="line-115"></a> <a name="line-116"></a><a name="compose"></a><span class='hs-definition'>compose</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>CtorName</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyglyph'>[</span><span class='hs-conid'>Any</span><span class='hs-keyglyph'>]</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <a name="line-117"></a><span class='hs-definition'>compose</span> <span class='hs-varid'>t</span> <span class='hs-varid'>c</span> <span class='hs-varid'>xs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>recompose</span> <span class='hs-layout'>(</span><span class='hs-varid'>compose0</span> <span class='hs-varid'>t</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varid'>xs</span> <a name="line-118"></a> <a name="line-119"></a> <a name="line-120"></a><span class='hs-comment'>---------------------------------------------------------------------</span> <a name="line-121"></a><span class='hs-comment'>-- FIELD UTILITIES</span> <a name="line-122"></a> <a name="line-123"></a><a name="getField"></a><span class='hs-definition'>getField</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>FieldName</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <a name="line-124"></a><span class='hs-definition'>getField</span> <span class='hs-varid'>lbl</span> <span class='hs-varid'>x</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fromMaybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"getField: Could not find field "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>lbl</span><span class='hs-layout'>)</span> <span class='hs-varop'>$</span> <a name="line-125"></a> <span class='hs-varid'>lookup</span> <span class='hs-varid'>lbl</span> <span class='hs-varop'>$</span> <span class='hs-varid'>zip</span> <span class='hs-layout'>(</span><span class='hs-varid'>fields</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>children</span> <span class='hs-varid'>x</span><span class='hs-layout'>)</span> <a name="line-126"></a> <a name="line-127"></a> <a name="line-128"></a><a name="setField"></a><span class='hs-definition'>setField</span> <span class='hs-keyglyph'>::</span> <span class='hs-layout'>(</span><span class='hs-conid'>FieldName</span><span class='hs-layout'>,</span><span class='hs-conid'>Any</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Any</span> <a name="line-129"></a><span class='hs-definition'>setField</span> <span class='hs-layout'>(</span><span class='hs-varid'>lbl</span><span class='hs-layout'>,</span><span class='hs-varid'>child</span><span class='hs-layout'>)</span> <span class='hs-varid'>parent</span> <a name="line-130"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>lbl</span> <span class='hs-varop'>`notElem`</span> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>error</span> <span class='hs-varop'>$</span> <span class='hs-str'>"setField: Could not find field "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>show</span> <span class='hs-varid'>lbl</span> <a name="line-131"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>recompose</span> <span class='hs-varid'>parent</span> <span class='hs-varop'>$</span> <span class='hs-varid'>zipWith</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>f</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>if</span> <span class='hs-varid'>f</span> <span class='hs-varop'>==</span> <span class='hs-varid'>lbl</span> <span class='hs-keyword'>then</span> <span class='hs-varid'>child</span> <span class='hs-keyword'>else</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varid'>fs</span> <span class='hs-varid'>cs</span> <a name="line-132"></a> <span class='hs-keyword'>where</span> <a name="line-133"></a> <span class='hs-varid'>fs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>fields</span> <span class='hs-varid'>parent</span> <a name="line-134"></a> <span class='hs-varid'>cs</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>children</span> <span class='hs-varid'>parent</span> </pre></body> </html>