Sophie: ghc-7.4.2-4.mga5 i586

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>TyCon</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">TyCon</p></div><div id="interface"><h1>Main TyCon data types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:TyCon" target="main">TyCon</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="TyCon.html#t:FieldLabel" target="main">FieldLabel</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:AlgTyConRhs" target="main">AlgTyConRhs</a> </p></div><div class="top"><p class="src"><a href="TyCon.html#v:visibleDataCons" target="main">visibleDataCons</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:TyConParent" target="main">TyConParent</a> </p></div><div class="top"><p class="src"><a href="TyCon.html#v:isNoParent" target="main">isNoParent</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:SynTyConRhs" target="main">SynTyConRhs</a> </p></div><h2>Coercion axiom constructors
</h2><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:CoAxiom" target="main">CoAxiom</a> </p></div><div class="top"><p class="src"><a href="TyCon.html#v:coAxiomName" target="main">coAxiomName</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:coAxiomArity" target="main">coAxiomArity</a></p></div><h2>Constructing TyCons
</h2><div class="top"><p class="src"><a href="TyCon.html#v:mkAlgTyCon" target="main">mkAlgTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkClassTyCon" target="main">mkClassTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkIParamTyCon" target="main">mkIParamTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkFunTyCon" target="main">mkFunTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkPrimTyCon" target="main">mkPrimTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkKindTyCon" target="main">mkKindTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkLiftedPrimTyCon" target="main">mkLiftedPrimTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkTupleTyCon" target="main">mkTupleTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkSynTyCon" target="main">mkSynTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkSuperKindTyCon" target="main">mkSuperKindTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkForeignTyCon" target="main">mkForeignTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkPromotedDataTyCon" target="main">mkPromotedDataTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:mkPromotedTypeTyCon" target="main">mkPromotedTypeTyCon</a></p></div><h2>Predicates on TyCons
</h2><div class="top"><p class="src"><a href="TyCon.html#v:isAlgTyCon" target="main">isAlgTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isClassTyCon" target="main">isClassTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isFamInstTyCon" target="main">isFamInstTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isFunTyCon" target="main">isFunTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isPrimTyCon" target="main">isPrimTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isTupleTyCon" target="main">isTupleTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isUnboxedTupleTyCon" target="main">isUnboxedTupleTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isBoxedTupleTyCon" target="main">isBoxedTupleTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isSynTyCon" target="main">isSynTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isClosedSynTyCon" target="main">isClosedSynTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isSuperKindTyCon" target="main">isSuperKindTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isDecomposableTyCon" target="main">isDecomposableTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isForeignTyCon" target="main">isForeignTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConHasKind" target="main">tyConHasKind</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isPromotedDataTyCon" target="main">isPromotedDataTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isPromotedTypeTyCon" target="main">isPromotedTypeTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isInjectiveTyCon" target="main">isInjectiveTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isDataTyCon" target="main">isDataTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isProductTyCon" target="main">isProductTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isEnumerationTyCon" target="main">isEnumerationTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isNewTyCon" target="main">isNewTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isAbstractTyCon" target="main">isAbstractTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isFamilyTyCon" target="main">isFamilyTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isSynFamilyTyCon" target="main">isSynFamilyTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isDataFamilyTyCon" target="main">isDataFamilyTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isUnLiftedTyCon" target="main">isUnLiftedTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isGadtSyntaxTyCon" target="main">isGadtSyntaxTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isDistinctTyCon" target="main">isDistinctTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isDistinctAlgRhs" target="main">isDistinctAlgRhs</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isTyConAssoc" target="main">isTyConAssoc</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConAssoc_maybe" target="main">tyConAssoc_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isRecursiveTyCon" target="main">isRecursiveTyCon</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:isImplicitTyCon" target="main">isImplicitTyCon</a></p></div><h2>Extracting information out of TyCons
</h2><div class="top"><p class="src"><a href="TyCon.html#v:tyConName" target="main">tyConName</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConKind" target="main">tyConKind</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConUnique" target="main">tyConUnique</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConTyVars" target="main">tyConTyVars</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConDataCons" target="main">tyConDataCons</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConDataCons_maybe" target="main">tyConDataCons_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConSingleDataCon_maybe" target="main">tyConSingleDataCon_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConFamilySize" target="main">tyConFamilySize</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConStupidTheta" target="main">tyConStupidTheta</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConArity" target="main">tyConArity</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConParent" target="main">tyConParent</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConTuple_maybe" target="main">tyConTuple_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConClass_maybe" target="main">tyConClass_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConIP_maybe" target="main">tyConIP_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConFamInst_maybe" target="main">tyConFamInst_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConFamilyCoercion_maybe" target="main">tyConFamilyCoercion_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConFamInstSig_maybe" target="main">tyConFamInstSig_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:synTyConDefn" target="main">synTyConDefn</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:synTyConRhs" target="main">synTyConRhs</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:synTyConType" target="main">synTyConType</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConExtName" target="main">tyConExtName</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:algTyConRhs" target="main">algTyConRhs</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:newTyConRhs" target="main">newTyConRhs</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:newTyConEtadRhs" target="main">newTyConEtadRhs</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:unwrapNewTyCon_maybe" target="main">unwrapNewTyCon_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tupleTyConBoxity" target="main">tupleTyConBoxity</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tupleTyConSort" target="main">tupleTyConSort</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:tupleTyConArity" target="main">tupleTyConArity</a></p></div><h2>Manipulating TyCons
</h2><div class="top"><p class="src"><a href="TyCon.html#v:tcExpandTyCon_maybe" target="main">tcExpandTyCon_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:coreExpandTyCon_maybe" target="main">coreExpandTyCon_maybe</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:makeTyConAbstract" target="main">makeTyConAbstract</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:newTyConCo" target="main">newTyConCo</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:newTyConCo_maybe" target="main">newTyConCo_maybe</a></p></div><h1>Primitive representations of Types
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="TyCon.html#t:PrimRep" target="main">PrimRep</a> </p></div><div class="top"><p class="src"><a href="TyCon.html#v:tyConPrimRep" target="main">tyConPrimRep</a></p></div><div class="top"><p class="src"><a href="TyCon.html#v:primRepSizeW" target="main">primRepSizeW</a></p></div></div></body></html>