<!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 >CoreUnfold</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" >CoreUnfold</DIV ><DIV CLASS="mini-synopsis" ><DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="CoreUnfold.html#t%3AUnfolding" TARGET="main" >Unfolding</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="CoreUnfold.html#t%3AUnfoldingGuidance" TARGET="main" >UnfoldingGuidance</A > </DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AnoUnfolding" TARGET="main" >noUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmkTopUnfolding" TARGET="main" >mkTopUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmkImplicitUnfolding" TARGET="main" >mkImplicitUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmkUnfolding" TARGET="main" >mkUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmkCompulsoryUnfolding" TARGET="main" >mkCompulsoryUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AseqUnfolding" TARGET="main" >seqUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AevaldUnfolding" TARGET="main" >evaldUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmkOtherCon" TARGET="main" >mkOtherCon</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AotherCons" TARGET="main" >otherCons</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AunfoldingTemplate" TARGET="main" >unfoldingTemplate</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AmaybeUnfoldingTemplate" TARGET="main" >maybeUnfoldingTemplate</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AisEvaldUnfolding" TARGET="main" >isEvaldUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AisValueUnfolding" TARGET="main" >isValueUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AisExpandableUnfolding" TARGET="main" >isExpandableUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AisCompulsoryUnfolding" TARGET="main" >isCompulsoryUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AhasUnfolding" TARGET="main" >hasUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AhasSomeUnfolding" TARGET="main" >hasSomeUnfolding</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AneverUnfold" TARGET="main" >neverUnfold</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AinterestingArg" TARGET="main" >interestingArg</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="CoreUnfold.html#t%3AArgSummary" TARGET="main" >ArgSummary</A > </DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AcouldBeSmallEnoughToInline" TARGET="main" >couldBeSmallEnoughToInline</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AcertainlyWillInline" TARGET="main" >certainlyWillInline</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AsmallEnoughToInline" TARGET="main" >smallEnoughToInline</A ></DIV > <DIV CLASS="decl" ><A HREF="CoreUnfold.html#v%3AcallSiteInline" TARGET="main" >callSiteInline</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="CoreUnfold.html#t%3ACallCtxt" TARGET="main" >CallCtxt</A > </DIV ></DIV ></DIV ></BODY ></HTML >