<!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 ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_CoreUnfold.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >ghc-6.12.3: The GHC API</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >CoreUnfold</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AUnfolding" >Unfolding</A > </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AUnfoldingGuidance" >UnfoldingGuidance</A > </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AnoUnfolding" >noUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkTopUnfolding" >mkTopUnfolding</A > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkImplicitUnfolding" >mkImplicitUnfolding</A > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkUnfolding" >mkUnfolding</A > :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkCompulsoryUnfolding" >mkCompulsoryUnfolding</A > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AseqUnfolding" >seqUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AevaldUnfolding" >evaldUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmkOtherCon" >mkOtherCon</A > :: [<A HREF="CoreSyn.html#t%3AAltCon" >AltCon</A >] -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AotherCons" >otherCons</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> [<A HREF="CoreSyn.html#t%3AAltCon" >AltCon</A >]</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AunfoldingTemplate" >unfoldingTemplate</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmaybeUnfoldingTemplate" >maybeUnfoldingTemplate</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AisEvaldUnfolding" >isEvaldUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AisValueUnfolding" >isValueUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AisExpandableUnfolding" >isExpandableUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AisCompulsoryUnfolding" >isCompulsoryUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AhasUnfolding" >hasUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AhasSomeUnfolding" >hasSomeUnfolding</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AneverUnfold" >neverUnfold</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AinterestingArg" >interestingArg</A > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AArgSummary" >ArgSummary</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AArgSummary" >ArgSummary</A > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" >= <A HREF="#v%3ATrivArg" >TrivArg</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3ANonTrivArg" >NonTrivArg</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AValueArg" >ValueArg</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AcouldBeSmallEnoughToInline" >couldBeSmallEnoughToInline</A > :: <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AcertainlyWillInline" >certainlyWillInline</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AsmallEnoughToInline" >smallEnoughToInline</A > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AcallSiteInline" >callSiteInline</A > :: <A HREF="DynFlags.html#t%3ADynFlags" >DynFlags</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> [<A HREF="CoreUnfold.html#t%3AArgSummary" >ArgSummary</A >] -> <A HREF="CoreUnfold.html#t%3ACallCtxt" >CallCtxt</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3ACallCtxt" >CallCtxt</A > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" >= <A HREF="#v%3ABoringCtxt" >BoringCtxt</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AArgCtxt" >ArgCtxt</A > <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AValAppCtxt" >ValAppCtxt</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3ACaseCtxt" >CaseCtxt</A ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:Unfolding" ><A NAME="t%3AUnfolding" ></A ></A ><B >Unfolding</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >Records the <EM >unfolding</EM > of an identifier, which is approximately the form the identifier would have if we substituted its definition in for the identifier. This type should be treated as abstract everywhere except in <A HREF="CoreUnfold.html" >CoreUnfold</A > </TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Unfolding')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:Unfolding" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:UnfoldingGuidance" ><A NAME="t%3AUnfoldingGuidance" ></A ></A ><B >UnfoldingGuidance</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >When unfolding should take place </TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:UnfoldingGuidance')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:UnfoldingGuidance" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="CoreUnfold.html#t%3AUnfoldingGuidance" >UnfoldingGuidance</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:noUnfolding" ><A NAME="v%3AnoUnfolding" ></A ></A ><B >noUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="doc" >There is no known <TT ><A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TT > </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkTopUnfolding" ><A NAME="v%3AmkTopUnfolding" ></A ></A ><B >mkTopUnfolding</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkImplicitUnfolding" ><A NAME="v%3AmkImplicitUnfolding" ></A ></A ><B >mkImplicitUnfolding</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkUnfolding" ><A NAME="v%3AmkUnfolding" ></A ></A ><B >mkUnfolding</B > :: <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkCompulsoryUnfolding" ><A NAME="v%3AmkCompulsoryUnfolding" ></A ></A ><B >mkCompulsoryUnfolding</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:seqUnfolding" ><A NAME="v%3AseqUnfolding" ></A ></A ><B >seqUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../ghc-prim-0.2.0.0/GHC-Unit.html#t%3A%28%29" >()</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:evaldUnfolding" ><A NAME="v%3AevaldUnfolding" ></A ></A ><B >evaldUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="doc" >This unfolding marks the associated thing as being evaluated </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:mkOtherCon" ><A NAME="v%3AmkOtherCon" ></A ></A ><B >mkOtherCon</B > :: [<A HREF="CoreSyn.html#t%3AAltCon" >AltCon</A >] -> <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:otherCons" ><A NAME="v%3AotherCons" ></A ></A ><B >otherCons</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> [<A HREF="CoreSyn.html#t%3AAltCon" >AltCon</A >]</TD ></TR ><TR ><TD CLASS="doc" >The constructors that the unfolding could never be: returns <TT >[]</TT > if no information is available </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:unfoldingTemplate" ><A NAME="v%3AunfoldingTemplate" ></A ></A ><B >unfoldingTemplate</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="doc" >Retrieves the template of an unfolding: panics if none is known </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:maybeUnfoldingTemplate" ><A NAME="v%3AmaybeUnfoldingTemplate" ></A ></A ><B >maybeUnfoldingTemplate</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="doc" >Retrieves the template of an unfolding if possible </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isEvaldUnfolding" ><A NAME="v%3AisEvaldUnfolding" ></A ></A ><B >isEvaldUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Determines if it possibly the case that the unfolding will yield a value. Unlike <TT ><A HREF="CoreUnfold.html#v%3AisValueUnfolding" >isValueUnfolding</A ></TT > it returns <TT >True</TT > for <TT ><A HREF="CoreSyn.html#v%3AOtherCon" >OtherCon</A ></TT > </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isValueUnfolding" ><A NAME="v%3AisValueUnfolding" ></A ></A ><B >isValueUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Determines if it is certainly the case that the unfolding will yield a value (something in HNF): returns <TT >False</TT > if unsure </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isExpandableUnfolding" ><A NAME="v%3AisExpandableUnfolding" ></A ></A ><B >isExpandableUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:isCompulsoryUnfolding" ><A NAME="v%3AisCompulsoryUnfolding" ></A ></A ><B >isCompulsoryUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Must this unfolding happen for the code to be executable? </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hasUnfolding" ><A NAME="v%3AhasUnfolding" ></A ></A ><B >hasUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Do we have an available or compulsory unfolding? </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:hasSomeUnfolding" ><A NAME="v%3AhasSomeUnfolding" ></A ></A ><B >hasSomeUnfolding</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Only returns False if there is no unfolding information available at all </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:neverUnfold" ><A NAME="v%3AneverUnfold" ></A ></A ><B >neverUnfold</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="doc" >Similar to <TT >not . hasUnfolding</TT >, but also returns <TT >True</TT > if it has an unfolding that says it should never occur </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:interestingArg" ><A NAME="v%3AinterestingArg" ></A ></A ><B >interestingArg</B > :: <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="CoreUnfold.html#t%3AArgSummary" >ArgSummary</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:ArgSummary" ><A NAME="t%3AArgSummary" ></A ></A ><B >ArgSummary</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:TrivArg" ><A NAME="v%3ATrivArg" ></A ></A ><B >TrivArg</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:NonTrivArg" ><A NAME="v%3ANonTrivArg" ></A ></A ><B >NonTrivArg</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ValueArg" ><A NAME="v%3AValueArg" ></A ></A ><B >ValueArg</B ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:ArgSummary')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:ArgSummary" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="CoreUnfold.html#t%3AArgSummary" >ArgSummary</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:couldBeSmallEnoughToInline" ><A NAME="v%3AcouldBeSmallEnoughToInline" ></A ></A ><B >couldBeSmallEnoughToInline</B > :: <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:certainlyWillInline" ><A NAME="v%3AcertainlyWillInline" ></A ></A ><B >certainlyWillInline</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:smallEnoughToInline" ><A NAME="v%3AsmallEnoughToInline" ></A ></A ><B >smallEnoughToInline</B > :: <A HREF="CoreUnfold.html#t%3AUnfolding" >Unfolding</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:callSiteInline" ><A NAME="v%3AcallSiteInline" ></A ></A ><B >callSiteInline</B > :: <A HREF="DynFlags.html#t%3ADynFlags" >DynFlags</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> <A HREF="Var.html#t%3AId" >Id</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> [<A HREF="CoreUnfold.html#t%3AArgSummary" >ArgSummary</A >] -> <A HREF="CoreUnfold.html#t%3ACallCtxt" >CallCtxt</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="CoreSyn.html#t%3ACoreExpr" >CoreExpr</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:CallCtxt" ><A NAME="t%3ACallCtxt" ></A ></A ><B >CallCtxt</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="section4" >Constructors</TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="arg" ><A NAME="v:BoringCtxt" ><A NAME="v%3ABoringCtxt" ></A ></A ><B >BoringCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ArgCtxt" ><A NAME="v%3AArgCtxt" ></A ></A ><B >ArgCtxt</B > <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:ValAppCtxt" ><A NAME="v%3AValAppCtxt" ></A ></A ><B >ValAppCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ><TR ><TD CLASS="arg" ><A NAME="v:CaseCtxt" ><A NAME="v%3ACaseCtxt" ></A ></A ><B >CaseCtxt</B ></TD ><TD CLASS="rdoc" ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:CallCtxt')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:CallCtxt" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="Outputable.html#t%3AOutputable" >Outputable</A > <A HREF="CoreUnfold.html#t%3ACallCtxt" >CallCtxt</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.6.1</TD ></TR ></TABLE ></BODY ></HTML >