/usr/share/doc/libghc-curry-frontend-doc/html/Env-Value.html is in libghc-curry-frontend-doc 1.0.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | <!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.Value</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-Value.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="src/Env-Value.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) 2001 - 2004 Wolfgang Lux<br />2011 Björn Peemöller<br />2015 Jan Tikovsky<br />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.Value</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>In order to test the type correctness of a module, the compiler needs
to determine the type of every data constructor, function and
variable in the module.
For the purpose of type checking there is no
need for distinguishing between variables and functions. For all objects
their original names and their types are saved. In addition, the compiler
also saves the (optional) list of field labels for data and newtype
constructors. Data constructors and functions also contain arity
information. On import two values are considered equal if their original
names match.</p></div></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">type</span> <a id="t:ValueEnv" class="def">ValueEnv</a> = <a href="Base-TopEnv.html#t:TopEnv">TopEnv</a> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> <a href="src/Env-Value.html#ValueEnv" class="link">Source</a> <a href="#t:ValueEnv" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a id="t:ValueInfo" class="def">ValueInfo</a> <a href="src/Env-Value.html#ValueInfo" class="link">Source</a> <a href="#t:ValueInfo" class="selflink">#</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:DataConstructor" class="def">DataConstructor</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/ghc-doc/html/libraries/base-4.9.1.0/Data-Int.html#t:Int">Int</a> [<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:Ident">Ident</a>] <a href="Base-Types.html#t:ExistTypeScheme">ExistTypeScheme</a></td><td class="doc"><p>Data constructor with original name, arity, list of record labels and type</p></td></tr><tr><td class="src"><a id="v:NewtypeConstructor" class="def">NewtypeConstructor</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:Ident">Ident</a> <a href="Base-Types.html#t:ExistTypeScheme">ExistTypeScheme</a></td><td class="doc"><p>Newtype constructor with original name, record label and type
(arity is always 1)</p></td></tr><tr><td class="src"><a id="v:Value" class="def">Value</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/ghc-doc/html/libraries/base-4.9.1.0/Data-Bool.html#t:Bool">Bool</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="Base-Types.html#t:TypeScheme">TypeScheme</a></td><td class="doc"><p>Value with original name, class method flag, arity and type</p></td></tr><tr><td class="src"><a id="v:Label" class="def">Label</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="Base-Types.html#t:TypeScheme">TypeScheme</a></td><td class="doc"><p>Record label with original name, list of constructors for which label
is valid field and type (arity is always 1)</p></td></tr></table></div><div class="subs instances"><p id="control.i:ValueInfo" class="caption collapser" onclick="toggleSection('i:ValueInfo')">Instances</p><div id="section.i:ValueInfo" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ValueInfo:Show:1" class="instance expander" onclick="toggleSection('i:id:ValueInfo:Show:1')"></span> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:Show">Show</a> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a></span> <a href="src/Env-Value.html#line-56" class="link">Source</a> <a href="#t:ValueInfo" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ValueInfo:Show:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</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="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Data-String.html#t:String">String</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Env-Value.html#t:ValueInfo">ValueInfo</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/base-4.9.1.0/Text-Show.html#t:ShowS">ShowS</a> <a href="#v:showList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ValueInfo:Pretty:2" class="instance expander" onclick="toggleSection('i:id:ValueInfo:Pretty:2')"></span> <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Pretty.html#t:Pretty">Pretty</a> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a></span> <a href="src/Env-Value.html#line-79" class="link">Source</a> <a href="#t:ValueInfo" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ValueInfo:Pretty:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pPrint">pPrint</a> :: <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/pretty-1.1.3.3/Text-PrettyPrint.html#t:Doc">Doc</a> <a href="#v:pPrint" class="selflink">#</a></p><p class="src"><a href="#v:pPrintPrec">pPrintPrec</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="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/pretty-1.1.3.3/Text-PrettyPrint.html#t:Doc">Doc</a> <a href="#v:pPrintPrec" class="selflink">#</a></p><p class="src"><a href="#v:pPrintList">pPrintList</a> :: [<a href="Env-Value.html#t:ValueInfo">ValueInfo</a>] -> <a href="file:///usr/share/doc/ghc-doc/html/libraries/pretty-1.1.3.3/Text-PrettyPrint.html#t:Doc">Doc</a> <a href="#v:pPrintList" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ValueInfo:Entity:3" class="instance expander" onclick="toggleSection('i:id:ValueInfo:Entity:3')"></span> <a href="Base-TopEnv.html#t:Entity">Entity</a> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a></span> <a href="src/Env-Value.html#line-58" class="link">Source</a> <a href="#t:ValueInfo" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ValueInfo:Entity:3" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:origName">origName</a> :: <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a> <a href="src/Base-TopEnv.html#origName" class="link">Source</a> <a href="#v:origName" class="selflink">#</a></p><p class="src"><a href="#v:merge">merge</a> :: <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <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-Value.html#t:ValueInfo">ValueInfo</a> <a href="src/Base-TopEnv.html#merge" class="link">Source</a> <a href="#v:merge" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:id:ValueInfo:SubstType:4" class="instance expander" onclick="toggleSection('i:id:ValueInfo:SubstType:4')"></span> <a href="Base-TypeSubst.html#t:SubstType">SubstType</a> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a></span> <a href="src/Base-TypeSubst.html#line-76" class="link">Source</a> <a href="#t:SubstType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:id:ValueInfo:SubstType:4" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:subst">subst</a> :: <a href="Base-TypeSubst.html#t:TypeSubst">TypeSubst</a> -> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> -> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a> <a href="src/Base-TypeSubst.html#subst" class="link">Source</a> <a href="#v:subst" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:bindGlobalInfo" class="def">bindGlobalInfo</a> :: (<a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a> -> a -> <a href="Env-Value.html#t:ValueInfo">ValueInfo</a>) -> <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</a> -> <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:Ident">Ident</a> -> a -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#bindGlobalInfo" class="link">Source</a> <a href="#v:bindGlobalInfo" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:bindFun" class="def">bindFun</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</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-Bool.html#t:Bool">Bool</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="Base-Types.html#t:TypeScheme">TypeScheme</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#bindFun" class="link">Source</a> <a href="#v:bindFun" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:qualBindFun" class="def">qualBindFun</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</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-Bool.html#t:Bool">Bool</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="Base-Types.html#t:TypeScheme">TypeScheme</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#qualBindFun" class="link">Source</a> <a href="#v:qualBindFun" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:rebindFun" class="def">rebindFun</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</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-Bool.html#t:Bool">Bool</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="Base-Types.html#t:TypeScheme">TypeScheme</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#rebindFun" class="link">Source</a> <a href="#v:rebindFun" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:unbindFun" class="def">unbindFun</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:Ident">Ident</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#unbindFun" class="link">Source</a> <a href="#v:unbindFun" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:lookupValue" class="def">lookupValue</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:Ident">Ident</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> [<a href="Env-Value.html#t:ValueInfo">ValueInfo</a>] <a href="src/Env-Value.html#lookupValue" class="link">Source</a> <a href="#v:lookupValue" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:qualLookupValue" class="def">qualLookupValue</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> [<a href="Env-Value.html#t:ValueInfo">ValueInfo</a>] <a href="src/Env-Value.html#qualLookupValue" class="link">Source</a> <a href="#v:qualLookupValue" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:qualLookupValueUnique" class="def">qualLookupValueUnique</a> :: <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:ModuleIdent">ModuleIdent</a> -> <a href="file:///usr/share/doc/libghc-curry-base-doc/html/Curry-Base-Ident.html#t:QualIdent">QualIdent</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> [<a href="Env-Value.html#t:ValueInfo">ValueInfo</a>] <a href="src/Env-Value.html#qualLookupValueUnique" class="link">Source</a> <a href="#v:qualLookupValueUnique" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:initDCEnv" class="def">initDCEnv</a> :: <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#initDCEnv" class="link">Source</a> <a href="#v:initDCEnv" class="selflink">#</a></p></div><div class="top"><p class="src"><span class="keyword">class</span> <a id="t:ValueType" class="def">ValueType</a> t <span class="keyword">where</span> <a href="src/Env-Value.html#ValueType" class="link">Source</a> <a href="#t:ValueType" class="selflink">#</a></p><div class="subs minimal"><p class="caption">Minimal complete definition</p><p class="src"><a href="Env-Value.html#v:toValueType">toValueType</a>, <a href="Env-Value.html#v:fromValueType">fromValueType</a></p></div><div class="subs methods"><p class="caption">Methods</p><p class="src"><a id="v:toValueType" class="def">toValueType</a> :: <a href="Base-Types.html#t:Type">Type</a> -> t <a href="src/Env-Value.html#toValueType" class="link">Source</a> <a href="#v:toValueType" class="selflink">#</a></p><p class="src"><a id="v:fromValueType" class="def">fromValueType</a> :: t -> <a href="Base-Types.html#t:PredType">PredType</a> <a href="src/Env-Value.html#fromValueType" class="link">Source</a> <a href="#v:fromValueType" class="selflink">#</a></p></div><div class="subs instances"><p id="control.i:ValueType" class="caption collapser" onclick="toggleSection('i:ValueType')">Instances</p><div id="section.i:ValueType" class="show"><table><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ValueType:ValueType:1" class="instance expander" onclick="toggleSection('i:ic:ValueType:ValueType:1')"></span> <a href="Env-Value.html#t:ValueType">ValueType</a> <a href="Base-Types.html#t:PredType">PredType</a></span> <a href="src/Env-Value.html#line-194" class="link">Source</a> <a href="#t:ValueType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ValueType:ValueType:1" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toValueType">toValueType</a> :: <a href="Base-Types.html#t:Type">Type</a> -> <a href="Base-Types.html#t:PredType">PredType</a> <a href="src/Env-Value.html#toValueType" class="link">Source</a> <a href="#v:toValueType" class="selflink">#</a></p><p class="src"><a href="#v:fromValueType">fromValueType</a> :: <a href="Base-Types.html#t:PredType">PredType</a> -> <a href="Base-Types.html#t:PredType">PredType</a> <a href="src/Env-Value.html#fromValueType" class="link">Source</a> <a href="#v:fromValueType" class="selflink">#</a></p></div></div></td></tr><tr><td class="src clearfix"><span class="inst-left"><span id="control.i:ic:ValueType:ValueType:2" class="instance expander" onclick="toggleSection('i:ic:ValueType:ValueType:2')"></span> <a href="Env-Value.html#t:ValueType">ValueType</a> <a href="Base-Types.html#t:Type">Type</a></span> <a href="src/Env-Value.html#line-190" class="link">Source</a> <a href="#t:ValueType" class="selflink">#</a></td><td class="doc empty"> </td></tr><tr><td colspan="2"><div id="section.i:ic:ValueType:ValueType:2" class="inst-details hide"><div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toValueType">toValueType</a> :: <a href="Base-Types.html#t:Type">Type</a> -> <a href="Base-Types.html#t:Type">Type</a> <a href="src/Env-Value.html#toValueType" class="link">Source</a> <a href="#v:toValueType" class="selflink">#</a></p><p class="src"><a href="#v:fromValueType">fromValueType</a> :: <a href="Base-Types.html#t:Type">Type</a> -> <a href="Base-Types.html#t:PredType">PredType</a> <a href="src/Env-Value.html#fromValueType" class="link">Source</a> <a href="#v:fromValueType" class="selflink">#</a></p></div></div></td></tr></table></div></div></div><div class="top"><p class="src"><a id="v:bindLocalVars" class="def">bindLocalVars</a> :: <a href="Env-Value.html#t:ValueType">ValueType</a> t => [(<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>, t)] -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#bindLocalVars" class="link">Source</a> <a href="#v:bindLocalVars" class="selflink">#</a></p></div><div class="top"><p class="src"><a id="v:bindLocalVar" class="def">bindLocalVar</a> :: <a href="Env-Value.html#t:ValueType">ValueType</a> t => (<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>, t) -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> -> <a href="Env-Value.html#t:ValueEnv">ValueEnv</a> <a href="src/Env-Value.html#bindLocalVar" class="link">Source</a> <a href="#v:bindLocalVar" 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>
|