<!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>HsTypes</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_HsTypes.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">HsTypes</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsType" class="def">HsType</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsForAllTy" class="def">HsForAllTy</a> <a href="HsTypes.html#t:HsExplicitFlag">HsExplicitFlag</a> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name] (<a href="HsTypes.html#t:LHsContext">LHsContext</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsTyVar" class="def">HsTyVar</a> name</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsAppTy" class="def">HsAppTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsFunTy" class="def">HsFunTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsListTy" class="def">HsListTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsPArrTy" class="def">HsPArrTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsTupleTy" class="def">HsTupleTy</a> <a href="HsTypes.html#t:HsTupleSort">HsTupleSort</a> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsOpTy" class="def">HsOpTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) (LHsTyOp name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsParTy" class="def">HsParTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsIParamTy" class="def">HsIParamTy</a> (<a href="BasicTypes.html#t:IPName">IPName</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsEqTy" class="def">HsEqTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsKindSig" class="def">HsKindSig</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsQuasiQuoteTy" class="def">HsQuasiQuoteTy</a> (<a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsSpliceTy" class="def">HsSpliceTy</a> (<a href="HsExpr.html#t:HsSplice">HsSplice</a> name) <a href="NameSet.html#t:FreeVars">FreeVars</a> <a href="HsLit.html#t:PostTcKind">PostTcKind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsDocTy" class="def">HsDocTy</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name) <a href="HsDoc.html#t:LHsDocString">LHsDocString</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsBangTy" class="def">HsBangTy</a> <a href="HsTypes.html#t:HsBang">HsBang</a> (<a href="HsTypes.html#t:LHsType">LHsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsRecTy" class="def">HsRecTy</a> [<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> name]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsCoreTy" class="def">HsCoreTy</a> <a href="Type.html#t:Type">Type</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsExplicitListTy" class="def">HsExplicitListTy</a> <a href="HsLit.html#t:PostTcKind">PostTcKind</a> [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsExplicitTupleTy" class="def">HsExplicitTupleTy</a> [<a href="HsLit.html#t:PostTcKind">PostTcKind</a>] [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsWrapTy" class="def">HsWrapTy</a> <a href="HsTypes.html#t:HsTyWrapper">HsTyWrapper</a> (<a href="HsTypes.html#t:HsType">HsType</a> name)</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsType" class="caption collapser" onclick="toggleSection('i:HsType')">Instances</p><div id="section.i:HsType" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsTypes.html#t:HsType">HsType</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsTypes.html#t:HsType">HsType</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsTypes.html#t:HsType">HsType</a> name)</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:LHsType" class="def">LHsType</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsType">HsType</a> name)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:HsKind" class="def">HsKind</a> name = <a href="HsTypes.html#t:HsType">HsType</a> name</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LHsKind" class="def">LHsKind</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsKind">HsKind</a> name)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsTyVarBndr" class="def">HsTyVarBndr</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:UserTyVar" class="def">UserTyVar</a> name <a href="HsLit.html#t:PostTcKind">PostTcKind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:KindedTyVar" class="def">KindedTyVar</a> name (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name) <a href="HsLit.html#t:PostTcKind">PostTcKind</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsTyVarBndr" class="caption collapser" onclick="toggleSection('i:HsTyVarBndr')">Instances</p><div id="section.i:HsTyVarBndr" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name)</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:LHsTyVarBndr" class="def">LHsTyVarBndr</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsTupleSort" class="def">HsTupleSort</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsUnboxedTuple" class="def">HsUnboxedTuple</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsBoxedTuple" class="def">HsBoxedTuple</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsConstraintTuple" class="def">HsConstraintTuple</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsBoxedOrConstraintTuple" class="def">HsBoxedOrConstraintTuple</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsTupleSort" class="caption collapser" onclick="toggleSection('i:HsTupleSort')">Instances</p><div id="section.i:HsTupleSort" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsTypes.html#t:HsTupleSort">HsTupleSort</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsTypes.html#t:HsTupleSort">HsTupleSort</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:HsExplicitFlag" class="def">HsExplicitFlag</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Explicit" class="def">Explicit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Implicit" class="def">Implicit</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsExplicitFlag" class="caption collapser" onclick="toggleSection('i:HsExplicitFlag')">Instances</p><div id="section.i:HsExplicitFlag" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsTypes.html#t:HsExplicitFlag">HsExplicitFlag</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsTypes.html#t:HsExplicitFlag">HsExplicitFlag</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:HsContext" class="def">HsContext</a> name = [<a href="HsTypes.html#t:LHsType">LHsType</a> name]</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:LHsContext" class="def">LHsContext</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:HsContext">HsContext</a> name)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsQuasiQuote" class="def">HsQuasiQuote</a> id </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsQuasiQuote" class="def">HsQuasiQuote</a> id <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> <a href="FastString.html#t:FastString">FastString</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsQuasiQuote" class="caption collapser" onclick="toggleSection('i:HsQuasiQuote')">Instances</p><div id="section.i:HsQuasiQuote" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> id => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> id)</td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> id => <a href="Outputable.html#t:Outputable">Outputable</a> (<a href="HsTypes.html#t:HsQuasiQuote">HsQuasiQuote</a> id)</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:HsTyWrapper" class="def">HsTyWrapper</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:WpKiApps" class="def">WpKiApps</a> [<a href="Kind.html#t:Kind">Kind</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsTyWrapper" class="caption collapser" onclick="toggleSection('i:HsTyWrapper')">Instances</p><div id="section.i:HsTyWrapper" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsTypes.html#t:HsTyWrapper">HsTyWrapper</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsTypes.html#t:HsTyWrapper">HsTyWrapper</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:LBangType" class="def">LBangType</a> name = <a href="SrcLoc.html#t:Located">Located</a> (<a href="HsTypes.html#t:BangType">BangType</a> name)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:BangType" class="def">BangType</a> name = <a href="HsTypes.html#t:HsType">HsType</a> name</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:HsBang" class="def">HsBang</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:HsNoBang" class="def">HsNoBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsStrict" class="def">HsStrict</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsUnpack" class="def">HsUnpack</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsUnpackFailed" class="def">HsUnpackFailed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HsNoUnpack" class="def">HsNoUnpack</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:HsBang" class="caption collapser" onclick="toggleSection('i:HsBang')">Instances</p><div id="section.i:HsBang" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Eq.html#t:Eq">Eq</a> <a href="HsTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> <a href="HsTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable">Typeable</a> <a href="HsTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Outputable.html#t:Outputable">Outputable</a> <a href="HsTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="Binary.html#t:Binary">Binary</a> <a href="HsTypes.html#t:HsBang">HsBang</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:getBangType" class="def">getBangType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> a -> <a href="HsTypes.html#t:LHsType">LHsType</a> a</p></div><div class="top"><p class="src"><a name="v:getBangStrictness" class="def">getBangStrictness</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> a -> <a href="HsTypes.html#t:HsBang">HsBang</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:ConDeclField" class="def">ConDeclField</a> name </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:ConDeclField" class="def">ConDeclField</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><dl><dt class="src"><a name="v:cd_fld_name" class="def">cd_fld_name</a> :: <a href="SrcLoc.html#t:Located">Located</a> name</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cd_fld_type" class="def">cd_fld_type</a> :: <a href="HsTypes.html#t:LBangType">LBangType</a> name</dt><dd class="doc empty"> </dd><dt class="src"><a name="v:cd_fld_doc" class="def">cd_fld_doc</a> :: <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="HsDoc.html#t:LHsDocString">LHsDocString</a></dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div><div class="subs instances"><p id="control.i:ConDeclField" class="caption collapser" onclick="toggleSection('i:ConDeclField')">Instances</p><div id="section.i:ConDeclField" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Data-Typeable-Internal.html#t:Typeable1">Typeable1</a> <a href="HsTypes.html#t:ConDeclField">ConDeclField</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> name => <a href="../base-4.5.1.0/Data-Data.html#t:Data">Data</a> (<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> name)</td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:pprConDeclFields" class="def">pprConDeclFields</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => [<a href="HsTypes.html#t:ConDeclField">ConDeclField</a> name] -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:mkExplicitHsForAllTy" class="def">mkExplicitHsForAllTy</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name] -> <a href="HsTypes.html#t:LHsContext">LHsContext</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:HsType">HsType</a> name</p></div><div class="top"><p class="src"><a name="v:mkImplicitHsForAllTy" class="def">mkImplicitHsForAllTy</a> :: <a href="HsTypes.html#t:LHsContext">LHsContext</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:HsType">HsType</a> name</p></div><div class="top"><p class="src"><a name="v:hsExplicitTvs" class="def">hsExplicitTvs</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> [name]</p></div><div class="top"><p class="src"><a name="v:hsTyVarName" class="def">hsTyVarName</a> :: <a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name -> name</p></div><div class="top"><p class="src"><a name="v:hsTyVarNames" class="def">hsTyVarNames</a> :: [<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name] -> [name]</p></div><div class="top"><p class="src"><a name="v:replaceTyVarName" class="def">replaceTyVarName</a> :: <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name1 -> name2 -> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name1 -> m (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name2)) -> m (<a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name2)</p></div><div class="top"><p class="src"><a name="v:replaceLTyVarName" class="def">replaceLTyVarName</a> :: <a href="../base-4.5.1.0/Control-Monad.html#t:Monad">Monad</a> m => <a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name1 -> name2 -> (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name1 -> m (<a href="HsTypes.html#t:LHsKind">LHsKind</a> name2)) -> m (<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name2)</p></div><div class="top"><p class="src"><a name="v:hsTyVarKind" class="def">hsTyVarKind</a> :: <a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name -> <a href="Kind.html#t:Kind">Kind</a></p></div><div class="top"><p class="src"><a name="v:hsLTyVarKind" class="def">hsLTyVarKind</a> :: <a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name -> <a href="Kind.html#t:Kind">Kind</a></p></div><div class="top"><p class="src"><a name="v:hsTyVarNameKind" class="def">hsTyVarNameKind</a> :: <a href="HsTypes.html#t:HsTyVarBndr">HsTyVarBndr</a> name -> (name, <a href="Kind.html#t:Kind">Kind</a>)</p></div><div class="top"><p class="src"><a name="v:hsLTyVarName" class="def">hsLTyVarName</a> :: <a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name -> name</p></div><div class="top"><p class="src"><a name="v:hsLTyVarNames" class="def">hsLTyVarNames</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name] -> [name]</p></div><div class="top"><p class="src"><a name="v:hsLTyVarLocName" class="def">hsLTyVarLocName</a> :: <a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name -> <a href="SrcLoc.html#t:Located">Located</a> name</p></div><div class="top"><p class="src"><a name="v:hsLTyVarLocNames" class="def">hsLTyVarLocNames</a> :: [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name] -> [<a href="SrcLoc.html#t:Located">Located</a> name]</p></div><div class="top"><p class="src"><a name="v:splitHsInstDeclTy_maybe" class="def">splitHsInstDeclTy_maybe</a> :: <a href="HsTypes.html#t:HsType">HsType</a> name -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name], <a href="HsTypes.html#t:HsContext">HsContext</a> name, name, [<a href="HsTypes.html#t:LHsType">LHsType</a> name])</p></div><div class="top"><p class="src"><a name="v:splitLHsInstDeclTy_maybe" class="def">splitLHsInstDeclTy_maybe</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name], <a href="HsTypes.html#t:HsContext">HsContext</a> name, <a href="SrcLoc.html#t:Located">Located</a> name, [<a href="HsTypes.html#t:LHsType">LHsType</a> name])</p></div><div class="top"><p class="src"><a name="v:splitHsForAllTy" class="def">splitHsForAllTy</a> :: <a href="HsTypes.html#t:HsType">HsType</a> name -> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name], <a href="HsTypes.html#t:HsContext">HsContext</a> name, <a href="HsTypes.html#t:HsType">HsType</a> name)</p></div><div class="top"><p class="src"><a name="v:splitLHsForAllTy" class="def">splitLHsForAllTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> ([<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name], <a href="HsTypes.html#t:HsContext">HsContext</a> name, <a href="HsTypes.html#t:LHsType">LHsType</a> name)</p></div><div class="top"><p class="src"><a name="v:splitHsClassTy_maybe" class="def">splitHsClassTy_maybe</a> :: <a href="HsTypes.html#t:HsType">HsType</a> name -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (name, [<a href="HsTypes.html#t:LHsType">LHsType</a> name])</p></div><div class="top"><p class="src"><a name="v:splitLHsClassTy_maybe" class="def">splitLHsClassTy_maybe</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> (<a href="SrcLoc.html#t:Located">Located</a> name, [<a href="HsTypes.html#t:LHsType">LHsType</a> name])</p></div><div class="top"><p class="src"><a name="v:splitHsFunType" class="def">splitHsFunType</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> ([<a href="HsTypes.html#t:LHsType">LHsType</a> name], <a href="HsTypes.html#t:LHsType">LHsType</a> name)</p></div><div class="top"><p class="src"><a name="v:splitHsAppTys" class="def">splitHsAppTys</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> n -> [<a href="HsTypes.html#t:LHsType">LHsType</a> n] -> (<a href="HsTypes.html#t:LHsType">LHsType</a> n, [<a href="HsTypes.html#t:LHsType">LHsType</a> n])</p></div><div class="top"><p class="src"><a name="v:mkHsAppTys" class="def">mkHsAppTys</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> n => <a href="HsTypes.html#t:LHsType">LHsType</a> n -> [<a href="HsTypes.html#t:LHsType">LHsType</a> n] -> <a href="HsTypes.html#t:HsType">HsType</a> n</p></div><div class="top"><p class="src"><a name="v:mkHsOpTy" class="def">mkHsOpTy</a> :: <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="SrcLoc.html#t:Located">Located</a> name -> <a href="HsTypes.html#t:LHsType">LHsType</a> name -> <a href="HsTypes.html#t:HsType">HsType</a> name</p></div><div class="top"><p class="src"><a name="v:pprParendHsType" class="def">pprParendHsType</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsTypes.html#t:HsType">HsType</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprHsForAll" class="def">pprHsForAll</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsTypes.html#t:HsExplicitFlag">HsExplicitFlag</a> -> [<a href="HsTypes.html#t:LHsTyVarBndr">LHsTyVarBndr</a> name] -> <a href="HsTypes.html#t:LHsContext">LHsContext</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:pprHsContext" class="def">pprHsContext</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsTypes.html#t:HsContext">HsContext</a> name -> <a href="Outputable.html#t:SDoc">SDoc</a></p></div><div class="top"><p class="src"><a name="v:ppr_hs_context" class="def">ppr_hs_context</a> :: <a href="Outputable.html#t:OutputableBndr">OutputableBndr</a> name => <a href="HsTypes.html#t:HsContext">HsContext</a> name -> <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
>
2904
