Sophie

Sophie

distrib > Mageia > 5 > i586 > media > core-release > by-pkgid > 6e204a966e8c42d976f99a1700ce5f20 > files > 3128

ghc-7.4.2-4.mga5.i586.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>TysPrim</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_TysPrim.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">TysPrim</p></div><div id="table-of-contents"><p class="caption">Contents</p><ul><li><a href="#g:1">Any
</a></li></ul></div><div id="description"><p class="caption">Description</p><div class="doc"><p>This module defines TyCons that can't be expressed in Haskell. 
   They are all, therefore, wired-in TyCons.  C.f module TysWiredIn
</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:mkPrimTyConName">mkPrimTyConName</a> :: <a href="FastString.html#t:FastString">FastString</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="TyCon.html#t:TyCon">TyCon</a> -&gt; <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:tyVarList">tyVarList</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; [<a href="Var.html#t:TyVar">TyVar</a>]</li><li class="src short"><a href="#v:alphaTyVars">alphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</li><li class="src short"><a href="#v:betaTyVars">betaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</li><li class="src short"><a href="#v:alphaTyVar">alphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:betaTyVar">betaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:gammaTyVar">gammaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:deltaTyVar">deltaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:alphaTy">alphaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:betaTy">betaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:gammaTy">gammaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:deltaTy">deltaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:openAlphaTy">openAlphaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:openBetaTy">openBetaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:openAlphaTyVar">openAlphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:openBetaTyVar">openBetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:openAlphaTyVars">openAlphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</li><li class="src short"><a href="#v:argAlphaTy">argAlphaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:argAlphaTyVar">argAlphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:argAlphaTyVars">argAlphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</li><li class="src short"><a href="#v:argBetaTy">argBetaTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:argBetaTyVar">argBetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:kKiVar">kKiVar</a> :: <a href="Var.html#t:KindVar">KindVar</a></li><li class="src short"><a href="#v:tySuperKindTyCon">tySuperKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:tySuperKind">tySuperKind</a> :: SuperKind</li><li class="src short"><a href="#v:anyKindTyCon">anyKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:liftedTypeKindTyCon">liftedTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:openTypeKindTyCon">openTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:unliftedTypeKindTyCon">unliftedTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:argTypeKindTyCon">argTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:ubxTupleKindTyCon">ubxTupleKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:constraintKindTyCon">constraintKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:tySuperKindTyConName">tySuperKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:anyKindTyConName">anyKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:liftedTypeKindTyConName">liftedTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:openTypeKindTyConName">openTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:unliftedTypeKindTyConName">unliftedTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:ubxTupleKindTyConName">ubxTupleKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:argTypeKindTyConName">argTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:constraintKindTyConName">constraintKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:anyKind">anyKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:liftedTypeKind">liftedTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:unliftedTypeKind">unliftedTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:openTypeKind">openTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:argTypeKind">argTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:ubxTupleKind">ubxTupleKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:constraintKind">constraintKind</a> :: <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:mkArrowKind">mkArrowKind</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:mkArrowKinds">mkArrowKinds</a> :: [<a href="Kind.html#t:Kind">Kind</a>] -&gt; <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a></li><li class="src short"><a href="#v:funTyCon">funTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:funTyConName">funTyConName</a> :: <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:primTyCons">primTyCons</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</li><li class="src short"><a href="#v:charPrimTyCon">charPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:charPrimTy">charPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:intPrimTyCon">intPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:intPrimTy">intPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:wordPrimTyCon">wordPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:wordPrimTy">wordPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:addrPrimTyCon">addrPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:addrPrimTy">addrPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:floatPrimTyCon">floatPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:floatPrimTy">floatPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:doublePrimTyCon">doublePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:doublePrimTy">doublePrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:statePrimTyCon">statePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkStatePrimTy">mkStatePrimTy</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:realWorldTyCon">realWorldTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:realWorldTy">realWorldTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:realWorldStatePrimTy">realWorldStatePrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:arrayPrimTyCon">arrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkArrayPrimTy">mkArrayPrimTy</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:byteArrayPrimTyCon">byteArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:byteArrayPrimTy">byteArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:arrayArrayPrimTyCon">arrayArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkArrayArrayPrimTy">mkArrayArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:mutableArrayPrimTyCon">mutableArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkMutableArrayPrimTy">mkMutableArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</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:mutableByteArrayPrimTyCon">mutableByteArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkMutableByteArrayPrimTy">mkMutableByteArrayPrimTy</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:mutableArrayArrayPrimTyCon">mutableArrayArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkMutableArrayArrayPrimTy">mkMutableArrayArrayPrimTy</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:mutVarPrimTyCon">mutVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkMutVarPrimTy">mkMutVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:mVarPrimTyCon">mVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkMVarPrimTy">mkMVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:tVarPrimTyCon">tVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkTVarPrimTy">mkTVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:stablePtrPrimTyCon">stablePtrPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkStablePtrPrimTy">mkStablePtrPrimTy</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:stableNamePrimTyCon">stableNamePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkStableNamePrimTy">mkStableNamePrimTy</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:bcoPrimTyCon">bcoPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:bcoPrimTy">bcoPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:weakPrimTyCon">weakPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:mkWeakPrimTy">mkWeakPrimTy</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:threadIdPrimTyCon">threadIdPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:threadIdPrimTy">threadIdPrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:int32PrimTyCon">int32PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:int32PrimTy">int32PrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:word32PrimTyCon">word32PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:word32PrimTy">word32PrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:int64PrimTyCon">int64PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:int64PrimTy">int64PrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:word64PrimTyCon">word64PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:word64PrimTy">word64PrimTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:eqPrimTyCon">eqPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:anyTy">anyTy</a> :: <a href="Type.html#t:Type">Type</a></li><li class="src short"><a href="#v:anyTyCon">anyTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></li><li class="src short"><a href="#v:anyTypeOfKind">anyTypeOfKind</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Type.html#t:Type">Type</a></li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:mkPrimTyConName" class="def">mkPrimTyConName</a> :: <a href="FastString.html#t:FastString">FastString</a> -&gt; <a href="Unique.html#t:Unique">Unique</a> -&gt; <a href="TyCon.html#t:TyCon">TyCon</a> -&gt; <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:tyVarList" class="def">tyVarList</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:alphaTyVars" class="def">alphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:betaTyVars" class="def">betaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:alphaTyVar" class="def">alphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:betaTyVar" class="def">betaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:gammaTyVar" class="def">gammaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:deltaTyVar" class="def">deltaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:alphaTy" class="def">alphaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:betaTy" class="def">betaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:gammaTy" class="def">gammaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:deltaTy" class="def">deltaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:openAlphaTy" class="def">openAlphaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:openBetaTy" class="def">openBetaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:openAlphaTyVar" class="def">openAlphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:openBetaTyVar" class="def">openBetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:openAlphaTyVars" class="def">openAlphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:argAlphaTy" class="def">argAlphaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:argAlphaTyVar" class="def">argAlphaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:argAlphaTyVars" class="def">argAlphaTyVars</a> :: [<a href="Var.html#t:TyVar">TyVar</a>]</p></div><div class="top"><p class="src"><a name="v:argBetaTy" class="def">argBetaTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:argBetaTyVar" class="def">argBetaTyVar</a> :: <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:kKiVar" class="def">kKiVar</a> :: <a href="Var.html#t:KindVar">KindVar</a></p></div><div class="top"><p class="src"><a name="v:tySuperKindTyCon" class="def">tySuperKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:tySuperKind" class="def">tySuperKind</a> :: SuperKind</p></div><div class="top"><p class="src"><a name="v:anyKindTyCon" class="def">anyKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:liftedTypeKindTyCon" class="def">liftedTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:openTypeKindTyCon" class="def">openTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:unliftedTypeKindTyCon" class="def">unliftedTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:argTypeKindTyCon" class="def">argTypeKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:ubxTupleKindTyCon" class="def">ubxTupleKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:constraintKindTyCon" class="def">constraintKindTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between the <code><a href="Kind.html#t:Kind">Kind</a></code> <code><a href="TyCon.html#t:TyCon">TyCon</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:tySuperKindTyConName" class="def">tySuperKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:anyKindTyConName" class="def">anyKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:liftedTypeKindTyConName" class="def">liftedTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:openTypeKindTyConName" class="def">openTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:unliftedTypeKindTyConName" class="def">unliftedTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:ubxTupleKindTyConName" class="def">ubxTupleKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:argTypeKindTyConName" class="def">argTypeKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:constraintKindTyConName" class="def">constraintKindTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:anyKind" class="def">anyKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:liftedTypeKind" class="def">liftedTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:unliftedTypeKind" class="def">unliftedTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:openTypeKind" class="def">openTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:argTypeKind" class="def">argTypeKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:ubxTupleKind" class="def">ubxTupleKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:constraintKind" class="def">constraintKind</a> :: <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>See <a href="Type.html#kind_subtyping">Type</a> for details of the distinction between these <code><a href="Kind.html#t:Kind">Kind</a></code>s
</p></div></div><div class="top"><p class="src"><a name="v:mkArrowKind" class="def">mkArrowKind</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>Given two kinds <code>k1</code> and <code>k2</code>, creates the <code><a href="Kind.html#t:Kind">Kind</a></code> <code>k1 -&gt; k2</code>
</p></div></div><div class="top"><p class="src"><a name="v:mkArrowKinds" class="def">mkArrowKinds</a> :: [<a href="Kind.html#t:Kind">Kind</a>] -&gt; <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Kind.html#t:Kind">Kind</a></p><div class="doc"><p>Iterated application of <code><a href="TysPrim.html#v:mkArrowKind">mkArrowKind</a></code>
</p></div></div><div class="top"><p class="src"><a name="v:funTyCon" class="def">funTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:funTyConName" class="def">funTyConName</a> :: <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:primTyCons" class="def">primTyCons</a> :: [<a href="TyCon.html#t:TyCon">TyCon</a>]</p></div><div class="top"><p class="src"><a name="v:charPrimTyCon" class="def">charPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:charPrimTy" class="def">charPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:intPrimTyCon" class="def">intPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:intPrimTy" class="def">intPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:wordPrimTyCon" class="def">wordPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:wordPrimTy" class="def">wordPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:addrPrimTyCon" class="def">addrPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:addrPrimTy" class="def">addrPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:floatPrimTyCon" class="def">floatPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:floatPrimTy" class="def">floatPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:doublePrimTyCon" class="def">doublePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:doublePrimTy" class="def">doublePrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:statePrimTyCon" class="def">statePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkStatePrimTy" class="def">mkStatePrimTy</a> :: <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:realWorldTyCon" class="def">realWorldTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:realWorldTy" class="def">realWorldTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:realWorldStatePrimTy" class="def">realWorldStatePrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:arrayPrimTyCon" class="def">arrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkArrayPrimTy" class="def">mkArrayPrimTy</a> :: <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:byteArrayPrimTyCon" class="def">byteArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:byteArrayPrimTy" class="def">byteArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:arrayArrayPrimTyCon" class="def">arrayArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkArrayArrayPrimTy" class="def">mkArrayArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:mutableArrayPrimTyCon" class="def">mutableArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkMutableArrayPrimTy" class="def">mkMutableArrayPrimTy</a> :: <a href="Type.html#t:Type">Type</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:mutableByteArrayPrimTyCon" class="def">mutableByteArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkMutableByteArrayPrimTy" class="def">mkMutableByteArrayPrimTy</a> :: <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:mutableArrayArrayPrimTyCon" class="def">mutableArrayArrayPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkMutableArrayArrayPrimTy" class="def">mkMutableArrayArrayPrimTy</a> :: <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:mutVarPrimTyCon" class="def">mutVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkMutVarPrimTy" class="def">mkMutVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:mVarPrimTyCon" class="def">mVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkMVarPrimTy" class="def">mkMVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:tVarPrimTyCon" class="def">tVarPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkTVarPrimTy" class="def">mkTVarPrimTy</a> :: <a href="Type.html#t:Type">Type</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:stablePtrPrimTyCon" class="def">stablePtrPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkStablePtrPrimTy" class="def">mkStablePtrPrimTy</a> :: <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:stableNamePrimTyCon" class="def">stableNamePrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkStableNamePrimTy" class="def">mkStableNamePrimTy</a> :: <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:bcoPrimTyCon" class="def">bcoPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:bcoPrimTy" class="def">bcoPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:weakPrimTyCon" class="def">weakPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:mkWeakPrimTy" class="def">mkWeakPrimTy</a> :: <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:threadIdPrimTyCon" class="def">threadIdPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:threadIdPrimTy" class="def">threadIdPrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:int32PrimTyCon" class="def">int32PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:int32PrimTy" class="def">int32PrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:word32PrimTyCon" class="def">word32PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:word32PrimTy" class="def">word32PrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:int64PrimTyCon" class="def">int64PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:int64PrimTy" class="def">int64PrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:word64PrimTyCon" class="def">word64PrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:word64PrimTy" class="def">word64PrimTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:eqPrimTyCon" class="def">eqPrimTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><h1 id="g:1">Any
</h1><div class="top"><p class="src"><a name="v:anyTy" class="def">anyTy</a> :: <a href="Type.html#t:Type">Type</a></p></div><div class="top"><p class="src"><a name="v:anyTyCon" class="def">anyTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a></p></div><div class="top"><p class="src"><a name="v:anyTypeOfKind" class="def">anyTypeOfKind</a> :: <a href="Kind.html#t:Kind">Kind</a> -&gt; <a href="Type.html#t:Type">Type</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