<!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 >IdInfo</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ></HEAD ><BODY ><DIV CLASS="outer" ><DIV CLASS="mini-topbar" >IdInfo</DIV ><DIV CLASS="mini-synopsis" ><H1 >The IdDetails type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3AIdDetails" TARGET="main" >IdDetails</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3ApprIdDetails" TARGET="main" >pprIdDetails</A ></DIV > <H1 >The IdInfo type </H1 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3AIdInfo" TARGET="main" >IdInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AvanillaIdInfo" TARGET="main" >vanillaIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnoCafIdInfo" TARGET="main" >noCafIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AseqIdInfo" TARGET="main" >seqIdInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AmegaSeqIdInfo" TARGET="main" >megaSeqIdInfo</A ></DIV > <H2 >Zapping various forms of Info </H2 > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AzapLamInfo" TARGET="main" >zapLamInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AzapDemandInfo" TARGET="main" >zapDemandInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AzapFragileInfo" TARGET="main" >zapFragileInfo</A ></DIV > <H2 >The ArityInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="IdInfo.html#t%3AArityInfo" TARGET="main" >ArityInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AunknownArity" TARGET="main" >unknownArity</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AarityInfo" TARGET="main" >arityInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetArityInfo" TARGET="main" >setArityInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AppArityInfo" TARGET="main" >ppArityInfo</A ></DIV > <H2 >Demand and strictness Info </H2 > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnewStrictnessInfo" TARGET="main" >newStrictnessInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetNewStrictnessInfo" TARGET="main" >setNewStrictnessInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnewDemandInfo" TARGET="main" >newDemandInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetNewDemandInfo" TARGET="main" >setNewDemandInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3ApprNewStrictness" TARGET="main" >pprNewStrictness</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetAllStrictnessInfo" TARGET="main" >setAllStrictnessInfo</A ></DIV > <H2 >The WorkerInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3AWorkerInfo" TARGET="main" >WorkerInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AworkerExists" TARGET="main" >workerExists</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AwrapperArity" TARGET="main" >wrapperArity</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AworkerId" TARGET="main" >workerId</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AworkerInfo" TARGET="main" >workerInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetWorkerInfo" TARGET="main" >setWorkerInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AppWorkerInfo" TARGET="main" >ppWorkerInfo</A ></DIV > <H2 >Unfolding Info </H2 > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AunfoldingInfo" TARGET="main" >unfoldingInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetUnfoldingInfo" TARGET="main" >setUnfoldingInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetUnfoldingInfoLazily" TARGET="main" >setUnfoldingInfoLazily</A ></DIV > <H2 >The InlinePragInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="IdInfo.html#t%3AInlinePragInfo" TARGET="main" >InlinePragInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AinlinePragInfo" TARGET="main" >inlinePragInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetInlinePragInfo" TARGET="main" >setInlinePragInfo</A ></DIV > <H2 >The OccInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3AOccInfo" TARGET="main" >OccInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AisFragileOcc" TARGET="main" >isFragileOcc</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AisDeadOcc" TARGET="main" >isDeadOcc</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AisLoopBreaker" TARGET="main" >isLoopBreaker</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AoccInfo" TARGET="main" >occInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetOccInfo" TARGET="main" >setOccInfo</A ></DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="IdInfo.html#t%3AInsideLam" TARGET="main" >InsideLam</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="IdInfo.html#t%3AOneBranch" TARGET="main" >OneBranch</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AinsideLam" TARGET="main" >insideLam</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnotInsideLam" TARGET="main" >notInsideLam</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AoneBranch" TARGET="main" >oneBranch</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnotOneBranch" TARGET="main" >notOneBranch</A ></DIV > <H2 >The SpecInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3ASpecInfo" TARGET="main" >SpecInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AisEmptySpecInfo" TARGET="main" >isEmptySpecInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AspecInfoFreeVars" TARGET="main" >specInfoFreeVars</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AspecInfoRules" TARGET="main" >specInfoRules</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AseqSpecInfo" TARGET="main" >seqSpecInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetSpecInfoHead" TARGET="main" >setSpecInfoHead</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AspecInfo" TARGET="main" >specInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetSpecInfo" TARGET="main" >setSpecInfo</A ></DIV > <H2 >The CAFInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3ACafInfo" TARGET="main" >CafInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AppCafInfo" TARGET="main" >ppCafInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AmayHaveCafRefs" TARGET="main" >mayHaveCafRefs</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AcafInfo" TARGET="main" >cafInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetCafInfo" TARGET="main" >setCafInfo</A ></DIV > <H2 >The LBVarInfo type </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3ALBVarInfo" TARGET="main" >LBVarInfo</A > </DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AnoLBVarInfo" TARGET="main" >noLBVarInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AhasNoLBVarInfo" TARGET="main" >hasNoLBVarInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AlbvarInfo" TARGET="main" >lbvarInfo</A ></DIV > <DIV CLASS="decl" ><A HREF="IdInfo.html#v%3AsetLBVarInfo" TARGET="main" >setLBVarInfo</A ></DIV > <H2 >Tick-box Info </H2 > <DIV CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="IdInfo.html#t%3ATickBoxOp" TARGET="main" >TickBoxOp</A > </DIV > <DIV CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="IdInfo.html#t%3ATickBoxId" TARGET="main" >TickBoxId</A > </DIV ></DIV ></DIV ></BODY ></HTML >