+ -- ** The InlinePragInfo type
+ InlinePragInfo,
+ inlinePragInfo, setInlinePragInfo,
+
+ -- ** The OccInfo type
+ OccInfo(..),
+ isFragileOcc, isDeadOcc, isLoopBreaker,
+ occInfo, setOccInfo,
+
+ InsideLam, OneBranch,
+ insideLam, notInsideLam, oneBranch, notOneBranch,
+
+ -- ** The SpecInfo type
+ SpecInfo(..),
+ isEmptySpecInfo, specInfoFreeVars,
+ specInfoRules, seqSpecInfo, setSpecInfoHead,
+ specInfo, setSpecInfo,
+
+ -- ** The CAFInfo type
+ CafInfo(..),
+ ppCafInfo, mayHaveCafRefs,
+ cafInfo, setCafInfo,
+
+ -- ** The LBVarInfo type
+ LBVarInfo(..),
+ noLBVarInfo, hasNoLBVarInfo,
+ lbvarInfo, setLBVarInfo,
+
+ -- ** Tick-box Info