Sophie

Sophie

distrib > Mageia > 5 > x86_64 > media > core-release > by-pkgid > 956c458aa5fe9afc4d2c00cb7b491287 > files > 3129

ghc-7.4.2-4.mga5.x86_64.rpm

<!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>TysWiredIn</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();setSynopsis("mini_TysWiredIn.html");};
//]]>
</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">ghc-7.4.2: The GHC API</p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Safe Haskell</th><td>None</td></tr></table><p class="caption">TysWiredIn</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">All wired in things
</a></li><li><a href="#g:2">Bool
</a></li><li><a href="#g:3">Ordering
</a></li><li><a href="#g:4">Char
</a></li><li><a href="#g:5">Double
</a></li><li><a href="#g:6">Float
</a></li><li><a href="#g:7">Int
</a></li><li><a href="#g:8">Word
</a></li><li><a href="#g:9">List
</a></li><li><a href="#g:10">Tuples
</a></li><li><a href="#g:11">Unit
</a></li><li><a href="#g:12">Parallel arrays
</a></li><li><a href="#g:13">Equality predicates
</a></li><li><a href="#g:14">Implicit parameter predicates
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module is about types that can be defined in Haskell, but which
   must be wired into the compiler nonetheless.  C.f module TysPrim
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:wiredInTyCons">wiredInTyCons</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</li><li class="src short"><a href="#v:boolTy">boolTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:boolTyCon">boolTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:boolTyCon_RDR">boolTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:boolTyConName">boolTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:trueDataCon">trueDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:trueDataConId">trueDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:true_RDR">true_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:falseDataCon">falseDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:falseDataConId">falseDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:false_RDR">false_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:ltDataCon">ltDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:ltDataConId">ltDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:eqDataCon">eqDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:eqDataConId">eqDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:gtDataCon">gtDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:gtDataConId">gtDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:charTyCon">charTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:charDataCon">charDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:charTyCon_RDR">charTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:charTy">charTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:stringTy">stringTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:charTyConName">charTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:integerGmpSDataCon">integerGmpSDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:doubleTyCon">doubleTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:doubleDataCon">doubleDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:doubleTy">doubleTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:doubleTyConName">doubleTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:floatTyCon">floatTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:floatDataCon">floatDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:floatTy">floatTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:floatTyConName">floatTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:intTyCon">intTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:intDataCon">intDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:intTyCon_RDR">intTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:intDataCon_RDR">intDataCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:intTyConName">intTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:intTy">intTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:wordTyCon">wordTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:wordDataCon">wordDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:wordTyConName">wordTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:wordTy">wordTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:listTyCon">listTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:nilDataCon">nilDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:consDataCon">consDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:listTyCon_RDR">listTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:consDataCon_RDR">consDataCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:listTyConName">listTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:mkListTy">mkListTy</a> :: <a href="Type.html#t:Type">Type</a> -&gt; <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:mkTupleTy">mkTupleTy</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; [<a href="Type.html#t:Type">Type</a>] -&gt; <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:mkBoxedTupleTy">mkBoxedTupleTy</a> :: [<a href="Type.html#t:Type">Type</a>] -&gt; <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:tupleTyCon">tupleTyCon</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:tupleCon">tupleCon</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:unitTyCon">unitTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:unitDataCon">unitDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:unitDataConId">unitDataConId</a> :: <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:pairTyCon">pairTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:unboxedSingletonTyCon">unboxedSingletonTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:unboxedSingletonDataCon">unboxedSingletonDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:unboxedPairTyCon">unboxedPairTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:unboxedPairDataCon">unboxedPairDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:unitTy">unitTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:mkPArrTy">mkPArrTy</a> :: <a href="Type.html#t:Type">Type</a> -&gt; <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:parrTyCon">parrTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:parrFakeCon">parrFakeCon</a> :: <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:isPArrTyCon">isPArrTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:isPArrFakeCon">isPArrFakeCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></li><li class="src short"><a href="#v:parrTyCon_RDR">parrTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:parrTyConName">parrTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:eqTyCon_RDR">eqTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></li><li class="src short"><a href="#v:eqTyCon">eqTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:eqTyConName">eqTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:eqBoxDataCon">eqBoxDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></li><li class="src short"><a href="#v:mkIPName">mkIPName</a> :: <a href="FastString.html#t:FastString">FastString</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a></li></ul></div><div id="interface"><h1 id="g:1">All wired in things
</h1><div class="top"><p class="src"><a name="v:wiredInTyCons" class="def">wiredInTyCons</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</p></div><h1 id="g:2">Bool
</h1><div class="top"><p class="src"><a name="v:boolTy" class="def">boolTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:boolTyCon" class="def">boolTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:boolTyCon_RDR" class="def">boolTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:boolTyConName" class="def">boolTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:trueDataCon" class="def">trueDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:trueDataConId" class="def">trueDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:true_RDR" class="def">true_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:falseDataCon" class="def">falseDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:falseDataConId" class="def">falseDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:false_RDR" class="def">false_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><h1 id="g:3">Ordering
</h1><div class="top"><p class="src"><a name="v:ltDataCon" class="def">ltDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:ltDataConId" class="def">ltDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:eqDataCon" class="def">eqDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:eqDataConId" class="def">eqDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:gtDataCon" class="def">gtDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:gtDataConId" class="def">gtDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><h1 id="g:4">Char
</h1><div class="top"><p class="src"><a name="v:charTyCon" class="def">charTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:charDataCon" class="def">charDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:charTyCon_RDR" class="def">charTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:charTy" class="def">charTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:stringTy" class="def">stringTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:charTyConName" class="def">charTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:integerGmpSDataCon" class="def">integerGmpSDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><h1 id="g:5">Double
</h1><div class="top"><p class="src"><a name="v:doubleTyCon" class="def">doubleTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:doubleDataCon" class="def">doubleDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:doubleTy" class="def">doubleTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:doubleTyConName" class="def">doubleTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><h1 id="g:6">Float
</h1><div class="top"><p class="src"><a name="v:floatTyCon" class="def">floatTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:floatDataCon" class="def">floatDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:floatTy" class="def">floatTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:floatTyConName" class="def">floatTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><h1 id="g:7">Int
</h1><div class="top"><p class="src"><a name="v:intTyCon" class="def">intTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:intDataCon" class="def">intDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:intTyCon_RDR" class="def">intTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:intDataCon_RDR" class="def">intDataCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:intTyConName" class="def">intTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:intTy" class="def">intTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><h1 id="g:8">Word
</h1><div class="top"><p class="src"><a name="v:wordTyCon" class="def">wordTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:wordDataCon" class="def">wordDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:wordTyConName" class="def">wordTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:wordTy" class="def">wordTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><h1 id="g:9">List
</h1><div class="top"><p class="src"><a name="v:listTyCon" class="def">listTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:nilDataCon" class="def">nilDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:consDataCon" class="def">consDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:listTyCon_RDR" class="def">listTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:consDataCon_RDR" class="def">consDataCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:listTyConName" class="def">listTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:mkListTy" class="def">mkListTy</a> :: <a href="Type.html#t:Type">Type</a> -&gt; <a href="Type.html#t:Type">Type</a></p></div><h1 id="g:10">Tuples
</h1><div class="top"><p class="src"><a name="v:mkTupleTy" class="def">mkTupleTy</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; [<a href="Type.html#t:Type">Type</a>] -&gt; <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:mkBoxedTupleTy" class="def">mkBoxedTupleTy</a> :: [<a href="Type.html#t:Type">Type</a>] -&gt; <a href="Type.html#t:Type">Type</a></p><div class="doc"><p>Build the type of a small tuple that holds the specified type of thing
</p></div></div><div class="top"><p class="src"><a name="v:tupleTyCon" class="def">tupleTyCon</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:tupleCon" class="def">tupleCon</a> :: <a href="BasicTypes.html#t:TupleSort">TupleSort</a> -&gt; <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:unitTyCon" class="def">unitTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:unitDataCon" class="def">unitDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:unitDataConId" class="def">unitDataConId</a> :: <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:pairTyCon" class="def">pairTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:unboxedSingletonTyCon" class="def">unboxedSingletonTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:unboxedSingletonDataCon" class="def">unboxedSingletonDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><div class="top"><p class="src"><a name="v:unboxedPairTyCon" class="def">unboxedPairTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:unboxedPairDataCon" class="def">unboxedPairDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><h1 id="g:11">Unit
</h1><div class="top"><p class="src"><a name="v:unitTy" class="def">unitTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><h1 id="g:12">Parallel arrays
</h1><div class="top"><p class="src"><a name="v:mkPArrTy" class="def">mkPArrTy</a> :: <a href="Type.html#t:Type">Type</a> -&gt; <a href="Type.html#t:Type">Type</a></p><div class="doc"><p>Construct a type representing the application of the parallel array constructor 
</p></div></div><div class="top"><p class="src"><a name="v:parrTyCon" class="def">parrTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>Represents the type constructor of parallel arrays
</p><ul><li> This must match the definition in <code>PrelPArr</code>
</li></ul><p>NB: Although the constructor is given here, it will not be accessible in
     user code as it is not in the environment of any compiled module except
     <code>PrelPArr</code>.
</p></div></div><div class="top"><p class="src"><a name="v:parrFakeCon" class="def">parrFakeCon</a> :: <a href="BasicTypes.html#t:Arity">Arity</a> -&gt; <a href="DataCon.html#t:DataCon">DataCon</a></p><div class="doc"><p>Fake array constructors
</p><ul><li> These constructors are never really used to represent array values;
   however, they are very convenient during desugaring (and, in particular,
   in the pattern matching compiler) to treat array pattern just like
   yet another constructor pattern
</li></ul></div></div><div class="top"><p class="src"><a name="v:isPArrTyCon" class="def">isPArrTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p><div class="doc"><p>Check whether a type constructor is the constructor for parallel arrays
</p></div></div><div class="top"><p class="src"><a name="v:isPArrFakeCon" class="def">isPArrFakeCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a> -&gt; <a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a></p><div class="doc"><p>Checks whether a data constructor is a fake constructor for parallel arrays
</p></div></div><div class="top"><p class="src"><a name="v:parrTyCon_RDR" class="def">parrTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:parrTyConName" class="def">parrTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><h1 id="g:13">Equality predicates
</h1><div class="top"><p class="src"><a name="v:eqTyCon_RDR" class="def">eqTyCon_RDR</a> :: <a href="RdrName.html#t:RdrName">RdrName</a></p></div><div class="top"><p class="src"><a name="v:eqTyCon" class="def">eqTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:eqTyConName" class="def">eqTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:eqBoxDataCon" class="def">eqBoxDataCon</a> :: <a href="DataCon.html#t:DataCon">DataCon</a></p></div><h1 id="g:14">Implicit parameter predicates
</h1><div class="top"><p class="src"><a name="v:mkIPName" class="def">mkIPName</a> :: <a href="FastString.html#t:FastString">FastString</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional