<!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>IfaceType</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_IfaceType.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">IfaceType</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfExtName" class="def">IfExtName</a> = <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfLclName" class="def">IfLclName</a> = <a href="FastString.html#t:FastString">FastString</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfIPName" class="def">IfIPName</a> = <a href="FastString.html#t:FastString">FastString</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceType" class="def">IfaceType</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceTyVar" class="def">IfaceTyVar</a> <a href="IfaceType.html#t:IfLclName">IfLclName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceAppTy" class="def">IfaceAppTy</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceFunTy" class="def">IfaceFunTy</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceForAllTy" class="def">IfaceForAllTy</a> <a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTyConApp" class="def">IfaceTyConApp</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a> [<a href="IfaceType.html#t:IfaceType">IfaceType</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceCoConApp" class="def">IfaceCoConApp</a> <a href="IfaceType.html#t:IfaceCoCon">IfaceCoCon</a> [<a href="IfaceType.html#t:IfaceType">IfaceType</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceType" class="caption collapser" onclick="toggleSection('i:IfaceType')">Instances</p><div id="section.i:IfaceType" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceType.html#t:IfaceType">IfaceType</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfacePredType" class="def">IfacePredType</a> = <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfaceKind" class="def">IfaceKind</a> = <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceTyCon" class="def">IfaceTyCon</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceTc" class="def">IfaceTc</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceIntTc" class="def">IfaceIntTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceBoolTc" class="def">IfaceBoolTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceCharTc" class="def">IfaceCharTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceListTc" class="def">IfaceListTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfacePArrTc" class="def">IfacePArrTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTupTc" class="def">IfaceTupTc</a> <a href="BasicTypes.html#t:TupleSort">TupleSort</a> <a href="BasicTypes.html#t:Arity">Arity</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceIPTc" class="def">IfaceIPTc</a> <a href="IfaceType.html#t:IfIPName">IfIPName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceLiftedTypeKindTc" class="def">IfaceLiftedTypeKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceOpenTypeKindTc" class="def">IfaceOpenTypeKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceUnliftedTypeKindTc" class="def">IfaceUnliftedTypeKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceUbxTupleKindTc" class="def">IfaceUbxTupleKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceArgTypeKindTc" class="def">IfaceArgTypeKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceConstraintKindTc" class="def">IfaceConstraintKindTc</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceSuperKindTc" class="def">IfaceSuperKindTc</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceTyCon" class="caption collapser" onclick="toggleSection('i:IfaceTyCon')">Instances</p><div id="section.i:IfaceTyCon" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceCoCon" class="def">IfaceCoCon</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceCoAx" class="def">IfaceCoAx</a> <a href="IfaceType.html#t:IfExtName">IfExtName</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceIPCoAx" class="def">IfaceIPCoAx</a> <a href="FastString.html#t:FastString">FastString</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceReflCo" class="def">IfaceReflCo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceUnsafeCo" class="def">IfaceUnsafeCo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceSymCo" class="def">IfaceSymCo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTransCo" class="def">IfaceTransCo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceInstCo" class="def">IfaceInstCo</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceNthCo" class="def">IfaceNthCo</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceCoCon" class="caption collapser" onclick="toggleSection('i:IfaceCoCon')">Instances</p><div id="section.i:IfaceCoCon" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceType.html#t:IfaceCoCon">IfaceCoCon</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceType.html#t:IfaceCoCon">IfaceCoCon</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfaceContext" class="def">IfaceContext</a> = [<a href="IfaceType.html#t:IfacePredType">IfacePredType</a>]</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:IfaceBndr" class="def">IfaceBndr</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:IfaceIdBndr" class="def">IfaceIdBndr</a> !<a href="IfaceType.html#t:IfaceIdBndr">IfaceIdBndr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IfaceTvBndr" class="def">IfaceTvBndr</a> !<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:IfaceBndr" class="caption collapser" onclick="toggleSection('i:IfaceBndr')">Instances</p><div id="section.i:IfaceBndr" class="show"><table><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfaceTvBndr" class="def">IfaceTvBndr</a> = (<a href="IfaceType.html#t:IfLclName">IfLclName</a>, <a href="IfaceType.html#t:IfaceKind">IfaceKind</a>)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfaceIdBndr" class="def">IfaceIdBndr</a> = (<a href="IfaceType.html#t:IfLclName">IfLclName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:IfaceCoercion" class="def">IfaceCoercion</a> = <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><a name="v:ifaceTyConName" class="def">ifaceTyConName</a> :: <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a> -> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:toIfaceType" class="def">toIfaceType</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><a name="v:toIfaceKind" class="def">toIfaceKind</a> :: <a href="Type.html#t:Type">Type</a> -> <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><a name="v:toIfaceContext" class="def">toIfaceContext</a> :: <a href="Type.html#t:ThetaType">ThetaType</a> -> <a href="IfaceType.html#t:IfaceContext">IfaceContext</a></p></div><div class="top"><p class="src"><a name="v:toIfaceBndr" class="def">toIfaceBndr</a> :: <a href="Var.html#t:Var">Var</a> -> <a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a></p></div><div class="top"><p class="src"><a name="v:toIfaceIdBndr" class="def">toIfaceIdBndr</a> :: <a href="Var.html#t:Id">Id</a> -> (<a href="IfaceType.html#t:IfLclName">IfLclName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>)</p></div><div class="top"><p class="src"><a name="v:toIfaceTvBndrs" class="def">toIfaceTvBndrs</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> [(<a href="IfaceType.html#t:IfLclName">IfLclName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>)]</p></div><div class="top"><p class="src"><a name="v:toIfaceTyCon" class="def">toIfaceTyCon</a> :: <a href="TyCon.html#t:TyCon">TyCon</a> -> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></p></div><div class="top"><p class="src"><a name="v:toIfaceTyCon_name" class="def">toIfaceTyCon_name</a> :: <a href="Name.html#t:Name">Name</a> -> <a href="IfaceType.html#t:IfaceTyCon">IfaceTyCon</a></p></div><div class="top"><p class="src"><a name="v:coToIfaceType" class="def">coToIfaceType</a> :: <a href="Coercion.html#t:Coercion">Coercion</a> -> <a href="IfaceType.html#t:IfaceType">IfaceType</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceType" class="def">pprIfaceType</a> :: <a href="IfaceType.html#t:IfaceType">IfaceType</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprParendIfaceType" class="def">pprParendIfaceType</a> :: <a href="IfaceType.html#t:IfaceType">IfaceType</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceContext" class="def">pprIfaceContext</a> :: <a href="IfaceType.html#t:IfaceContext">IfaceContext</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceIdBndr" class="def">pprIfaceIdBndr</a> :: (<a href="IfaceType.html#t:IfLclName">IfLclName</a>, <a href="IfaceType.html#t:IfaceType">IfaceType</a>) -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceTvBndr" class="def">pprIfaceTvBndr</a> :: <a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceTvBndrs" class="def">pprIfaceTvBndrs</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceBndrs" class="def">pprIfaceBndrs</a> :: [<a href="IfaceType.html#t:IfaceBndr">IfaceBndr</a>] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:tOP_PREC" class="def">tOP_PREC</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:tYCON_PREC" class="def">tYCON_PREC</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a></p></div><div class="top"><p class="src"><a name="v:noParens" class="def">noParens</a> :: <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:maybeParen" class="def">maybeParen</a> :: <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprIfaceForAllPart" class="def">pprIfaceForAllPart</a> :: [<a href="IfaceType.html#t:IfaceTvBndr">IfaceTvBndr</a>] -> <a href="IfaceType.html#t:IfaceContext">IfaceContext</a> -> <a href="Outputable.html#t:SDoc">SDoc</a> -> <a href="Outputable.html#t:SDoc">SDoc</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>
distrib
>
Mageia
>
5
>
i586
>
media
>
core-release
>
by-pkgid
>
6e204a966e8c42d976f99a1700ce5f20
>
files
>
2915
