doc-index.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>hobbits-1.0: A library for canonically representing terms with binding (Index)</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">hobbits-1.0: A library for canonically representing terms with binding</p></div><div id="content"><div id="index"><p class="caption">Index</p><table><tr><td class="src">:++:</td><td class="module"><a href="Data-Type-List-List.html#t::-43--43-:">Data.Type.List.List</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">:=:</td><td class="module">Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">:&gt;</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Type-List-List.html#t::-62-">Data.Type.List.List</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Type-List-Map.html#v::-62-">Data.Type.List.Map</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">App</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:App">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Append</td><td class="module"><a href="Data-Type-List-Proof-Append.html#t:Append">Data.Type.List.Proof.Append</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">append</td><td class="module"><a href="Data-Type-List-Map.html#v:append">Data.Type.List.Map</a></td></tr><tr><td class="src">Append_Base</td><td class="module"><a href="Data-Type-List-Proof-Append.html#v:Append_Base">Data.Type.List.Proof.Append</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">Append_Step</td><td class="module"><a href="Data-Type-List-Proof-Append.html#v:Append_Step">Data.Type.List.Proof.Append</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">Binding</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#t:Binding">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">cmpName</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:cmpName">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">combineMb</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:combineMb">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">counter</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:counter">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">D</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:D">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decl</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:Decl">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decls</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:Decls">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decls_Base</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Decls_Base">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decls_Cons</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Decls_Cons">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decl_Cons</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Decl_Cons">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Decl_One</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Decl_One">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">DTerm</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:DTerm">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">elimEmptyMb</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:elimEmptyMb">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">empty</td><td class="module"><a href="Data-Type-List-Map.html#v:empty">Data.Type.List.Map</a></td></tr><tr><td class="src">emptyMb</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:emptyMb">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">ex1</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex1">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex2</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex2">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex3</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex3">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex4</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex4">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex5</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex5">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex6</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex6">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ex7</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:ex7">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ExMember</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#t:ExMember">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:ExMember">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">exP</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Examples.html#v:exP">Data.Binding.Hobbits.Examples.LambdaLifting.Examples</a></td></tr><tr><td class="src">ExProxy</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#t:ExProxy">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:ExProxy">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">fresh_name</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:fresh_name">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">L</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:L">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Lam</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Lam">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">lam</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:lam">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">lambdaLift</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting.html#v:lambdaLift">Data.Binding.Hobbits.Examples.LambdaLifting</a></td></tr><tr><td class="src">length</td><td class="module"><a href="Data-Type-List-Proof-Append.html#v:length">Data.Type.List.Proof.Append</a></td></tr><tr><td class="src">Liftable</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#t:Liftable">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Liftable1</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#t:Liftable1">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Liftable2</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#t:Liftable2">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">lookup</td><td class="module"><a href="Data-Type-List-Map.html#v:lookup">Data.Type.List.Map</a></td></tr><tr><td class="src">MapC</td><td class="module"><a href="Data-Type-List-Map.html#t:MapC">Data.Type.List.Map</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">mapC</td><td class="module"><a href="Data-Type-List-Map.html#v:mapC">Data.Type.List.Map</a></td></tr><tr><td class="src">Mb</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#t:Mb">Data.Binding.Hobbits.Internal</a>, <a href="Data-Binding-Hobbits-Mb.html#t:Mb">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbCmpName</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbCmpName">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbLambdaLift</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting.html#v:mbLambdaLift">Data.Binding.Hobbits.Examples.LambdaLifting</a></td></tr><tr><td class="src">mbLift</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbLift">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbLift1</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbLift1">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbLift2</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbLift2">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbList</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbList">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbNameBoundP</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbNameBoundP">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbToplevel</td><td class="module"><a href="Data-Binding-Hobbits-SuperComb.html#v:mbToplevel">Data.Binding.Hobbits.SuperComb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">mbToProxy</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:mbToProxy">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Member</td><td class="module"><a href="Data-Type-List-Proof-Member.html#t:Member">Data.Type.List.Proof.Member</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">memberFromLen</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:memberFromLen">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">members</td><td class="module"><a href="Data-Type-List-Map.html#v:members">Data.Type.List.Map</a></td></tr><tr><td class="src">Member_Base</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:Member_Base">Data.Type.List.Proof.Member</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">Member_Step</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:Member_Step">Data.Type.List.Proof.Member</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">mkAppend</td><td class="module"><a href="Data-Type-List-Map.html#v:mkAppend">Data.Type.List.Map</a></td></tr><tr><td class="src">MkMb</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:MkMb">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">mkMonoAppend</td><td class="module"><a href="Data-Type-List-Map.html#v:mkMonoAppend">Data.Type.List.Map</a></td></tr><tr><td class="src">MkName</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:MkName">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">mkNuElimData</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#v:mkNuElimData">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Name</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#t:Name">Data.Binding.Hobbits.Internal</a>, <a href="Data-Binding-Hobbits-Mb.html#t:Name">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Nil</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Type/Class)</td><td class="module"><a href="Data-Type-List-List.html#t:Nil">Data.Type.List.List</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="alt">2 (Data Constructor)</td><td class="module"><a href="Data-Type-List-Map.html#v:Nil">Data.Type.List.Map</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">nu</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:nu">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">NuElim</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#t:NuElim">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">NuElimList</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#t:NuElimList">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuElimListProof</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#v:nuElimListProof">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">NuElimProof</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#t:NuElimProof">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuElimProof</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#v:nuElimProof">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuMulti</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:nuMulti">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuQQ</td><td class="module"><a href="Data-Binding-Hobbits-QQ.html#v:nuQQ">Data.Binding.Hobbits.QQ</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuWithElim1</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#v:nuWithElim1">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">nuWithElimMulti</td><td class="module"><a href="Data-Binding-Hobbits-NuElim.html#v:nuWithElimMulti">Data.Binding.Hobbits.NuElim</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">parsePattern</td><td class="module"><a href="Data-Binding-Hobbits-PatternParser.html#v:parsePattern">Data.Binding.Hobbits.PatternParser</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">parseVar</td><td class="module"><a href="Data-Binding-Hobbits-PatternParser.html#v:parseVar">Data.Binding.Hobbits.PatternParser</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">Proxy</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Data Constructor)</td><td class="module">Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="alt">2 (Type/Class)</td><td class="module">Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">proxy</td><td class="module"><a href="Data-Type-List-Map.html#v:proxy">Data.Type.List.Map</a></td></tr><tr><td class="src">proxyCons</td><td class="module"><a href="Data-Type-List-List.html#v:proxyCons">Data.Type.List.List</a>, Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">proxyFromLen</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:proxyFromLen">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">Refl</td><td class="module">Data.Type.List, Data.Binding.Hobbits</td></tr><tr><td class="src">same</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:same">Data.Type.List.Proof.Member</a></td></tr><tr><td class="src">separateMb</td><td class="module"><a href="Data-Binding-Hobbits-Mb.html#v:separateMb">Data.Binding.Hobbits.Mb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">singleton</td><td class="module"><a href="Data-Type-List-Map.html#v:singleton">Data.Type.List.Map</a></td></tr><tr><td class="src">split</td><td>&nbsp;</td></tr><tr><td class="alt">1 (Function)</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:split">Data.Type.List.Proof.Member</a></td></tr><tr><td class="alt">2 (Function)</td><td class="module"><a href="Data-Type-List-Map.html#v:split">Data.Type.List.Map</a></td></tr><tr><td class="src">SuperComb</td><td class="module"><a href="Data-Binding-Hobbits-SuperComb.html#t:SuperComb">Data.Binding.Hobbits.SuperComb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">superComb</td><td class="module"><a href="Data-Binding-Hobbits-SuperComb.html#v:superComb">Data.Binding.Hobbits.SuperComb</a>, Data.Binding.Hobbits</td></tr><tr><td class="src">TApp</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:TApp">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">TDVar</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:TDVar">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">Term</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#t:Term">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">toEq</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:toEq">Data.Type.List.Proof.Member</a></td></tr><tr><td class="src">trans</td><td class="module"><a href="Data-Type-List-Proof-Append.html#v:trans">Data.Type.List.Proof.Append</a></td></tr><tr><td class="src">TVar</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:TVar">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">unsafeLookupC</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:unsafeLookupC">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">unsafeNamesFromInts</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:unsafeNamesFromInts">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">unsafeProxyFromLen</td><td class="module"><a href="Data-Binding-Hobbits-Internal.html#v:unsafeProxyFromLen">Data.Binding.Hobbits.Internal</a></td></tr><tr><td class="src">Var</td><td class="module"><a href="Data-Binding-Hobbits-Examples-LambdaLifting-Terms.html#v:Var">Data.Binding.Hobbits.Examples.LambdaLifting.Terms</a>, Data.Binding.Hobbits.Examples.LambdaLifting</td></tr><tr><td class="src">weakenL</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:weakenL">Data.Type.List.Proof.Member</a></td></tr><tr><td class="src">weakenR</td><td class="module"><a href="Data-Type-List-Proof-Member.html#v:weakenR">Data.Type.List.Proof.Member</a></td></tr></table></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.8.0</p></div></body></html>