<!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>Type</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 id="mini"><div id="module-header"><p class="caption">Type</p></div><div id="interface"><h1>Main data types representing Types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:TyThing" target="main">TyThing</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:Type" target="main">Type</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:KindOrType" target="main">KindOrType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:PredType" target="main">PredType</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:ThetaType" target="main">ThetaType</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:Var" target="main">Var</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:TyVar" target="main">TyVar</a> </p></div><div class="top"><p class="src"><a href="Type.html#v:isTyVar" target="main">isTyVar</a></p></div><h2>Constructing and deconstructing types
</h2><div class="top"><p class="src"><a href="Type.html#v:mkTyVarTy" target="main">mkTyVarTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkTyVarTys" target="main">mkTyVarTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getTyVar" target="main">getTyVar</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getTyVar_maybe" target="main">getTyVar_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkAppTy" target="main">mkAppTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkAppTys" target="main">mkAppTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitAppTy" target="main">splitAppTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitAppTys" target="main">splitAppTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitAppTy_maybe" target="main">splitAppTy_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:repSplitAppTy_maybe" target="main">repSplitAppTy_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkFunTy" target="main">mkFunTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkFunTys" target="main">mkFunTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitFunTy" target="main">splitFunTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitFunTy_maybe" target="main">splitFunTy_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitFunTys" target="main">splitFunTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitFunTysN" target="main">splitFunTysN</a></p></div><div class="top"><p class="src"><a href="Type.html#v:funResultTy" target="main">funResultTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:funArgTy" target="main">funArgTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:zipFunTys" target="main">zipFunTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkTyConApp" target="main">mkTyConApp</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkTyConTy" target="main">mkTyConTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyConAppTyCon_maybe" target="main">tyConAppTyCon_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyConAppArgs_maybe" target="main">tyConAppArgs_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyConAppTyCon" target="main">tyConAppTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyConAppArgs" target="main">tyConAppArgs</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitTyConApp_maybe" target="main">splitTyConApp_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitTyConApp" target="main">splitTyConApp</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyConAppArgN" target="main">tyConAppArgN</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkForAllTy" target="main">mkForAllTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkForAllTys" target="main">mkForAllTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitForAllTy_maybe" target="main">splitForAllTy_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:splitForAllTys" target="main">splitForAllTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkPiKinds" target="main">mkPiKinds</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkPiType" target="main">mkPiType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkPiTypes" target="main">mkPiTypes</a></p></div><div class="top"><p class="src"><a href="Type.html#v:applyTy" target="main">applyTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:applyTys" target="main">applyTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:applyTysD" target="main">applyTysD</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isForAllTy" target="main">isForAllTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:dropForAlls" target="main">dropForAlls</a></p></div><div class="top"><p class="src"><a href="Type.html#v:newTyConInstRhs" target="main">newTyConInstRhs</a></p></div><div class="top"><p class="src"><a href="Type.html#v:carefullySplitNewType_maybe" target="main">carefullySplitNewType_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkFamilyTyConApp" target="main">mkFamilyTyConApp</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isDictLikeTy" target="main">isDictLikeTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkEqPred" target="main">mkEqPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkClassPred" target="main">mkClassPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkIPPred" target="main">mkIPPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:noParenPred" target="main">noParenPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isClassPred" target="main">isClassPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isEqPred" target="main">isEqPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isIPPred" target="main">isIPPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkPrimEqType" target="main">mkPrimEqType</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:PredTree" target="main">PredTree</a> </p></div><div class="top"><p class="src"><a href="Type.html#v:predTreePredType" target="main">predTreePredType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:classifyPredType" target="main">classifyPredType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getClassPredTys" target="main">getClassPredTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getClassPredTys_maybe" target="main">getClassPredTys_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getEqPredTys" target="main">getEqPredTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getEqPredTys_maybe" target="main">getEqPredTys_maybe</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getIPPredTy_maybe" target="main">getIPPredTy_maybe</a></p></div><h2>Common type constructors
</h2><div class="top"><p class="src"><a href="Type.html#v:funTyCon" target="main">funTyCon</a></p></div><h2>Predicates on types
</h2><div class="top"><p class="src"><a href="Type.html#v:isTyVarTy" target="main">isTyVarTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isFunTy" target="main">isFunTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isDictTy" target="main">isDictTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isPredTy" target="main">isPredTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isKindTy" target="main">isKindTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isUnLiftedType" target="main">isUnLiftedType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isUnboxedTupleType" target="main">isUnboxedTupleType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isAlgType" target="main">isAlgType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isClosedAlgType" target="main">isClosedAlgType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isPrimitiveType" target="main">isPrimitiveType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isStrictType" target="main">isStrictType</a></p></div><h1>Main data types representing Kinds
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:Kind" target="main">Kind</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:SimpleKind" target="main">SimpleKind</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:MetaKindVar" target="main">MetaKindVar</a> </p></div><h2>Finding the kind of a type
</h2><div class="top"><p class="src"><a href="Type.html#v:typeKind" target="main">typeKind</a></p></div><h2>Common Kinds and SuperKinds
</h2><div class="top"><p class="src"><a href="Type.html#v:anyKind" target="main">anyKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:liftedTypeKind" target="main">liftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:unliftedTypeKind" target="main">unliftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:openTypeKind" target="main">openTypeKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:argTypeKind" target="main">argTypeKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:ubxTupleKind" target="main">ubxTupleKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:constraintKind" target="main">constraintKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tySuperKind" target="main">tySuperKind</a></p></div><h2>Common Kind type constructors
</h2><div class="top"><p class="src"><a href="Type.html#v:liftedTypeKindTyCon" target="main">liftedTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:openTypeKindTyCon" target="main">openTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:unliftedTypeKindTyCon" target="main">unliftedTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:argTypeKindTyCon" target="main">argTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:ubxTupleKindTyCon" target="main">ubxTupleKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:constraintKindTyCon" target="main">constraintKindTyCon</a></p></div><div class="top"><p class="src"><a href="Type.html#v:anyKindTyCon" target="main">anyKindTyCon</a></p></div><h1>Type free variables
</h1><div class="top"><p class="src"><a href="Type.html#v:tyVarsOfType" target="main">tyVarsOfType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tyVarsOfTypes" target="main">tyVarsOfTypes</a></p></div><div class="top"><p class="src"><a href="Type.html#v:expandTypeSynonyms" target="main">expandTypeSynonyms</a></p></div><div class="top"><p class="src"><a href="Type.html#v:typeSize" target="main">typeSize</a></p></div><div class="top"><p class="src"><a href="Type.html#v:varSetElemsKvsFirst" target="main">varSetElemsKvsFirst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:sortQuantVars" target="main">sortQuantVars</a></p></div><h1>Type comparison
</h1><div class="top"><p class="src"><a href="Type.html#v:eqType" target="main">eqType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:eqTypeX" target="main">eqTypeX</a></p></div><div class="top"><p class="src"><a href="Type.html#v:eqTypes" target="main">eqTypes</a></p></div><div class="top"><p class="src"><a href="Type.html#v:cmpType" target="main">cmpType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:cmpTypes" target="main">cmpTypes</a></p></div><div class="top"><p class="src"><a href="Type.html#v:eqPred" target="main">eqPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:eqPredX" target="main">eqPredX</a></p></div><div class="top"><p class="src"><a href="Type.html#v:cmpPred" target="main">cmpPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:eqKind" target="main">eqKind</a></p></div><h1>Forcing evaluation of types
</h1><div class="top"><p class="src"><a href="Type.html#v:seqType" target="main">seqType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:seqTypes" target="main">seqTypes</a></p></div><h1>Other views onto Types
</h1><div class="top"><p class="src"><a href="Type.html#v:coreView" target="main">coreView</a></p></div><div class="top"><p class="src"><a href="Type.html#v:tcView" target="main">tcView</a></p></div><div class="top"><p class="src"><a href="Type.html#v:repType" target="main">repType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:deepRepType" target="main">deepRepType</a></p></div><h1>Type representation for the code generator
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:PrimRep" target="main">PrimRep</a> </p></div><div class="top"><p class="src"><a href="Type.html#v:typePrimRep" target="main">typePrimRep</a></p></div><h1>Main type substitution data types
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Type.html#t:TvSubstEnv" target="main">TvSubstEnv</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Type.html#t:TvSubst" target="main">TvSubst</a> </p></div><h2>Manipulating type substitutions
</h2><div class="top"><p class="src"><a href="Type.html#v:emptyTvSubstEnv" target="main">emptyTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="Type.html#v:emptyTvSubst" target="main">emptyTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkTvSubst" target="main">mkTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkOpenTvSubst" target="main">mkOpenTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:zipOpenTvSubst" target="main">zipOpenTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:zipTopTvSubst" target="main">zipTopTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:mkTopTvSubst" target="main">mkTopTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:notElemTvSubst" target="main">notElemTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getTvSubstEnv" target="main">getTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="Type.html#v:setTvSubstEnv" target="main">setTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="Type.html#v:zapTvSubstEnv" target="main">zapTvSubstEnv</a></p></div><div class="top"><p class="src"><a href="Type.html#v:getTvInScope" target="main">getTvInScope</a></p></div><div class="top"><p class="src"><a href="Type.html#v:extendTvInScope" target="main">extendTvInScope</a></p></div><div class="top"><p class="src"><a href="Type.html#v:extendTvInScopeList" target="main">extendTvInScopeList</a></p></div><div class="top"><p class="src"><a href="Type.html#v:extendTvSubst" target="main">extendTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:extendTvSubstList" target="main">extendTvSubstList</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isInScope" target="main">isInScope</a></p></div><div class="top"><p class="src"><a href="Type.html#v:composeTvSubst" target="main">composeTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:zipTyEnv" target="main">zipTyEnv</a></p></div><div class="top"><p class="src"><a href="Type.html#v:isEmptyTvSubst" target="main">isEmptyTvSubst</a></p></div><div class="top"><p class="src"><a href="Type.html#v:unionTvSubst" target="main">unionTvSubst</a></p></div><h2>Performing substitution on types and kinds
</h2><div class="top"><p class="src"><a href="Type.html#v:substTy" target="main">substTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTys" target="main">substTys</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTyWith" target="main">substTyWith</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTysWith" target="main">substTysWith</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTheta" target="main">substTheta</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTyVar" target="main">substTyVar</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTyVars" target="main">substTyVars</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substTyVarBndr" target="main">substTyVarBndr</a></p></div><div class="top"><p class="src"><a href="Type.html#v:cloneTyVarBndr" target="main">cloneTyVarBndr</a></p></div><div class="top"><p class="src"><a href="Type.html#v:deShadowTy" target="main">deShadowTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:lookupTyVar" target="main">lookupTyVar</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substKiWith" target="main">substKiWith</a></p></div><div class="top"><p class="src"><a href="Type.html#v:substKisWith" target="main">substKisWith</a></p></div><h1>Pretty-printing
</h1><div class="top"><p class="src"><a href="Type.html#v:pprType" target="main">pprType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprParendType" target="main">pprParendType</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprTypeApp" target="main">pprTypeApp</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprTyThingCategory" target="main">pprTyThingCategory</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprTyThing" target="main">pprTyThing</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprForAll" target="main">pprForAll</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprEqPred" target="main">pprEqPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprTheta" target="main">pprTheta</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprThetaArrowTy" target="main">pprThetaArrowTy</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprClassPred" target="main">pprClassPred</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprKind" target="main">pprKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprParendKind" target="main">pprParendKind</a></p></div><div class="top"><p class="src"><a href="Type.html#v:pprSourceTyCon" target="main">pprSourceTyCon</a></p></div></div></body></html>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
3587
