Sophie

Sophie

distrib > Fedora > 19 > i386 > by-pkgid > 6141746cd5048a6ddf1cf3194274ce61 > files > 1070

ghc-Agda-devel-2.3.2.1-5.fc19.i686.rpm

<!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>Agda.Syntax.Scope.Base</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();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Agda.Syntax.Scope.Base</p></div><div id="interface"><h1>Scope representation
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:Scope" target="main">Scope</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:NameSpaceId" target="main">NameSpaceId</a> </p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:localNameSpace" target="main">localNameSpace</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:nameSpaceAccess" target="main">nameSpaceAccess</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:scopeNameSpace" target="main">scopeNameSpace</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:ScopeInfo" target="main">ScopeInfo</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Scope-Base.html#t:LocalVars" target="main">LocalVars</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:NameSpace" target="main">NameSpace</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Scope-Base.html#t:ThingsInScope" target="main">ThingsInScope</a> a</p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Scope-Base.html#t:NamesInScope" target="main">NamesInScope</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Agda-Syntax-Scope-Base.html#t:ModulesInScope" target="main">ModulesInScope</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:InScopeTag" target="main">InScopeTag</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Agda-Syntax-Scope-Base.html#t:InScope" target="main">InScope</a> a</p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:inNameSpace" target="main">inNameSpace</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:KindOfName" target="main">KindOfName</a> </p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:allKindsOfNames" target="main">allKindsOfNames</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:AbstractName" target="main">AbstractName</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Agda-Syntax-Scope-Base.html#t:AbstractModule" target="main">AbstractModule</a> </p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:blockOfLines" target="main">blockOfLines</a></p></div><h1>Operations on names
</h1><h1>Operations on name and module maps.
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mergeNames" target="main">mergeNames</a></p></div><h1>Operations on name spaces
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:emptyNameSpace" target="main">emptyNameSpace</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapNameSpace" target="main">mapNameSpace</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:zipNameSpace" target="main">zipNameSpace</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapNameSpaceM" target="main">mapNameSpaceM</a></p></div><h1>General operations on scopes
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:emptyScope" target="main">emptyScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:emptyScopeInfo" target="main">emptyScopeInfo</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapScope" target="main">mapScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapScope_" target="main">mapScope_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapScopeM" target="main">mapScopeM</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mapScopeM_" target="main">mapScopeM_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:zipScope" target="main">zipScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:zipScope_" target="main">zipScope_</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:filterScope" target="main">filterScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:allNamesInScope" target="main">allNamesInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:allNamesInScope-39-" target="main">allNamesInScope'</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:exportedNamesInScope" target="main">exportedNamesInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:namesInScope" target="main">namesInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:allThingsInScope" target="main">allThingsInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:thingsInScope" target="main">thingsInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mergeScope" target="main">mergeScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:mergeScopes" target="main">mergeScopes</a></p></div><h1>Specific operations on scopes
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:setScopeAccess" target="main">setScopeAccess</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:setNameSpace" target="main">setNameSpace</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:addNamesToScope" target="main">addNamesToScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:addNameToScope" target="main">addNameToScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:addModuleToScope" target="main">addModuleToScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:applyImportDirective" target="main">applyImportDirective</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:renameCanonicalNames" target="main">renameCanonicalNames</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:restrictPrivate" target="main">restrictPrivate</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:removeOnlyQualified" target="main">removeOnlyQualified</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:publicModules" target="main">publicModules</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:everythingInScope" target="main">everythingInScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:flattenScope" target="main">flattenScope</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:scopeLookup" target="main">scopeLookup</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:scopeLookup-39-" target="main">scopeLookup'</a></p></div><h1>Inverse look-up
</h1><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:inverseScopeLookup" target="main">inverseScopeLookup</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:inverseScopeLookupName" target="main">inverseScopeLookupName</a></p></div><div class="top"><p class="src"><a href="Agda-Syntax-Scope-Base.html#v:inverseScopeLookupModule" target="main">inverseScopeLookupModule</a></p></div></div></body></html>

Perl :: Catalyst :: PostgreSQL :: RPM Valid HTML 4.01 Transitional