<!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.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" >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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> GhciType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > (<A HREF="../base-4.2.0.2/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 > -> RttiType -> RttiType -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > (<A HREF="../base-4.2.0.2/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-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/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-4.2.0.2/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-4.2.0.2/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-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/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 > -> <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%3AisSuspension" >isSuspension</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AisPrim" >isPrim</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AisFun" >isFun</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AisFunLike" >isFunLike</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AisNewtypeWrap" >isNewtypeWrap</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AisFullyEvaluated" >isFullyEvaluated</A > :: a -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</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%3AisFullyEvaluatedTerm" >isFullyEvaluatedTerm</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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%3AtermType" >termType</A > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> RttiType</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AmapTermType" >mapTermType</A > :: (RttiType -> <A HREF="Type.html#t%3AType" >Type</A >) -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> <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 > -> <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 -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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 -> [<A HREF="../base-4.2.0.2/Data-Word.html#t%3AWord" >Word</A >] -> a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfSuspension" >fSuspension</A > :: <A HREF="RtClosureInspect.html#t%3AClosureType" >ClosureType</A > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A > -> a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfNewtypeWrap" >fNewtypeWrap</A > :: RttiType -> <A HREF="../base-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A > -> a -> a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfRefWrap" >fRefWrap</A > :: RttiType -> a -> 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-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <A HREF="RtClosureInspect.html#t%3ATermFoldM" >TermFoldM</A > m a -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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 -> [<A HREF="../base-4.2.0.2/Data-Word.html#t%3AWord" >Word</A >] -> m a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfSuspensionM" >fSuspensionM</A > :: <A HREF="RtClosureInspect.html#t%3AClosureType" >ClosureType</A > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A > -> m a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfNewtypeWrapM" >fNewtypeWrapM</A > :: RttiType -> <A HREF="../base-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A > -> a -> m a</TD ></TR ><TR ><TD CLASS="recfield" ><A HREF="#v%3AfRefWrapM" >fRefWrapM</A > :: RttiType -> a -> 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 -> TermPrinter</TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AcPprTerm" >cPprTerm</A > :: <A HREF="../base-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter" >CustomTermPrinter</A > m -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <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 -> [Precedence -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> m (<A HREF="../base-4.2.0.2/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-4.2.0.2/Foreign-Ptr.html#t%3APtr" >Ptr</A > <A HREF="../ghc-prim-0.2.0.0/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="../array-0.3.0.1/Data-Array.html#t%3AArray" >Array</A > <A HREF="../base-4.2.0.2/Data-Int.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-4.2.0.2/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 -> <A HREF="../base-4.2.0.2/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="../base-4.2.0.2/Data-Int.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="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AMutVar" >MutVar</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AMVar" >MVar</A > <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A ></TD ></TR ><TR ><TD CLASS="decl" >| <A HREF="#v%3AOther" >Other</A > <A HREF="../base-4.2.0.2/Data-Int.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 > -> <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%3AisIndirection" >isIndirection</A > :: <A HREF="RtClosureInspect.html#t%3AClosureType" >ClosureType</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%3AsigmaType" >sigmaType</A > :: <A HREF="Type.html#t%3AType" >Type</A > -> <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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> <A HREF="../base-4.2.0.2/Data-Bool.html#t%3ABool" >Bool</A > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/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 > -> <A HREF="../base-4.2.0.2/Data-Int.html#t%3AInt" >Int</A > -> GhciType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > (<A HREF="../base-4.2.0.2/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 > -> RttiType -> RttiType -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</A > (<A HREF="../base-4.2.0.2/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-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/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-4.2.0.2/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-4.2.0.2/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-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/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 > -> <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:isSuspension" ><A NAME="v%3AisSuspension" ></A ></A ><B >isSuspension</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:isPrim" ><A NAME="v%3AisPrim" ></A ></A ><B >isPrim</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:isFun" ><A NAME="v%3AisFun" ></A ></A ><B >isFun</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:isFunLike" ><A NAME="v%3AisFunLike" ></A ></A ><B >isFunLike</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:isNewtypeWrap" ><A NAME="v%3AisNewtypeWrap" ></A ></A ><B >isNewtypeWrap</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:isFullyEvaluated" ><A NAME="v%3AisFullyEvaluated" ></A ></A ><B >isFullyEvaluated</B > :: a -> <A HREF="../base-4.2.0.2/System-IO.html#t%3AIO" >IO</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:isFullyEvaluatedTerm" ><A NAME="v%3AisFullyEvaluatedTerm" ></A ></A ><B >isFullyEvaluatedTerm</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</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:termType" ><A NAME="v%3AtermType" ></A ></A ><B >termType</B > :: <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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 -> <A HREF="Type.html#t%3AType" >Type</A >) -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> <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 > -> <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 -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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 -> [<A HREF="../base-4.2.0.2/Data-Word.html#t%3AWord" >Word</A >] -> 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 > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A > -> 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 -> <A HREF="../base-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A > -> a -> 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 -> a -> 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-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <A HREF="RtClosureInspect.html#t%3ATermFoldM" >TermFoldM</A > m a -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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 -> [<A HREF="../base-4.2.0.2/Data-Word.html#t%3AWord" >Word</A >] -> 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 > -> RttiType -> <A HREF="ByteCodeLink.html#t%3AHValue" >HValue</A > -> <A HREF="../base-4.2.0.2/Data-Maybe.html#t%3AMaybe" >Maybe</A > <A HREF="Name.html#t%3AName" >Name</A > -> 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 -> <A HREF="../base-4.2.0.2/Data-Either.html#t%3AEither" >Either</A > <A HREF="../base-4.2.0.2/Data-Char.html#t%3AString" >String</A > <A HREF="DataCon.html#t%3ADataCon" >DataCon</A > -> a -> 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 -> a -> 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 -> 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-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <A HREF="RtClosureInspect.html#t%3ACustomTermPrinter" >CustomTermPrinter</A > m -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> 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-4.2.0.2/Control-Monad.html#t%3AMonad" >Monad</A > m => <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 -> [Precedence -> <A HREF="RtClosureInspect.html#t%3ATerm" >Term</A > -> m (<A HREF="../base-4.2.0.2/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-4.2.0.2/Foreign-Ptr.html#t%3APtr" >Ptr</A > <A HREF="../ghc-prim-0.2.0.0/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="../array-0.3.0.1/Data-Array.html#t%3AArray" >Array</A > <A HREF="../base-4.2.0.2/Data-Int.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-4.2.0.2/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 -> <A HREF="../base-4.2.0.2/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="../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: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="../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:MutVar" ><A NAME="v%3AMutVar" ></A ></A ><B >MutVar</B > <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:MVar" ><A NAME="v%3AMVar" ></A ></A ><B >MVar</B > <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:Other" ><A NAME="v%3AOther" ></A ></A ><B >Other</B > <A HREF="../base-4.2.0.2/Data-Int.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-4.2.0.2/Data-Eq.html#t%3AEq" >Eq</A > <A HREF="RtClosureInspect.html#t%3AClosureType" >ClosureType</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="../base-4.2.0.2/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 > -> <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:isIndirection" ><A NAME="v%3AisIndirection" ></A ></A ><B >isIndirection</B > :: <A HREF="RtClosureInspect.html#t%3AClosureType" >ClosureType</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:sigmaType" ><A NAME="v%3AsigmaType" ></A ></A ><B >sigmaType</B > :: <A HREF="Type.html#t%3AType" >Type</A > -> <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.6.1</TD ></TR ></TABLE ></BODY ></HTML >