Sophie: ghc-0:6.10.4-1mdv2010.0 i586

ghc-6.10.4-1mdv2010.0.i586.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--Rendered using the Haskell Html Library v0.2-->
<HTML
><HEAD
><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8"
><TITLE
>CoreSubst</TITLE
><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css"
><SCRIPT SRC="haddock-util.js" TYPE="text/javascript"
></SCRIPT
></HEAD
><BODY
><DIV CLASS="outer"
><DIV CLASS="mini-topbar"
>CoreSubst</DIV
><DIV CLASS="mini-synopsis"
><H1
>Main data types
</H1
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="CoreSubst.html#t%3ASubst" TARGET="main"
>Subst</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="CoreSubst.html#t%3ATvSubstEnv" TARGET="main"
>TvSubstEnv</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
>&nbsp;<A HREF="CoreSubst.html#t%3AIdSubstEnv" TARGET="main"
>IdSubstEnv</A
> </DIV
> <DIV CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>&nbsp;<A HREF="CoreSubst.html#t%3AInScopeSet" TARGET="main"
>InScopeSet</A
> </DIV
> <H2
>Substituting into expressions and related types
</H2
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AdeShadowBinds" TARGET="main"
>deShadowBinds</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstTy" TARGET="main"
>substTy</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstExpr" TARGET="main"
>substExpr</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstSpec" TARGET="main"
>substSpec</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstWorker" TARGET="main"
>substWorker</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AlookupIdSubst" TARGET="main"
>lookupIdSubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AlookupTvSubst" TARGET="main"
>lookupTvSubst</A
></DIV
> <H2
>Operations on substitutions
</H2
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AemptySubst" TARGET="main"
>emptySubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AmkEmptySubst" TARGET="main"
>mkEmptySubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AmkSubst" TARGET="main"
>mkSubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstInScope" TARGET="main"
>substInScope</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AisEmptySubst" TARGET="main"
>isEmptySubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendIdSubst" TARGET="main"
>extendIdSubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendIdSubstList" TARGET="main"
>extendIdSubstList</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendTvSubst" TARGET="main"
>extendTvSubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendTvSubstList" TARGET="main"
>extendTvSubstList</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendSubst" TARGET="main"
>extendSubst</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendSubstList" TARGET="main"
>extendSubstList</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AzapSubstEnv" TARGET="main"
>zapSubstEnv</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendInScope" TARGET="main"
>extendInScope</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendInScopeList" TARGET="main"
>extendInScopeList</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AextendInScopeIds" TARGET="main"
>extendInScopeIds</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AisInScope" TARGET="main"
>isInScope</A
></DIV
> <H2
>Substituting and cloning binders
</H2
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstBndr" TARGET="main"
>substBndr</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstBndrs" TARGET="main"
>substBndrs</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AsubstRecBndrs" TARGET="main"
>substRecBndrs</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AcloneIdBndr" TARGET="main"
>cloneIdBndr</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AcloneIdBndrs" TARGET="main"
>cloneIdBndrs</A
></DIV
> <DIV CLASS="decl"
><A HREF="CoreSubst.html#v%3AcloneRecIdBndrs" TARGET="main"
>cloneRecIdBndrs</A
></DIV
></DIV
></DIV
></BODY
></HTML
>