/usr/share/doc/libghc-curry-frontend-doc/html/Env-Instance.html

<!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>Env.Instance</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script src="file:///usr/share/javascript/mathjax/MathJax.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_Env-Instance.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Env-Instance.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption">curry-frontend-1.0.1: Compile the functional logic language Curry to several
intermediate formats</p></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>(c) 2016        Finn Teegen</td></tr><tr><th>License</th><td>BSD-3-clause</td></tr><tr><th>Maintainer</th><td>bjp@informatik.uni-kiel.de</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>None</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Env.Instance</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The compiler maintains information about defined instances in an
    environment that maps pairs of type classes and type constructors
    to the name of the module where the instance is declared, the context
    as given in the instance declaration, and a list of the class methods
    implemented in the specific instance along with their arity. A flat
    environment is sufficient because instances are visible globally and
    cannot be hidden. Instances are recorded only with the original names
    of the type class and type constructor involved.</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:InstIdent" class="def">InstIdent</a> = (<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a>, <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a>) <a href="src/Env-Instance.html#InstIdent" class="link">Source</a> <a href="#t:InstIdent" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:ppInstIdent" class="def">ppInstIdent</a> :: <a href="Env-Instance.html#t:InstIdent">InstIdent</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/pretty-1.1.3.3/Text-PrettyPrint.html#t:Doc">Doc</a> <a href="src/Env-Instance.html#ppInstIdent" class="link">Source</a> <a href="#v:ppInstIdent" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:InstInfo" class="def">InstInfo</a> = (<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</a>, <a href="Base-Types.html#t:PredSet">PredSet</a>, [(<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:Ident">Ident</a>, <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a>)]) <a href="src/Env-Instance.html#InstInfo" class="link">Source</a> <a href="#t:InstInfo" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:InstEnv" class="def">InstEnv</a> = <a href="file:///usr/share/doc/ghc-doc/html/libraries/containers-0.5.7.1/Data-Map-Lazy.html#t:Map">Map</a> <a href="Env-Instance.html#t:InstIdent">InstIdent</a> <a href="Env-Instance.html#t:InstInfo">InstInfo</a> <a href="src/Env-Instance.html#InstEnv" class="link">Source</a> <a href="#t:InstEnv" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:initInstEnv" class="def">initInstEnv</a> :: <a href="Env-Instance.html#t:InstEnv">InstEnv</a> <a href="src/Env-Instance.html#initInstEnv" class="link">Source</a> <a href="#v:initInstEnv" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:bindInstInfo" class="def">bindInstInfo</a> :: <a href="Env-Instance.html#t:InstIdent">InstIdent</a> -&gt; <a href="Env-Instance.html#t:InstInfo">InstInfo</a> -&gt; <a href="Env-Instance.html#t:InstEnv">InstEnv</a> -&gt; <a href="Env-Instance.html#t:InstEnv">InstEnv</a> <a href="src/Env-Instance.html#bindInstInfo" class="link">Source</a> <a href="#v:bindInstInfo" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lookupInstInfo" class="def">lookupInstInfo</a> :: <a href="Env-Instance.html#t:InstIdent">InstIdent</a> -&gt; <a href="Env-Instance.html#t:InstEnv">InstEnv</a> -&gt; <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-Maybe.html#t:Maybe">Maybe</a> <a href="Env-Instance.html#t:InstInfo">InstInfo</a> <a href="src/Env-Instance.html#lookupInstInfo" class="link">Source</a> <a href="#v:lookupInstInfo" class="selflink">#</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.17.3</p></div></body></html>
libghc-curry-frontend-doc 1.0.1-1 / usr / share / doc / libghc-curry-frontend-doc / html / Env-Instance.html
