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>Kind</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">Kind</p></div><div id="interface"><h1>Main data type
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Kind.html#t:Kind" target="main">Kind</a> </p></div><div class="top"><p class="src"><a href="Kind.html#v:typeKind" target="main">typeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:anyKind" target="main">anyKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:liftedTypeKind" target="main">liftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:unliftedTypeKind" target="main">unliftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:openTypeKind" target="main">openTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:argTypeKind" target="main">argTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:ubxTupleKind" target="main">ubxTupleKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:constraintKind" target="main">constraintKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:mkArrowKind" target="main">mkArrowKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:mkArrowKinds" target="main">mkArrowKinds</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:anyKindTyCon" target="main">anyKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:liftedTypeKindTyCon" target="main">liftedTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:openTypeKindTyCon" target="main">openTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:unliftedTypeKindTyCon" target="main">unliftedTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:argTypeKindTyCon" target="main">argTypeKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:ubxTupleKindTyCon" target="main">ubxTupleKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:constraintKindTyCon" target="main">constraintKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tySuperKind" target="main">tySuperKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tySuperKindTyCon" target="main">tySuperKindTyCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:pprKind" target="main">pprKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:pprParendKind" target="main">pprParendKind</a></p></div><h2>Deconstructing Kinds
</h2><div class="top"><p class="src"><a href="Kind.html#v:kindFunResult" target="main">kindFunResult</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:kindAppResult" target="main">kindAppResult</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:synTyConResKind" target="main">synTyConResKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:splitKindFunTys" target="main">splitKindFunTys</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:splitKindFunTysN" target="main">splitKindFunTysN</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:splitKindFunTy_maybe" target="main">splitKindFunTy_maybe</a></p></div><h2>Predicates on Kinds
</h2><div class="top"><p class="src"><a href="Kind.html#v:isLiftedTypeKind" target="main">isLiftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isUnliftedTypeKind" target="main">isUnliftedTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isOpenTypeKind" target="main">isOpenTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isUbxTupleKind" target="main">isUbxTupleKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isArgTypeKind" target="main">isArgTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isConstraintKind" target="main">isConstraintKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isConstraintOrLiftedKind" target="main">isConstraintOrLiftedKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isKind" target="main">isKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSuperKind" target="main">isSuperKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:noHashInKind" target="main">noHashInKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isLiftedTypeKindCon" target="main">isLiftedTypeKindCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isConstraintKindCon" target="main">isConstraintKindCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isAnyKind" target="main">isAnyKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isAnyKindCon" target="main">isAnyKindCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSubArgTypeKind" target="main">isSubArgTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tcIsSubArgTypeKind" target="main">tcIsSubArgTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSubOpenTypeKind" target="main">isSubOpenTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tcIsSubOpenTypeKind" target="main">tcIsSubOpenTypeKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSubKind" target="main">isSubKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tcIsSubKind" target="main">tcIsSubKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:defaultKind" target="main">defaultKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSubKindCon" target="main">isSubKindCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:tcIsSubKindCon" target="main">tcIsSubKindCon</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isSubOpenTypeKindCon" target="main">isSubOpenTypeKindCon</a></p></div><h2>Functions on variables
</h2><div class="top"><p class="src"><a href="Kind.html#v:isKiVar" target="main">isKiVar</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:splitKiTyVars" target="main">splitKiTyVars</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:partitionKiTyVars" target="main">partitionKiTyVars</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:kiVarsOfKind" target="main">kiVarsOfKind</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:kiVarsOfKinds" target="main">kiVarsOfKinds</a></p></div><h2>Promotion related functions
</h2><div class="top"><p class="src"><a href="Kind.html#v:promoteType" target="main">promoteType</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isPromotableType" target="main">isPromotableType</a></p></div><div class="top"><p class="src"><a href="Kind.html#v:isPromotableKind" target="main">isPromotableKind</a></p></div></div></body></html>