Sophie

Sophie

distrib > Mandriva > 2010.0 > i586 > media > contrib-release > by-pkgid > 1f2b142b9d2ef4849a6f5316fa1c5b12 > files > 2024

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
>RtClosureInspect</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_RtClosureInspect.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"
>RtClosureInspect</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"
><A HREF="#v%3AcvObtainTerm"
>cvObtainTerm</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcvReconstructType"
>cvReconstructType</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; GhciType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AimproveRTTIType"
>improveRTTIType</A
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; RttiType -&gt; RttiType -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3ATvSubst"
>TvSubst</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%3ATerm"
>Term</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3ATerm"
>Term</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adc"
>dc</A
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aval"
>val</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AsubTerms"
>subTerms</A
> :: [<A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
>]</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3APrim"
>Prim</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Avalue"
>value</A
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ASuspension"
>Suspension</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Actype"
>ctype</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aval"
>val</A
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Abound_to"
>bound_to</A
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ANewtypeWrap"
>NewtypeWrap</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Adc"
>dc</A
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Awrapped_term"
>wrapped_term</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ARefWrap"
>RefWrap</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aty"
>ty</A
> :: RttiType</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Awrapped_term"
>wrapped_term</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
>}</TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisTerm"
>isTerm</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisSuspension"
>isSuspension</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisPrim"
>isPrim</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisFun"
>isFun</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisFunLike"
>isFunLike</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisNewtypeWrap"
>isNewtypeWrap</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AisFullyEvaluated"
>isFullyEvaluated</A
> ::  a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <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%3AisFullyEvaluatedTerm"
>isFullyEvaluatedTerm</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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%3AtermType"
>termType</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; RttiType</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AmapTermType"
>mapTermType</A
> :: (RttiType -&gt; <A HREF="Type.html#t%3AType"
>Type</A
>) -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AtermTyVars"
>termTyVars</A
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfoldTerm"
>foldTerm</A
> ::  <A HREF="RtClosureInspect.html#t%3ATermFold"
>TermFold</A
> a -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ATermFold"
>TermFold</A
> a = <A HREF="#v%3ATermFold"
>TermFold</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfTerm"
>fTerm</A
> :: TermProcessor a a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfPrim"
>fPrim</A
> :: RttiType -&gt; [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>] -&gt; a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfSuspension"
>fSuspension</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfNewtypeWrap"
>fNewtypeWrap</A
> :: RttiType -&gt; <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; a -&gt; a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfRefWrap"
>fRefWrap</A
> :: RttiType -&gt; a -&gt; a</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AfoldTermM"
>foldTermM</A
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ATermFoldM"
>TermFoldM</A
> m a -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m a</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3ATermFoldM"
>TermFoldM</A
> m a = <A HREF="#v%3ATermFoldM"
>TermFoldM</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfTermM"
>fTermM</A
> :: TermProcessor a (m a)</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfPrimM"
>fPrimM</A
> :: RttiType -&gt; [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>] -&gt; m a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfSuspensionM"
>fSuspensionM</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfNewtypeWrapM"
>fNewtypeWrapM</A
> :: RttiType -&gt; <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; a -&gt; m a</TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AfRefWrapM"
>fRefWrapM</A
> :: RttiType -&gt; a -&gt; m a</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AidTermFold"
>idTermFold</A
> :: <A HREF="RtClosureInspect.html#t%3ATermFold"
>TermFold</A
> <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3ApprTerm"
>pprTerm</A
> :: TermPrinter -&gt; TermPrinter</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcPprTerm"
>cPprTerm</A
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter"
>CustomTermPrinter</A
> m -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AcPprTermBase"
>cPprTermBase</A
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter"
>CustomTermPrinter</A
> m</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A HREF="#t%3ACustomTermPrinter"
>CustomTermPrinter</A
> m = TermPrinterM m -&gt; [Precedence -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
>)]</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A HREF="#t%3AClosure"
>Closure</A
>  = <A HREF="#v%3AClosure"
>Closure</A
> {<TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="recfield"
><A HREF="#v%3Atipe"
>tipe</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AinfoPtr"
>infoPtr</A
> :: <A HREF="../base/Foreign-Ptr.html#t%3APtr"
>Ptr</A
> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AinfoTable"
>infoTable</A
> :: <A HREF="ByteCodeItbls.html#t%3AStgInfoTable"
>StgInfoTable</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3Aptrs"
>ptrs</A
> :: <A HREF="../base/GHC-Arr.html#t%3AArray"
>Array</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
></TR
><TR
><TD CLASS="recfield"
><A HREF="#v%3AnonPtrs"
>nonPtrs</A
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
></TR
></TABLE
>}</TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AgetClosureData"
>getClosureData</A
> ::  a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="RtClosureInspect.html#t%3AClosure"
>Closure</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%3AClosureType"
>ClosureType</A
>  </TD
></TR
><TR
><TD CLASS="body"
><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0"
><TR
><TD CLASS="decl"
>= <A HREF="#v%3AConstr"
>Constr</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AFun"
>Fun</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AThunk"
>Thunk</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AThunkSelector"
>ThunkSelector</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3ABlackhole"
>Blackhole</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AAP"
>AP</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3APAP"
>PAP</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AIndirection"
>Indirection</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AMutVar"
>MutVar</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AMVar"
>MVar</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
><TR
><TD CLASS="decl"
>| <A HREF="#v%3AOther"
>Other</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s8"
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="#v%3AisConstr"
>isConstr</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</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%3AisIndirection"
>isIndirection</A
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</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%3AsigmaType"
>sigmaType</A
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></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"
><A NAME="v:cvObtainTerm"
><A NAME="v%3AcvObtainTerm"
></A
></A
><B
>cvObtainTerm</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; <A HREF="../ghc-prim/GHC-Bool.html#t%3ABool"
>Bool</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:cvReconstructType"
><A NAME="v%3AcvReconstructType"
></A
></A
><B
>cvReconstructType</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> -&gt; GhciType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3AType"
>Type</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:improveRTTIType"
><A NAME="v%3AimproveRTTIType"
></A
></A
><B
>improveRTTIType</B
> :: <A HREF="HscTypes.html#t%3AHscEnv"
>HscEnv</A
> -&gt; RttiType -&gt; RttiType -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Type.html#t%3ATvSubst"
>TvSubst</A
>)</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Term"
><A NAME="t%3ATerm"
></A
></A
><B
>Term</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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Term"
><A NAME="v%3ATerm"
></A
></A
><B
>Term</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dc"
><A NAME="v%3Adc"
></A
></A
><B
>dc</B
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:val"
><A NAME="v%3Aval"
></A
></A
><B
>val</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:subTerms"
><A NAME="v%3AsubTerms"
></A
></A
><B
>subTerms</B
> :: [<A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Prim"
><A NAME="v%3APrim"
></A
></A
><B
>Prim</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:value"
><A NAME="v%3Avalue"
></A
></A
><B
>value</B
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Suspension"
><A NAME="v%3ASuspension"
></A
></A
><B
>Suspension</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ctype"
><A NAME="v%3Actype"
></A
></A
><B
>ctype</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:val"
><A NAME="v%3Aval"
></A
></A
><B
>val</B
> :: <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:bound_to"
><A NAME="v%3Abound_to"
></A
></A
><B
>bound_to</B
> :: <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:NewtypeWrap"
><A NAME="v%3ANewtypeWrap"
></A
></A
><B
>NewtypeWrap</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:dc"
><A NAME="v%3Adc"
></A
></A
><B
>dc</B
> :: <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:wrapped_term"
><A NAME="v%3Awrapped_term"
></A
></A
><B
>wrapped_term</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:RefWrap"
><A NAME="v%3ARefWrap"
></A
></A
><B
>RefWrap</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:ty"
><A NAME="v%3Aty"
></A
></A
><B
>ty</B
> :: RttiType</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:wrapped_term"
><A NAME="v%3Awrapped_term"
></A
></A
><B
>wrapped_term</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:Term')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:Term" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isTerm"
><A NAME="v%3AisTerm"
></A
></A
><B
>isTerm</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isSuspension"
><A NAME="v%3AisSuspension"
></A
></A
><B
>isSuspension</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isPrim"
><A NAME="v%3AisPrim"
></A
></A
><B
>isPrim</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isFun"
><A NAME="v%3AisFun"
></A
></A
><B
>isFun</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isFunLike"
><A NAME="v%3AisFunLike"
></A
></A
><B
>isFunLike</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isNewtypeWrap"
><A NAME="v%3AisNewtypeWrap"
></A
></A
><B
>isNewtypeWrap</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:isFullyEvaluated"
><A NAME="v%3AisFullyEvaluated"
></A
></A
><B
>isFullyEvaluated</B
> ::  a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <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:isFullyEvaluatedTerm"
><A NAME="v%3AisFullyEvaluatedTerm"
></A
></A
><B
>isFullyEvaluatedTerm</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</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:termType"
><A NAME="v%3AtermType"
></A
></A
><B
>termType</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; RttiType</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:mapTermType"
><A NAME="v%3AmapTermType"
></A
></A
><B
>mapTermType</B
> :: (RttiType -&gt; <A HREF="Type.html#t%3AType"
>Type</A
>) -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:termTyVars"
><A NAME="v%3AtermTyVars"
></A
></A
><B
>termTyVars</B
> :: <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; <A HREF="VarSet.html#t%3ATyVarSet"
>TyVarSet</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:foldTerm"
><A NAME="v%3AfoldTerm"
></A
></A
><B
>foldTerm</B
> ::  <A HREF="RtClosureInspect.html#t%3ATermFold"
>TermFold</A
> a -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:TermFold"
><A NAME="t%3ATermFold"
></A
></A
><B
>TermFold</B
> a </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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:TermFold"
><A NAME="v%3ATermFold"
></A
></A
><B
>TermFold</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:fTerm"
><A NAME="v%3AfTerm"
></A
></A
><B
>fTerm</B
> :: TermProcessor a a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fPrim"
><A NAME="v%3AfPrim"
></A
></A
><B
>fPrim</B
> :: RttiType -&gt; [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>] -&gt; a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fSuspension"
><A NAME="v%3AfSuspension"
></A
></A
><B
>fSuspension</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fNewtypeWrap"
><A NAME="v%3AfNewtypeWrap"
></A
></A
><B
>fNewtypeWrap</B
> :: RttiType -&gt; <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; a -&gt; a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fRefWrap"
><A NAME="v%3AfRefWrap"
></A
></A
><B
>fRefWrap</B
> :: RttiType -&gt; a -&gt; a</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:foldTermM"
><A NAME="v%3AfoldTermM"
></A
></A
><B
>foldTermM</B
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ATermFoldM"
>TermFoldM</A
> m a -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m a</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:TermFoldM"
><A NAME="t%3ATermFoldM"
></A
></A
><B
>TermFoldM</B
> m a </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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:TermFoldM"
><A NAME="v%3ATermFoldM"
></A
></A
><B
>TermFoldM</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:fTermM"
><A NAME="v%3AfTermM"
></A
></A
><B
>fTermM</B
> :: TermProcessor a (m a)</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fPrimM"
><A NAME="v%3AfPrimM"
></A
></A
><B
>fPrimM</B
> :: RttiType -&gt; [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>] -&gt; m a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fSuspensionM"
><A NAME="v%3AfSuspensionM"
></A
></A
><B
>fSuspensionM</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
> -&gt; RttiType -&gt; <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
> -&gt; <A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Name.html#t%3AName"
>Name</A
> -&gt; m a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fNewtypeWrapM"
><A NAME="v%3AfNewtypeWrapM"
></A
></A
><B
>fNewtypeWrapM</B
> :: RttiType -&gt; <A HREF="../base/Data-Either.html#t%3AEither"
>Either</A
> <A HREF="../base/Data-Char.html#t%3AString"
>String</A
> <A HREF="DataCon.html#t%3ADataCon"
>DataCon</A
> -&gt; a -&gt; m a</TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:fRefWrapM"
><A NAME="v%3AfRefWrapM"
></A
></A
><B
>fRefWrapM</B
> :: RttiType -&gt; a -&gt; m a</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:idTermFold"
><A NAME="v%3AidTermFold"
></A
></A
><B
>idTermFold</B
> :: <A HREF="RtClosureInspect.html#t%3ATermFold"
>TermFold</A
> <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:pprTerm"
><A NAME="v%3ApprTerm"
></A
></A
><B
>pprTerm</B
> :: TermPrinter -&gt; TermPrinter</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:cPprTerm"
><A NAME="v%3AcPprTerm"
></A
></A
><B
>cPprTerm</B
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter"
>CustomTermPrinter</A
> m -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
></TD
></TR
><TR
><TD CLASS="doc"
>Takes a list of custom printers with a explicit recursion knot and a term, 
 and returns the output of the first succesful printer, or the default printer
</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:cPprTermBase"
><A NAME="v%3AcPprTermBase"
></A
></A
><B
>cPprTermBase</B
> :: <A HREF="../base/Control-Monad.html#t%3AMonad"
>Monad</A
> m =&gt; <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter"
>CustomTermPrinter</A
> m</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>type</SPAN
> <A NAME="t:CustomTermPrinter"
><A NAME="t%3ACustomTermPrinter"
></A
></A
><B
>CustomTermPrinter</B
> m = TermPrinterM m -&gt; [Precedence -&gt; <A HREF="RtClosureInspect.html#t%3ATerm"
>Term</A
> -&gt; m (<A HREF="../base/Data-Maybe.html#t%3AMaybe"
>Maybe</A
> <A HREF="Outputable.html#t%3ASDoc"
>SDoc</A
>)]</TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:Closure"
><A NAME="t%3AClosure"
></A
></A
><B
>Closure</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="5" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:Closure"
><A NAME="v%3AClosure"
></A
></A
><B
>Closure</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="body" COLSPAN="2"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="arg"
><A NAME="v:tipe"
><A NAME="v%3Atipe"
></A
></A
><B
>tipe</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:infoPtr"
><A NAME="v%3AinfoPtr"
></A
></A
><B
>infoPtr</B
> :: <A HREF="../base/Foreign-Ptr.html#t%3APtr"
>Ptr</A
> <A HREF="../ghc-prim/GHC-Unit.html#t%3A%28%29"
>()</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:infoTable"
><A NAME="v%3AinfoTable"
></A
></A
><B
>infoTable</B
> :: <A HREF="ByteCodeItbls.html#t%3AStgInfoTable"
>StgInfoTable</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ptrs"
><A NAME="v%3Aptrs"
></A
></A
><B
>ptrs</B
> :: <A HREF="../base/GHC-Arr.html#t%3AArray"
>Array</A
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
> <A HREF="ByteCodeLink.html#t%3AHValue"
>HValue</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:nonPtrs"
><A NAME="v%3AnonPtrs"
></A
></A
><B
>nonPtrs</B
> :: [<A HREF="../base/Data-Word.html#t%3AWord"
>Word</A
>]</TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:getClosureData"
><A NAME="v%3AgetClosureData"
></A
></A
><B
>getClosureData</B
> ::  a -&gt; <A HREF="../base/System-IO.html#t%3AIO"
>IO</A
> <A HREF="RtClosureInspect.html#t%3AClosure"
>Closure</A
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><SPAN CLASS="keyword"
>data</SPAN
>  <A NAME="t:ClosureType"
><A NAME="t%3AClosureType"
></A
></A
><B
>ClosureType</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:Constr"
><A NAME="v%3AConstr"
></A
></A
><B
>Constr</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Fun"
><A NAME="v%3AFun"
></A
></A
><B
>Fun</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Thunk"
><A NAME="v%3AThunk"
></A
></A
><B
>Thunk</B
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:ThunkSelector"
><A NAME="v%3AThunkSelector"
></A
></A
><B
>ThunkSelector</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Blackhole"
><A NAME="v%3ABlackhole"
></A
></A
><B
>Blackhole</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:AP"
><A NAME="v%3AAP"
></A
></A
><B
>AP</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:PAP"
><A NAME="v%3APAP"
></A
></A
><B
>PAP</B
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Indirection"
><A NAME="v%3AIndirection"
></A
></A
><B
>Indirection</B
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:MutVar"
><A NAME="v%3AMutVar"
></A
></A
><B
>MutVar</B
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:MVar"
><A NAME="v%3AMVar"
></A
></A
><B
>MVar</B
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
><TR
><TD CLASS="arg"
><A NAME="v:Other"
><A NAME="v%3AOther"
></A
></A
><B
>Other</B
> <A HREF="../ghc-prim/GHC-Types.html#t%3AInt"
>Int</A
></TD
><TD CLASS="rdoc"
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="section4"
><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:ClosureType')" ALT="show/hide"
> Instances</TD
></TR
><TR
><TD CLASS="body"
><DIV ID="i:ClosureType" STYLE="display:block;"
><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0"
><TR
><TD CLASS="decl"
><A HREF="../base/Data-Eq.html#t%3AEq"
>Eq</A
> <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="../base/Text-Show.html#t%3AShow"
>Show</A
> <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
><TR
><TD CLASS="decl"
><A HREF="Outputable.html#t%3AOutputable"
>Outputable</A
> <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</A
></TD
></TR
></TABLE
></DIV
></TD
></TR
></TABLE
></TD
></TR
><TR
><TD CLASS="s15"
></TD
></TR
><TR
><TD CLASS="decl"
><A NAME="v:isConstr"
><A NAME="v%3AisConstr"
></A
></A
><B
>isConstr</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</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:isIndirection"
><A NAME="v%3AisIndirection"
></A
></A
><B
>isIndirection</B
> :: <A HREF="RtClosureInspect.html#t%3AClosureType"
>ClosureType</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:sigmaType"
><A NAME="v%3AsigmaType"
></A
></A
><B
>sigmaType</B
> :: <A HREF="Type.html#t%3AType"
>Type</A
> -&gt; <A HREF="Type.html#t%3AType"
>Type</A
></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
>