<!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>IfaceEnv</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_IfaceEnv.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">IfaceEnv</p></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><a href="#v:newGlobalBinder">newGlobalBinder</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:newImplicitBinder">newImplicitBinder</a> :: <a href="Name.html#t:Name">Name</a> -> (<a href="OccName.html#t:OccName">OccName</a> -> <a href="OccName.html#t:OccName">OccName</a>) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:lookupIfaceTop">lookupIfaceTop</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:lookupOrig">lookupOrig</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:lookupOrigNameCache">lookupOrigNameCache</a> :: <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:extendNameCache">extendNameCache</a> :: <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="Name.html#t:Name">Name</a> -> <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a></li><li class="src short"><a href="#v:newIPName">newIPName</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</li><li class="src short"><a href="#v:newIfaceName">newIfaceName</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Name.html#t:Name">Name</a></li><li class="src short"><a href="#v:newIfaceNames">newIfaceNames</a> :: [<a href="OccName.html#t:OccName">OccName</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> [<a href="Name.html#t:Name">Name</a>]</li><li class="src short"><a href="#v:extendIfaceIdEnv">extendIfaceIdEnv</a> :: [<a href="Var.html#t:Id">Id</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</li><li class="src short"><a href="#v:extendIfaceTyVarEnv">extendIfaceTyVarEnv</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</li><li class="src short"><a href="#v:tcIfaceLclId">tcIfaceLclId</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Var.html#t:Id">Id</a></li><li class="src short"><a href="#v:tcIfaceTyVar">tcIfaceTyVar</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Var.html#t:TyVar">TyVar</a></li><li class="src short"><a href="#v:lookupIfaceTyVar">lookupIfaceTyVar</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Var.html#t:TyVar">TyVar</a>)</li><li class="src short"><a href="#v:ifaceExportNames">ifaceExportNames</a> :: [<a href="HscTypes.html#t:IfaceExport">IfaceExport</a>] -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl [<a href="Avail.html#t:AvailInfo">AvailInfo</a>]</li><li class="src short"><a href="#v:allocateGlobalBinder">allocateGlobalBinder</a> :: <a href="HscTypes.html#t:NameCache">NameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, <a href="Name.html#t:Name">Name</a>)</li><li class="src short"><a href="#v:allocateIPName">allocateIPName</a> :: <a href="HscTypes.html#t:NameCache">NameCache</a> -> <a href="FastString.html#t:FastString">FastString</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</li><li class="src short"><a href="#v:initNameCache">initNameCache</a> :: <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a> -> [<a href="Name.html#t:Name">Name</a>] -> <a href="HscTypes.html#t:NameCache">NameCache</a></li><li class="src short"><a href="#v:updNameCache">updNameCache</a> :: (<a href="HscTypes.html#t:NameCache">NameCache</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, c)) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b c</li><li class="src short"><a href="#v:getNameCache">getNameCache</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="HscTypes.html#t:NameCache">NameCache</a></li><li class="src short"><a href="#v:mkNameCacheUpdater">mkNameCacheUpdater</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="IfaceEnv.html#t:NameCacheUpdater">NameCacheUpdater</a></li><li class="src short"><span class="keyword">data</span> <a href="#t:NameCacheUpdater">NameCacheUpdater</a> = <a href="#v:NCU">NCU</a> {<ul class="subs"><li><a href="#v:updateNameCache">updateNameCache</a> :: <span class="keyword">forall</span> c. (<a href="HscTypes.html#t:NameCache">NameCache</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, c)) -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> c</li></ul>}</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><a name="v:newGlobalBinder" class="def">newGlobalBinder</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:newImplicitBinder" class="def">newImplicitBinder</a> :: <a href="Name.html#t:Name">Name</a> -> (<a href="OccName.html#t:OccName">OccName</a> -> <a href="OccName.html#t:OccName">OccName</a>) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:lookupIfaceTop" class="def">lookupIfaceTop</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:lookupOrig" class="def">lookupOrig</a> :: <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:lookupOrigNameCache" class="def">lookupOrigNameCache</a> :: <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:extendNameCache" class="def">extendNameCache</a> :: <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="Name.html#t:Name">Name</a> -> <a href="HscTypes.html#t:OrigNameCache">OrigNameCache</a></p></div><div class="top"><p class="src"><a name="v:newIPName" class="def">newIPName</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> m n (<a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:newIfaceName" class="def">newIfaceName</a> :: <a href="OccName.html#t:OccName">OccName</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Name.html#t:Name">Name</a></p></div><div class="top"><p class="src"><a name="v:newIfaceNames" class="def">newIfaceNames</a> :: [<a href="OccName.html#t:OccName">OccName</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> [<a href="Name.html#t:Name">Name</a>]</p></div><div class="top"><p class="src"><a name="v:extendIfaceIdEnv" class="def">extendIfaceIdEnv</a> :: [<a href="Var.html#t:Id">Id</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</p></div><div class="top"><p class="src"><a name="v:extendIfaceTyVarEnv" class="def">extendIfaceTyVarEnv</a> :: [<a href="Var.html#t:TyVar">TyVar</a>] -> <a href="TcRnTypes.html#t:IfL">IfL</a> a -> <a href="TcRnTypes.html#t:IfL">IfL</a> a</p></div><div class="top"><p class="src"><a name="v:tcIfaceLclId" class="def">tcIfaceLclId</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Var.html#t:Id">Id</a></p></div><div class="top"><p class="src"><a name="v:tcIfaceTyVar" class="def">tcIfaceTyVar</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> <a href="Var.html#t:TyVar">TyVar</a></p></div><div class="top"><p class="src"><a name="v:lookupIfaceTyVar" class="def">lookupIfaceTyVar</a> :: <a href="FastString.html#t:FastString">FastString</a> -> <a href="TcRnTypes.html#t:IfL">IfL</a> (<a href="../base-4.5.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Var.html#t:TyVar">TyVar</a>)</p></div><div class="top"><p class="src"><a name="v:ifaceExportNames" class="def">ifaceExportNames</a> :: [<a href="HscTypes.html#t:IfaceExport">IfaceExport</a>] -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> gbl lcl [<a href="Avail.html#t:AvailInfo">AvailInfo</a>]</p></div><div class="top"><p class="src"><a name="v:allocateGlobalBinder" class="def">allocateGlobalBinder</a> :: <a href="HscTypes.html#t:NameCache">NameCache</a> -> <a href="Module.html#t:Module">Module</a> -> <a href="OccName.html#t:OccName">OccName</a> -> <a href="SrcLoc.html#t:SrcSpan">SrcSpan</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:allocateIPName" class="def">allocateIPName</a> :: <a href="HscTypes.html#t:NameCache">NameCache</a> -> <a href="FastString.html#t:FastString">FastString</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, <a href="BasicTypes.html#t:IPName">IPName</a> <a href="Name.html#t:Name">Name</a>)</p></div><div class="top"><p class="src"><a name="v:initNameCache" class="def">initNameCache</a> :: <a href="UniqSupply.html#t:UniqSupply">UniqSupply</a> -> [<a href="Name.html#t:Name">Name</a>] -> <a href="HscTypes.html#t:NameCache">NameCache</a></p></div><div class="top"><p class="src"><a name="v:updNameCache" class="def">updNameCache</a> :: (<a href="HscTypes.html#t:NameCache">NameCache</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, c)) -> <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b c</p></div><div class="top"><p class="src"><a name="v:getNameCache" class="def">getNameCache</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="HscTypes.html#t:NameCache">NameCache</a></p></div><div class="top"><p class="src"><a name="v:mkNameCacheUpdater" class="def">mkNameCacheUpdater</a> :: <a href="TcRnTypes.html#t:TcRnIf">TcRnIf</a> a b <a href="IfaceEnv.html#t:NameCacheUpdater">NameCacheUpdater</a></p><div class="doc"><p>Return a function to atomically update the name cache.
</p></div></div><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:NameCacheUpdater" class="def">NameCacheUpdater</a> </p><div class="doc"><p>A function that atomically updates the name cache given a modifier
function. The second result of the modifier function will be the result
of the IO action.
</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:NCU" class="def">NCU</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:updateNameCache" class="def">updateNameCache</a> :: <span class="keyword">forall</span> c. (<a href="HscTypes.html#t:NameCache">NameCache</a> -> (<a href="HscTypes.html#t:NameCache">NameCache</a>, c)) -> <a href="../base-4.5.1.0/System-IO.html#t:IO">IO</a> c</dt><dd class="doc empty"> </dd></dl><div class="clear"></div></div></td></tr></table></div></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
>
2913
