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

ghc-doc-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
>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.10.4: 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
> -&gt; <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
> -&gt; <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="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <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
> -&gt; <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
> -&gt; <A HREF="../ghc-prim/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
>] -&gt; <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
> -&gt; [<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
> -&gt; <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
> -&gt; <A HREF="../base/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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisCheapUnfolding"
>isCheapUnfolding</A
> :: <A HREF="CoreUnfold.html#t%3AUnfolding"
>Unfolding</A
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcouldBeSmallEnoughToInline"
>couldBeSmallEnoughToInline</A
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; [<A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>] -&gt; <A HREF="CoreUnfold.html#t%3ACallCtxt"
>CallCtxt</A
> -&gt; <A HREF="../base/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="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</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
> -&gt; <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
> -&gt; <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="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <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
> -&gt; <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
> -&gt; <A HREF="../ghc-prim/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
>] -&gt; <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
> -&gt; [<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
> -&gt; <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
> -&gt; <A HREF="../base/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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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:isCheapUnfolding"
><A NAME="v%3AisCheapUnfolding"
></A
></A
><B
>isCheapUnfolding</B
> :: <A HREF="CoreUnfold.html#t%3AUnfolding"
>Unfolding</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
></TD
></TR
><TR
><TD CLASS="doc"
>Is the thing we will unfold into certainly cheap?
</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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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:couldBeSmallEnoughToInline"
><A NAME="v%3AcouldBeSmallEnoughToInline"
></A
></A
><B
>couldBeSmallEnoughToInline</B
> :: <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="CoreSyn.html#t%3ACoreExpr"
>CoreExpr</A
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-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
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; <A HREF="Var.html#t%3AId"
>Id</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; [<A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
>] -&gt; <A HREF="CoreUnfold.html#t%3ACallCtxt"
>CallCtxt</A
> -&gt; <A HREF="../base/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="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></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.4.2</TD
></TR
></TABLE
></BODY
></HTML
>