<!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>ExternalCore</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_ExternalCore.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>Safe-Infered</td></tr></table><p class="caption">ExternalCore</p></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Module" class="def">Module</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Module" class="def">Module</a> <a href="ExternalCore.html#t:Mname">Mname</a> [<a href="ExternalCore.html#t:Tdef">Tdef</a>] [<a href="ExternalCore.html#t:Vdefg">Vdefg</a>]</td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Module" class="caption collapser" onclick="toggleSection('i:Module')">Instances</p><div id="section.i:Module" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Module">Module</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:Tdef" class="def">Tdef</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Data" class="def">Data</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Tcon">Tcon</a>) [<a href="ExternalCore.html#t:Tbind">Tbind</a>] [<a href="ExternalCore.html#t:Cdef">Cdef</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Newtype" class="def">Newtype</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Tcon">Tcon</a>) (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Tcon">Tcon</a>) [<a href="ExternalCore.html#t:Tbind">Tbind</a>] <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Tdef" class="caption collapser" onclick="toggleSection('i:Tdef')">Instances</p><div id="section.i:Tdef" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Tdef">Tdef</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:Cdef" class="def">Cdef</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Constr" class="def">Constr</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Dcon">Dcon</a>) [<a href="ExternalCore.html#t:Tbind">Tbind</a>] [<a href="ExternalCore.html#t:Ty">Ty</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GadtConstr" class="def">GadtConstr</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Dcon">Dcon</a>) <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Cdef" class="caption collapser" onclick="toggleSection('i:Cdef')">Instances</p><div id="section.i:Cdef" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Cdef">Cdef</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:Vdefg" class="def">Vdefg</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Rec" class="def">Rec</a> [<a href="ExternalCore.html#t:Vdef">Vdef</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Nonrec" class="def">Nonrec</a> <a href="ExternalCore.html#t:Vdef">Vdef</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Vdefg" class="caption collapser" onclick="toggleSection('i:Vdefg')">Instances</p><div id="section.i:Vdefg" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Vdefg">Vdefg</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:Vdef" class="def">Vdef</a> = (<a href="../base-4.5.1.0/Data-Bool.html#t:Bool">Bool</a>, <a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Var">Var</a>, <a href="ExternalCore.html#t:Ty">Ty</a>, <a href="ExternalCore.html#t:Exp">Exp</a>)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Exp" class="def">Exp</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Var" class="def">Var</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Var">Var</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Dcon" class="def">Dcon</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Dcon">Dcon</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Lit" class="def">Lit</a> <a href="ExternalCore.html#t:Lit">Lit</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:App" class="def">App</a> <a href="ExternalCore.html#t:Exp">Exp</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Appt" class="def">Appt</a> <a href="ExternalCore.html#t:Exp">Exp</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Lam" class="def">Lam</a> <a href="ExternalCore.html#t:Bind">Bind</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Let" class="def">Let</a> <a href="ExternalCore.html#t:Vdefg">Vdefg</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Case" class="def">Case</a> <a href="ExternalCore.html#t:Exp">Exp</a> <a href="ExternalCore.html#t:Vbind">Vbind</a> <a href="ExternalCore.html#t:Ty">Ty</a> [<a href="ExternalCore.html#t:Alt">Alt</a>]</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Cast" class="def">Cast</a> <a href="ExternalCore.html#t:Exp">Exp</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Tick" class="def">Tick</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:External" class="def">External</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:DynExternal" class="def">DynExternal</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Label" class="def">Label</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Exp" class="caption collapser" onclick="toggleSection('i:Exp')">Instances</p><div id="section.i:Exp" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Exp">Exp</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:Bind" class="def">Bind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Vb" class="def">Vb</a> <a href="ExternalCore.html#t:Vbind">Vbind</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Tb" class="def">Tb</a> <a href="ExternalCore.html#t:Tbind">Tbind</a></td><td class="doc empty"> </td></tr></table></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Alt" class="def">Alt</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Acon" class="def">Acon</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Dcon">Dcon</a>) [<a href="ExternalCore.html#t:Tbind">Tbind</a>] [<a href="ExternalCore.html#t:Vbind">Vbind</a>] <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Alit" class="def">Alit</a> <a href="ExternalCore.html#t:Lit">Lit</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Adefault" class="def">Adefault</a> <a href="ExternalCore.html#t:Exp">Exp</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Alt" class="caption collapser" onclick="toggleSection('i:Alt')">Instances</p><div id="section.i:Alt" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Alt">Alt</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:Vbind" class="def">Vbind</a> = (<a href="ExternalCore.html#t:Var">Var</a>, <a href="ExternalCore.html#t:Ty">Ty</a>)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Tbind" class="def">Tbind</a> = (<a href="ExternalCore.html#t:Tvar">Tvar</a>, <a href="ExternalCore.html#t:Kind">Kind</a>)</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Ty" class="def">Ty</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Tvar" class="def">Tvar</a> <a href="ExternalCore.html#t:Tvar">Tvar</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Tcon" class="def">Tcon</a> (<a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Tcon">Tcon</a>)</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Tapp" class="def">Tapp</a> <a href="ExternalCore.html#t:Ty">Ty</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Tforall" class="def">Tforall</a> <a href="ExternalCore.html#t:Tbind">Tbind</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TransCoercion" class="def">TransCoercion</a> <a href="ExternalCore.html#t:Ty">Ty</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:SymCoercion" class="def">SymCoercion</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:UnsafeCoercion" class="def">UnsafeCoercion</a> <a href="ExternalCore.html#t:Ty">Ty</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:InstCoercion" class="def">InstCoercion</a> <a href="ExternalCore.html#t:Ty">Ty</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NthCoercion" class="def">NthCoercion</a> <a href="../base-4.5.1.0/Data-Int.html#t:Int">Int</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Ty" class="caption collapser" onclick="toggleSection('i:Ty')">Instances</p><div id="section.i:Ty" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Ty">Ty</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:Kind" class="def">Kind</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Klifted" class="def">Klifted</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Kunlifted" class="def">Kunlifted</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Kunboxed" class="def">Kunboxed</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Kopen" class="def">Kopen</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Karrow" class="def">Karrow</a> <a href="ExternalCore.html#t:Kind">Kind</a> <a href="ExternalCore.html#t:Kind">Kind</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Kind" class="caption collapser" onclick="toggleSection('i:Kind')">Instances</p><div id="section.i:Kind" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Kind">Kind</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:Lit" class="def">Lit</a> </p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Lint" class="def">Lint</a> <a href="../base-4.5.1.0/Prelude.html#t:Integer">Integer</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Lrational" class="def">Lrational</a> <a href="../base-4.5.1.0/Prelude.html#t:Rational">Rational</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Lchar" class="def">Lchar</a> <a href="../base-4.5.1.0/Data-Char.html#t:Char">Char</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Lstring" class="def">Lstring</a> <a href="../base-4.5.1.0/Data-String.html#t:String">String</a> <a href="ExternalCore.html#t:Ty">Ty</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Lit" class="caption collapser" onclick="toggleSection('i:Lit')">Instances</p><div id="section.i:Lit" class="show"><table><tr><td class="src"><a href="../base-4.5.1.0/Text-Show.html#t:Show">Show</a> <a href="ExternalCore.html#t:Lit">Lit</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:Mname" class="def">Mname</a> = <a href="ExternalCore.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Var" class="def">Var</a> = <a href="ExternalCore.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Tvar" class="def">Tvar</a> = <a href="ExternalCore.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Tcon" class="def">Tcon</a> = <a href="ExternalCore.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Dcon" class="def">Dcon</a> = <a href="ExternalCore.html#t:Id">Id</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Qual" class="def">Qual</a> t = (<a href="ExternalCore.html#t:Mname">Mname</a>, t)</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a name="t:Id" class="def">Id</a> = <a href="../base-4.5.1.0/Data-String.html#t:String">String</a></p></div><div class="top"><p class="src"><a name="v:primMname" class="def">primMname</a> :: <a href="ExternalCore.html#t:Mname">Mname</a></p></div><div class="top"><p class="src"><a name="v:tcArrow" class="def">tcArrow</a> :: <a href="ExternalCore.html#t:Qual">Qual</a> <a href="ExternalCore.html#t:Tcon">Tcon</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
>
2870
