<!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 > <A HREF="CoreSubst.html#t%3ASubst" TARGET="main" >Subst</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="CoreSubst.html#t%3ATvSubstEnv" TARGET="main" >TvSubstEnv</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="CoreSubst.html#t%3AIdSubstEnv" TARGET="main" >IdSubstEnv</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <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%3AsubstBind" TARGET="main" >substBind</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 >