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>Coercion</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">Coercion</p></div><div id="interface"><h1>Main data type
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Coercion.html#t:Coercion" target="main">Coercion</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Coercion.html#t:Var" target="main">Var</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Coercion.html#t:CoVar" target="main">CoVar</a> </p></div><h2>Functions over coercions
</h2><div class="top"><p class="src"><a href="Coercion.html#v:coVarKind" target="main">coVarKind</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coercionType" target="main">coercionType</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coercionKind" target="main">coercionKind</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coercionKinds" target="main">coercionKinds</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:isReflCo" target="main">isReflCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:isReflCo_maybe" target="main">isReflCo_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkCoercionType" target="main">mkCoercionType</a></p></div><h2>Constructing coercions
</h2><div class="top"><p class="src"><a href="Coercion.html#v:mkReflCo" target="main">mkReflCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkCoVarCo" target="main">mkCoVarCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkAxInstCo" target="main">mkAxInstCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkPiCo" target="main">mkPiCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkPiCos" target="main">mkPiCos</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkSymCo" target="main">mkSymCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkTransCo" target="main">mkTransCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkNthCo" target="main">mkNthCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkInstCo" target="main">mkInstCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkAppCo" target="main">mkAppCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkTyConAppCo" target="main">mkTyConAppCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkFunCo" target="main">mkFunCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkForAllCo" target="main">mkForAllCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkUnsafeCo" target="main">mkUnsafeCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkNewTypeCo" target="main">mkNewTypeCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkFamInstCo" target="main">mkFamInstCo</a></p></div><h2>Decomposition
</h2><div class="top"><p class="src"><a href="Coercion.html#v:splitNewTypeRepCo_maybe" target="main">splitNewTypeRepCo_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:instNewTyCon_maybe" target="main">instNewTyCon_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:decomposeCo" target="main">decomposeCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:getCoVar_maybe" target="main">getCoVar_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:splitTyConAppCo_maybe" target="main">splitTyConAppCo_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:splitAppCo_maybe" target="main">splitAppCo_maybe</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:splitForAllCo_maybe" target="main">splitForAllCo_maybe</a></p></div><h2>Coercion variables
</h2><div class="top"><p class="src"><a href="Coercion.html#v:mkCoVar" target="main">mkCoVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:isCoVar" target="main">isCoVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:isCoVarType" target="main">isCoVarType</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coVarName" target="main">coVarName</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:setCoVarName" target="main">setCoVarName</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:setCoVarUnique" target="main">setCoVarUnique</a></p></div><h2>Free variables
</h2><div class="top"><p class="src"><a href="Coercion.html#v:tyCoVarsOfCo" target="main">tyCoVarsOfCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:tyCoVarsOfCos" target="main">tyCoVarsOfCos</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coVarsOfCo" target="main">coVarsOfCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coercionSize" target="main">coercionSize</a></p></div><h2>Substitution
</h2><div class="top"><p class="src"><span class="keyword">type</span> <a href="Coercion.html#t:CvSubstEnv" target="main">CvSubstEnv</a> </p></div><div class="top"><p class="src"><a href="Coercion.html#v:emptyCvSubstEnv" target="main">emptyCvSubstEnv</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Coercion.html#t:CvSubst" target="main">CvSubst</a> </p></div><div class="top"><p class="src"><a href="Coercion.html#v:emptyCvSubst" target="main">emptyCvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:lookupTyVar" target="main">lookupTyVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:lookupCoVar" target="main">lookupCoVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:isEmptyCvSubst" target="main">isEmptyCvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:zapCvSubstEnv" target="main">zapCvSubstEnv</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:getCvInScope" target="main">getCvInScope</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCo" target="main">substCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCos" target="main">substCos</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCoVar" target="main">substCoVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCoVars" target="main">substCoVars</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCoWithTy" target="main">substCoWithTy</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCoWithTys" target="main">substCoWithTys</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:cvTvSubst" target="main">cvTvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:tvCvSubst" target="main">tvCvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:mkCvSubst" target="main">mkCvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:zipOpenCvSubst" target="main">zipOpenCvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substTy" target="main">substTy</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:extendTvSubst" target="main">extendTvSubst</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:extendCvSubstAndInScope" target="main">extendCvSubstAndInScope</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substTyVarBndr" target="main">substTyVarBndr</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:substCoVarBndr" target="main">substCoVarBndr</a></p></div><h2>Lifting
</h2><div class="top"><p class="src"><a href="Coercion.html#v:liftCoMatch" target="main">liftCoMatch</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:liftCoSubstTyVar" target="main">liftCoSubstTyVar</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:liftCoSubstWith" target="main">liftCoSubstWith</a></p></div><h2>Comparison
</h2><div class="top"><p class="src"><a href="Coercion.html#v:coreEqCoercion" target="main">coreEqCoercion</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:coreEqCoercion2" target="main">coreEqCoercion2</a></p></div><h2>Forcing evaluation of coercions
</h2><div class="top"><p class="src"><a href="Coercion.html#v:seqCo" target="main">seqCo</a></p></div><h1>Pretty-printing
</h1><div class="top"><p class="src"><a href="Coercion.html#v:pprCo" target="main">pprCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:pprParendCo" target="main">pprParendCo</a></p></div><div class="top"><p class="src"><a href="Coercion.html#v:pprCoAxiom" target="main">pprCoAxiom</a></p></div><h1>Other
</h1><div class="top"><p class="src"><a href="Coercion.html#v:applyCo" target="main">applyCo</a></p></div></div></body></html>