Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Retrie.GHC
Synopsis
- data RuleInfo = RuleInfo {
- riName :: RuleName
- riQuantifiers :: [RdrName]
- riLHS :: LHsExpr GhcPs
- riRHS :: LHsExpr GhcPs
- overlaps :: SrcSpan -> SrcSpan -> Bool
- cLPat :: LPat (GhcPass p) -> LPat (GhcPass p)
- dLPat :: LPat (GhcPass p) -> Maybe (LPat (GhcPass p))
- dLPatUnsafe :: LPat (GhcPass p) -> LPat (GhcPass p)
- rdrFS :: RdrName -> FastString
- fsDot :: FastString
- varRdrName :: HsExpr p -> Maybe (LIdP p)
- tyvarRdrName :: HsType p -> Maybe (LIdP p)
- fixityDecls :: HsModule GhcPs -> [(LocatedN RdrName, Fixity)]
- ruleInfo :: RuleDecl GhcPs -> [RuleInfo]
- tyBindersToLocatedRdrNames :: [LHsTyVarBndr s GhcPs] -> [LocatedN RdrName]
- ruleBindersToQs :: [LRuleBndr GhcPs] -> [RdrName]
- within :: (Int, Int) -> RealSrcSpan -> Bool
- lineCount :: [SrcSpan] -> Int
- showRdrs :: [RdrName] -> String
- uniqBag :: Uniquable a => [(a, b)] -> UniqFM a [b]
- getRealLoc :: SrcLoc -> Maybe RealSrcLoc
- getRealSpan :: SrcSpan -> Maybe RealSrcSpan
- showSDoc :: DynFlags -> SDoc -> String
- data Levity
- type RuleName = FastString
- data SuccessFlag
- data PromotionFlag
- type Arity = Int
- data Origin
- newtype PprPrec = PprPrec Int
- data Activation
- = AlwaysActive
- | ActiveBefore SourceText PhaseNum
- | ActiveAfter SourceText PhaseNum
- | FinalActive
- | NeverActive
- data Alignment
- type BranchCount = Int
- data CbvMark
- data CompilerPhase
- type ConTagZ = Int
- data DefMethSpec ty
- data DefaultingStrategy
- type FullArgCount = Int
- data FunctionOrData
- = IsFunction
- | IsData
- data InlinePragma = InlinePragma {
- inl_src :: SourceText
- inl_inline :: InlineSpec
- inl_sat :: Maybe Arity
- inl_act :: Activation
- inl_rule :: RuleMatchInfo
- data InlineSpec
- = Inline SourceText
- | Inlinable SourceText
- | NoInline SourceText
- | Opaque SourceText
- | NoUserInlinePrag
- data InsideLam
- data IntWithInf
- data InterestingCxt
- type JoinArity = Int
- data LeftOrRight
- data NonStandardDefaultingStrategy
- data OccInfo
- = ManyOccs {
- occ_tail :: !TailCallInfo
- | IAmDead
- | OneOcc { }
- | IAmALoopBreaker {
- occ_rules_only :: !RulesOnly
- occ_tail :: !TailCallInfo
- = ManyOccs {
- data OneShotInfo
- data OverlapFlag = OverlapFlag {
- overlapMode :: OverlapMode
- isSafeOverlap :: Bool
- data OverlapMode
- = NoOverlap SourceText
- | Overlappable SourceText
- | Overlapping SourceText
- | Overlaps SourceText
- | Incoherent SourceText
- type PhaseNum = Int
- data RecFlag
- type RepArity = Int
- data RuleMatchInfo
- data SwapFlag
- data TailCallInfo
- data TopLevelFlag
- data TupleSort
- data TypeOrConstraint
- data TypeOrKind
- data UnboxedTupleOrSum
- data UnfoldingSource
- data Boxity
- type ConTag = Int
- data ForeignSrcLang
- failed :: SuccessFlag -> Bool
- succeeded :: SuccessFlag -> Bool
- isPromoted :: PromotionFlag -> Bool
- appPrec :: PprPrec
- boxityTupleSort :: Boxity -> TupleSort
- opPrec :: PprPrec
- sigPrec :: PprPrec
- topPrec :: PprPrec
- tupleParens :: TupleSort -> SDoc -> SDoc
- activateAfterInitial :: Activation
- activateDuringFinal :: Activation
- activeAfter :: CompilerPhase -> Activation
- activeInFinalPhase :: Activation -> Bool
- alignmentOf :: Int -> Alignment
- alwaysInlineConLikePragma :: InlinePragma
- alwaysInlinePragma :: InlinePragma
- beginPhase :: Activation -> CompilerPhase
- bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- boolToRecFlag :: Bool -> RecFlag
- competesWith :: Activation -> Activation -> Bool
- defaultInlinePragma :: InlinePragma
- defaultNonStandardTyVars :: DefaultingStrategy -> Bool
- dfunInlinePragma :: InlinePragma
- fIRST_TAG :: ConTag
- flipSwap :: SwapFlag -> SwapFlag
- fromEP :: EP a -> a
- toEP :: EP a -> a
- funPrec :: PprPrec
- hasIncoherentFlag :: OverlapMode -> Bool
- hasNoOneShotInfo :: OneShotInfo -> Bool
- hasOverlappableFlag :: OverlapMode -> Bool
- hasOverlappingFlag :: OverlapMode -> Bool
- infinity :: IntWithInf
- inlinePragmaActivation :: InlinePragma -> Activation
- inlinePragmaName :: InlineSpec -> SDoc
- inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo
- inlinePragmaSat :: InlinePragma -> Maybe Arity
- inlinePragmaSource :: InlinePragma -> SourceText
- inlinePragmaSpec :: InlinePragma -> InlineSpec
- inlineSpecSource :: InlineSpec -> SourceText
- intGtLimit :: Int -> IntWithInf -> Bool
- isActive :: CompilerPhase -> Activation -> Bool
- isAlwaysActive :: Activation -> Bool
- isAlwaysTailCalled :: OccInfo -> Bool
- isAnyInlinePragma :: InlinePragma -> Bool
- isCompulsorySource :: UnfoldingSource -> Bool
- isConLike :: RuleMatchInfo -> Bool
- isDeadOcc :: OccInfo -> Bool
- isDefaultInlinePragma :: InlinePragma -> Bool
- isFunLike :: RuleMatchInfo -> Bool
- isGenerated :: Origin -> Bool
- isInlinablePragma :: InlinePragma -> Bool
- isInlinePragma :: InlinePragma -> Bool
- isKindLevel :: TypeOrKind -> Bool
- isManyOccs :: OccInfo -> Bool
- isMarkedCbv :: CbvMark -> Bool
- isNeverActive :: Activation -> Bool
- isNoInlinePragma :: InlinePragma -> Bool
- isNoOccInfo :: OccInfo -> Bool
- isNonRec :: RecFlag -> Bool
- isNotTopLevel :: TopLevelFlag -> Bool
- isOneOcc :: OccInfo -> Bool
- isOneShotInfo :: OneShotInfo -> Bool
- isOpaquePragma :: InlinePragma -> Bool
- isRec :: RecFlag -> Bool
- isStableSource :: UnfoldingSource -> Bool
- isStableSystemSource :: UnfoldingSource -> Bool
- isStableUserSource :: UnfoldingSource -> Bool
- isStrongLoopBreaker :: OccInfo -> Bool
- isSwapped :: SwapFlag -> Bool
- isTopLevel :: TopLevelFlag -> Bool
- isTypeLevel :: TypeOrKind -> Bool
- isWeakLoopBreaker :: OccInfo -> Bool
- laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase
- maxPrec :: PprPrec
- maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc
- mightBeLifted :: Maybe Levity -> Bool
- mightBeUnlifted :: Maybe Levity -> Bool
- mkAlignment :: Int -> Alignment
- mkIntWithInf :: Int -> IntWithInf
- neverInlinePragma :: InlinePragma
- nextPhase :: CompilerPhase -> CompilerPhase
- noOccInfo :: OccInfo
- noOneShotInfo :: OneShotInfo
- noUserInlineSpec :: InlineSpec -> Bool
- oneBranch :: BranchCount
- pickLR :: LeftOrRight -> (a, a) -> a
- pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc
- pprInline :: InlinePragma -> SDoc
- pprInlineDebug :: InlinePragma -> SDoc
- pprRuleName :: RuleName -> SDoc
- seqOccInfo :: OccInfo -> ()
- setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma
- setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma
- setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag
- starPrec :: PprPrec
- strongLoopBreaker :: OccInfo
- subWithInf :: IntWithInf -> Int -> IntWithInf
- successIf :: Bool -> SuccessFlag
- sumParens :: SDoc -> SDoc
- tailCallInfo :: OccInfo -> TailCallInfo
- treatZeroAsInf :: Int -> IntWithInf
- tupleSortBoxity :: TupleSort -> Boxity
- unSwap :: SwapFlag -> (a -> a -> b) -> a -> a -> b
- unboxedTupleOrSumExtension :: UnboxedTupleOrSum -> Extension
- weakLoopBreaker :: OccInfo
- worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo
- zapFragileOcc :: OccInfo -> OccInfo
- zapOccTailCallInfo :: OccInfo -> OccInfo
- isBoxed :: Boxity -> Bool
- class Outputable a where
- ppr :: a -> SDoc
Documentation
dLPat :: LPat (GhcPass p) -> Maybe (LPat (GhcPass p)) #
Only returns located pat if there is a genuine location available.
dLPatUnsafe :: LPat (GhcPass p) -> LPat (GhcPass p) #
Will always give a location, but it may be noSrcSpan.
varRdrName :: HsExpr p -> Maybe (LIdP p) #
tyvarRdrName :: HsType p -> Maybe (LIdP p) #
fixityDecls :: HsModule GhcPs -> [(LocatedN RdrName, Fixity)] #
tyBindersToLocatedRdrNames :: [LHsTyVarBndr s GhcPs] -> [LocatedN RdrName] #
ruleBindersToQs :: [LRuleBndr GhcPs] -> [RdrName] #
getRealLoc :: SrcLoc -> Maybe RealSrcLoc #
getRealSpan :: SrcSpan -> Maybe RealSrcSpan #
Instances
Outputable Levity | |
Defined in GHC.Types.Basic | |
Eq Levity | |
data SuccessFlag #
Instances
Semigroup SuccessFlag | |
Defined in GHC.Types.Basic Methods (<>) :: SuccessFlag -> SuccessFlag -> SuccessFlag # sconcat :: NonEmpty SuccessFlag -> SuccessFlag stimes :: Integral b => b -> SuccessFlag -> SuccessFlag | |
Outputable SuccessFlag | |
Defined in GHC.Types.Basic Methods ppr :: SuccessFlag -> SDoc # |
data PromotionFlag #
Constructors
NotPromoted | |
IsPromoted |
Instances
Data PromotionFlag | |
Defined in Language.Haskell.Syntax.Type Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PromotionFlag -> c PromotionFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PromotionFlag # toConstr :: PromotionFlag -> Constr # dataTypeOf :: PromotionFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PromotionFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PromotionFlag) # gmapT :: (forall b. Data b => b -> b) -> PromotionFlag -> PromotionFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PromotionFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PromotionFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> PromotionFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PromotionFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PromotionFlag -> m PromotionFlag # | |
Eq PromotionFlag | |
Defined in Language.Haskell.Syntax.Type |
Constructors
FromSource | |
Generated |
Instances
Data Origin | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Origin -> c Origin # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Origin # toConstr :: Origin -> Constr # dataTypeOf :: Origin -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Origin) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Origin) # gmapT :: (forall b. Data b => b -> b) -> Origin -> Origin # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Origin -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Origin -> r # gmapQ :: (forall d. Data d => d -> u) -> Origin -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Origin -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Origin -> m Origin # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Origin -> m Origin # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Origin -> m Origin # | |
Outputable Origin | |
Defined in GHC.Types.Basic | |
Eq Origin | |
data Activation #
Constructors
AlwaysActive | |
ActiveBefore SourceText PhaseNum | |
ActiveAfter SourceText PhaseNum | |
FinalActive | |
NeverActive |
Instances
Data Activation | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Activation -> c Activation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Activation # toConstr :: Activation -> Constr # dataTypeOf :: Activation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Activation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Activation) # gmapT :: (forall b. Data b => b -> b) -> Activation -> Activation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Activation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Activation -> r # gmapQ :: (forall d. Data d => d -> u) -> Activation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Activation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Activation -> m Activation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Activation -> m Activation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Activation -> m Activation # | |
Binary Activation | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> Activation -> IO () put :: BinHandle -> Activation -> IO (Bin Activation) get :: BinHandle -> IO Activation | |
Outputable Activation | |
Defined in GHC.Types.Basic Methods ppr :: Activation -> SDoc # | |
Eq Activation | |
Defined in GHC.Types.Basic |
Instances
Outputable Alignment | |
Defined in GHC.Types.Basic | |
Eq Alignment | |
Ord Alignment | |
Defined in GHC.Types.Basic | |
OutputableP env Alignment | |
Defined in GHC.Types.Basic |
type BranchCount = Int #
Constructors
MarkedCbv | |
NotMarkedCbv |
Instances
Binary CbvMark | |
Outputable CbvMark | |
Defined in GHC.Types.Basic | |
Eq CbvMark | |
data CompilerPhase #
Constructors
InitialPhase | |
Phase PhaseNum | |
FinalPhase |
Instances
Outputable CompilerPhase | |
Defined in GHC.Types.Basic Methods ppr :: CompilerPhase -> SDoc # | |
Eq CompilerPhase | |
Defined in GHC.Types.Basic |
data DefMethSpec ty #
Instances
Outputable (DefMethSpec ty) | |
Defined in GHC.Types.Basic Methods ppr :: DefMethSpec ty -> SDoc # |
data DefaultingStrategy #
Instances
Outputable DefaultingStrategy | |
Defined in GHC.Types.Basic Methods ppr :: DefaultingStrategy -> SDoc # |
type FullArgCount = Int #
data FunctionOrData #
Constructors
IsFunction | |
IsData |
Instances
Data FunctionOrData | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunctionOrData -> c FunctionOrData # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunctionOrData # toConstr :: FunctionOrData -> Constr # dataTypeOf :: FunctionOrData -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunctionOrData) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunctionOrData) # gmapT :: (forall b. Data b => b -> b) -> FunctionOrData -> FunctionOrData # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunctionOrData -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunctionOrData -> r # gmapQ :: (forall d. Data d => d -> u) -> FunctionOrData -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunctionOrData -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunctionOrData -> m FunctionOrData # | |
Binary FunctionOrData | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> FunctionOrData -> IO () put :: BinHandle -> FunctionOrData -> IO (Bin FunctionOrData) get :: BinHandle -> IO FunctionOrData | |
Outputable FunctionOrData | |
Defined in GHC.Types.Basic Methods ppr :: FunctionOrData -> SDoc # | |
Eq FunctionOrData | |
Defined in GHC.Types.Basic Methods (==) :: FunctionOrData -> FunctionOrData -> Bool (/=) :: FunctionOrData -> FunctionOrData -> Bool | |
Ord FunctionOrData | |
Defined in GHC.Types.Basic Methods compare :: FunctionOrData -> FunctionOrData -> Ordering (<) :: FunctionOrData -> FunctionOrData -> Bool (<=) :: FunctionOrData -> FunctionOrData -> Bool (>) :: FunctionOrData -> FunctionOrData -> Bool (>=) :: FunctionOrData -> FunctionOrData -> Bool max :: FunctionOrData -> FunctionOrData -> FunctionOrData min :: FunctionOrData -> FunctionOrData -> FunctionOrData |
data InlinePragma #
Constructors
InlinePragma | |
Fields
|
Instances
Data InlinePragma | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlinePragma -> c InlinePragma # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlinePragma # toConstr :: InlinePragma -> Constr # dataTypeOf :: InlinePragma -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlinePragma) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlinePragma) # gmapT :: (forall b. Data b => b -> b) -> InlinePragma -> InlinePragma # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlinePragma -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlinePragma -> r # gmapQ :: (forall d. Data d => d -> u) -> InlinePragma -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlinePragma -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlinePragma -> m InlinePragma # | |
Binary InlinePragma | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlinePragma -> IO () put :: BinHandle -> InlinePragma -> IO (Bin InlinePragma) get :: BinHandle -> IO InlinePragma | |
Outputable InlinePragma | |
Defined in GHC.Types.Basic Methods ppr :: InlinePragma -> SDoc # | |
Eq InlinePragma | |
Defined in GHC.Types.Basic |
data InlineSpec #
Constructors
Inline SourceText | |
Inlinable SourceText | |
NoInline SourceText | |
Opaque SourceText | |
NoUserInlinePrag |
Instances
Data InlineSpec | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InlineSpec -> c InlineSpec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InlineSpec # toConstr :: InlineSpec -> Constr # dataTypeOf :: InlineSpec -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InlineSpec) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InlineSpec) # gmapT :: (forall b. Data b => b -> b) -> InlineSpec -> InlineSpec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InlineSpec -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InlineSpec -> r # gmapQ :: (forall d. Data d => d -> u) -> InlineSpec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InlineSpec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InlineSpec -> m InlineSpec # | |
Show InlineSpec | |
Defined in GHC.Types.Basic Methods showsPrec :: Int -> InlineSpec -> ShowS show :: InlineSpec -> String showList :: [InlineSpec] -> ShowS | |
Binary InlineSpec | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> InlineSpec -> IO () put :: BinHandle -> InlineSpec -> IO (Bin InlineSpec) get :: BinHandle -> IO InlineSpec | |
Outputable InlineSpec | |
Defined in GHC.Types.Basic Methods ppr :: InlineSpec -> SDoc # | |
Eq InlineSpec | |
Defined in GHC.Types.Basic |
Constructors
IsInsideLam | |
NotInsideLam |
data IntWithInf #
Instances
Num IntWithInf | |
Defined in GHC.Types.Basic Methods (+) :: IntWithInf -> IntWithInf -> IntWithInf (-) :: IntWithInf -> IntWithInf -> IntWithInf (*) :: IntWithInf -> IntWithInf -> IntWithInf negate :: IntWithInf -> IntWithInf abs :: IntWithInf -> IntWithInf signum :: IntWithInf -> IntWithInf fromInteger :: Integer -> IntWithInf | |
Outputable IntWithInf | |
Defined in GHC.Types.Basic Methods ppr :: IntWithInf -> SDoc # | |
Eq IntWithInf | |
Defined in GHC.Types.Basic | |
Ord IntWithInf | |
Defined in GHC.Types.Basic Methods compare :: IntWithInf -> IntWithInf -> Ordering (<) :: IntWithInf -> IntWithInf -> Bool (<=) :: IntWithInf -> IntWithInf -> Bool (>) :: IntWithInf -> IntWithInf -> Bool (>=) :: IntWithInf -> IntWithInf -> Bool max :: IntWithInf -> IntWithInf -> IntWithInf min :: IntWithInf -> IntWithInf -> IntWithInf |
data InterestingCxt #
Constructors
IsInteresting | |
NotInteresting |
Instances
Monoid InterestingCxt | |
Defined in GHC.Types.Basic Methods mappend :: InterestingCxt -> InterestingCxt -> InterestingCxt # mconcat :: [InterestingCxt] -> InterestingCxt | |
Semigroup InterestingCxt | |
Defined in GHC.Types.Basic Methods (<>) :: InterestingCxt -> InterestingCxt -> InterestingCxt # sconcat :: NonEmpty InterestingCxt -> InterestingCxt stimes :: Integral b => b -> InterestingCxt -> InterestingCxt | |
Eq InterestingCxt | |
Defined in GHC.Types.Basic Methods (==) :: InterestingCxt -> InterestingCxt -> Bool (/=) :: InterestingCxt -> InterestingCxt -> Bool |
data LeftOrRight #
Instances
Data LeftOrRight | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LeftOrRight -> c LeftOrRight # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LeftOrRight # toConstr :: LeftOrRight -> Constr # dataTypeOf :: LeftOrRight -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c LeftOrRight) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LeftOrRight) # gmapT :: (forall b. Data b => b -> b) -> LeftOrRight -> LeftOrRight # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LeftOrRight -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LeftOrRight -> r # gmapQ :: (forall d. Data d => d -> u) -> LeftOrRight -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LeftOrRight -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LeftOrRight -> m LeftOrRight # | |
Binary LeftOrRight | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> LeftOrRight -> IO () put :: BinHandle -> LeftOrRight -> IO (Bin LeftOrRight) get :: BinHandle -> IO LeftOrRight | |
Outputable LeftOrRight | |
Defined in GHC.Types.Basic Methods ppr :: LeftOrRight -> SDoc # | |
Eq LeftOrRight | |
Defined in GHC.Types.Basic |
data NonStandardDefaultingStrategy #
Instances
Outputable NonStandardDefaultingStrategy | |
Defined in GHC.Types.Basic Methods ppr :: NonStandardDefaultingStrategy -> SDoc # |
Constructors
ManyOccs | |
Fields
| |
IAmDead | |
OneOcc | |
Fields
| |
IAmALoopBreaker | |
Fields
|
Instances
Outputable OccInfo | |
Defined in GHC.Types.Basic | |
Eq OccInfo | |
data OneShotInfo #
Constructors
NoOneShotInfo | |
OneShotLam |
Instances
Outputable OneShotInfo | |
Defined in GHC.Types.Basic Methods ppr :: OneShotInfo -> SDoc # | |
Eq OneShotInfo | |
Defined in GHC.Types.Basic |
data OverlapFlag #
Constructors
OverlapFlag | |
Fields
|
Instances
Data OverlapFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverlapFlag -> c OverlapFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverlapFlag # toConstr :: OverlapFlag -> Constr # dataTypeOf :: OverlapFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverlapFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverlapFlag) # gmapT :: (forall b. Data b => b -> b) -> OverlapFlag -> OverlapFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverlapFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverlapFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> OverlapFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OverlapFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapFlag -> m OverlapFlag # | |
Binary OverlapFlag | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> OverlapFlag -> IO () put :: BinHandle -> OverlapFlag -> IO (Bin OverlapFlag) get :: BinHandle -> IO OverlapFlag | |
Outputable OverlapFlag | |
Defined in GHC.Types.Basic Methods ppr :: OverlapFlag -> SDoc # | |
Eq OverlapFlag | |
Defined in GHC.Types.Basic |
data OverlapMode #
Constructors
NoOverlap SourceText | |
Overlappable SourceText | |
Overlapping SourceText | |
Overlaps SourceText | |
Incoherent SourceText |
Instances
Data OverlapMode | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OverlapMode -> c OverlapMode # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OverlapMode # toConstr :: OverlapMode -> Constr # dataTypeOf :: OverlapMode -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OverlapMode) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OverlapMode) # gmapT :: (forall b. Data b => b -> b) -> OverlapMode -> OverlapMode # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OverlapMode -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OverlapMode -> r # gmapQ :: (forall d. Data d => d -> u) -> OverlapMode -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OverlapMode -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OverlapMode -> m OverlapMode # | |
Binary OverlapMode | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> OverlapMode -> IO () put :: BinHandle -> OverlapMode -> IO (Bin OverlapMode) get :: BinHandle -> IO OverlapMode | |
Outputable OverlapMode | |
Defined in GHC.Types.Basic Methods ppr :: OverlapMode -> SDoc # | |
Eq OverlapMode | |
Defined in GHC.Types.Basic | |
ExactPrint (LocatedP OverlapMode) | |
Defined in Language.Haskell.GHC.ExactPrint.ExactPrint Methods getAnnotationEntry :: LocatedP OverlapMode -> Entry # setAnnotationAnchor :: LocatedP OverlapMode -> Anchor -> EpAnnComments -> LocatedP OverlapMode # exact :: forall (m :: Type -> Type) w. (Monad m, Monoid w) => LocatedP OverlapMode -> EP w m (LocatedP OverlapMode) # | |
type Anno OverlapMode | |
Defined in GHC.Hs.Decls type Anno OverlapMode = SrcSpanAnnP | |
type Anno OverlapMode | |
Defined in GHC.Hs.Decls type Anno OverlapMode = SrcSpanAnnP |
Constructors
Recursive | |
NonRecursive |
Instances
Data RecFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RecFlag -> c RecFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RecFlag # toConstr :: RecFlag -> Constr # dataTypeOf :: RecFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RecFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RecFlag) # gmapT :: (forall b. Data b => b -> b) -> RecFlag -> RecFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RecFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RecFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> RecFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RecFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RecFlag -> m RecFlag # | |
Binary RecFlag | |
Outputable RecFlag | |
Defined in GHC.Types.Basic | |
Eq RecFlag | |
data RuleMatchInfo #
Instances
Data RuleMatchInfo | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RuleMatchInfo -> c RuleMatchInfo # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RuleMatchInfo # toConstr :: RuleMatchInfo -> Constr # dataTypeOf :: RuleMatchInfo -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RuleMatchInfo) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RuleMatchInfo) # gmapT :: (forall b. Data b => b -> b) -> RuleMatchInfo -> RuleMatchInfo # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatchInfo -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RuleMatchInfo -> r # gmapQ :: (forall d. Data d => d -> u) -> RuleMatchInfo -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RuleMatchInfo -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RuleMatchInfo -> m RuleMatchInfo # | |
Show RuleMatchInfo | |
Defined in GHC.Types.Basic Methods showsPrec :: Int -> RuleMatchInfo -> ShowS show :: RuleMatchInfo -> String showList :: [RuleMatchInfo] -> ShowS | |
Binary RuleMatchInfo | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> RuleMatchInfo -> IO () put :: BinHandle -> RuleMatchInfo -> IO (Bin RuleMatchInfo) get :: BinHandle -> IO RuleMatchInfo | |
Outputable RuleMatchInfo | |
Defined in GHC.Types.Basic Methods ppr :: RuleMatchInfo -> SDoc # | |
Eq RuleMatchInfo | |
Defined in GHC.Types.Basic |
Constructors
NotSwapped | |
IsSwapped |
Instances
Outputable SwapFlag | |
Defined in GHC.Types.Basic |
data TailCallInfo #
Constructors
AlwaysTailCalled JoinArity | |
NoTailCallInfo |
Instances
Outputable TailCallInfo | |
Defined in GHC.Types.Basic Methods ppr :: TailCallInfo -> SDoc # | |
Eq TailCallInfo | |
Defined in GHC.Types.Basic |
data TopLevelFlag #
Constructors
TopLevel | |
NotTopLevel |
Instances
Data TopLevelFlag | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TopLevelFlag -> c TopLevelFlag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TopLevelFlag # toConstr :: TopLevelFlag -> Constr # dataTypeOf :: TopLevelFlag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TopLevelFlag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TopLevelFlag) # gmapT :: (forall b. Data b => b -> b) -> TopLevelFlag -> TopLevelFlag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TopLevelFlag -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TopLevelFlag -> r # gmapQ :: (forall d. Data d => d -> u) -> TopLevelFlag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TopLevelFlag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TopLevelFlag -> m TopLevelFlag # | |
Outputable TopLevelFlag | |
Defined in GHC.Types.Basic Methods ppr :: TopLevelFlag -> SDoc # |
Constructors
BoxedTuple | |
UnboxedTuple | |
ConstraintTuple |
Instances
Data TupleSort | |
Defined in GHC.Types.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TupleSort -> c TupleSort # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TupleSort # toConstr :: TupleSort -> Constr # dataTypeOf :: TupleSort -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TupleSort) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TupleSort) # gmapT :: (forall b. Data b => b -> b) -> TupleSort -> TupleSort # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TupleSort -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TupleSort -> r # gmapQ :: (forall d. Data d => d -> u) -> TupleSort -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TupleSort -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TupleSort -> m TupleSort # | |
Binary TupleSort | |
Outputable TupleSort | |
Defined in GHC.Types.Basic | |
Eq TupleSort | |
data TypeOrConstraint #
Constructors
TypeLike | |
ConstraintLike |
Instances
data TypeOrKind #
Instances
Outputable TypeOrKind | |
Defined in GHC.Types.Basic Methods ppr :: TypeOrKind -> SDoc # | |
Eq TypeOrKind | |
Defined in GHC.Types.Basic |
data UnboxedTupleOrSum #
Constructors
UnboxedTupleType | |
UnboxedSumType |
Instances
Outputable UnboxedTupleOrSum | |
Defined in GHC.Types.Basic Methods ppr :: UnboxedTupleOrSum -> SDoc # | |
Eq UnboxedTupleOrSum | |
Defined in GHC.Types.Basic Methods (==) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool (/=) :: UnboxedTupleOrSum -> UnboxedTupleOrSum -> Bool |
data UnfoldingSource #
Constructors
VanillaSrc | |
StableUserSrc | |
StableSystemSrc | |
CompulsorySrc |
Instances
Binary UnfoldingSource | |
Defined in GHC.Types.Basic Methods put_ :: BinHandle -> UnfoldingSource -> IO () put :: BinHandle -> UnfoldingSource -> IO (Bin UnfoldingSource) get :: BinHandle -> IO UnfoldingSource | |
Outputable UnfoldingSource | |
Defined in GHC.Types.Basic Methods ppr :: UnfoldingSource -> SDoc # |
Instances
Data Boxity | |
Defined in Language.Haskell.Syntax.Basic Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Boxity -> c Boxity # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Boxity # toConstr :: Boxity -> Constr # dataTypeOf :: Boxity -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Boxity) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Boxity) # gmapT :: (forall b. Data b => b -> b) -> Boxity -> Boxity # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Boxity -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Boxity -> r # gmapQ :: (forall d. Data d => d -> u) -> Boxity -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Boxity -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Boxity -> m Boxity # | |
Eq Boxity | |
data ForeignSrcLang #
Instances
Generic ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type Associated Types type Rep ForeignSrcLang :: Type -> Type | |
Show ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type Methods showsPrec :: Int -> ForeignSrcLang -> ShowS show :: ForeignSrcLang -> String showList :: [ForeignSrcLang] -> ShowS | |
Eq ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type Methods (==) :: ForeignSrcLang -> ForeignSrcLang -> Bool (/=) :: ForeignSrcLang -> ForeignSrcLang -> Bool | |
type Rep ForeignSrcLang | |
Defined in GHC.ForeignSrcLang.Type type Rep ForeignSrcLang = D1 ('MetaData "ForeignSrcLang" "GHC.ForeignSrcLang.Type" "ghc-boot-th-9.6.3" 'False) ((C1 ('MetaCons "LangC" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LangCxx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LangObjc" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LangObjcxx" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LangAsm" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LangJs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RawObject" 'PrefixI 'False) (U1 :: Type -> Type)))) |
failed :: SuccessFlag -> Bool #
succeeded :: SuccessFlag -> Bool #
isPromoted :: PromotionFlag -> Bool #
boxityTupleSort :: Boxity -> TupleSort #
tupleParens :: TupleSort -> SDoc -> SDoc #
activeAfter :: CompilerPhase -> Activation #
activeInFinalPhase :: Activation -> Bool #
alignmentOf :: Int -> Alignment #
beginPhase :: Activation -> CompilerPhase #
bestOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #
boolToRecFlag :: Bool -> RecFlag #
competesWith :: Activation -> Activation -> Bool #
defaultNonStandardTyVars :: DefaultingStrategy -> Bool #
hasIncoherentFlag :: OverlapMode -> Bool #
hasNoOneShotInfo :: OneShotInfo -> Bool #
hasOverlappableFlag :: OverlapMode -> Bool #
hasOverlappingFlag :: OverlapMode -> Bool #
infinity :: IntWithInf #
inlinePragmaName :: InlineSpec -> SDoc #
inlinePragmaSat :: InlinePragma -> Maybe Arity #
inlinePragmaSource :: InlinePragma -> SourceText #
inlineSpecSource :: InlineSpec -> SourceText #
intGtLimit :: Int -> IntWithInf -> Bool #
isActive :: CompilerPhase -> Activation -> Bool #
isAlwaysActive :: Activation -> Bool #
isAlwaysTailCalled :: OccInfo -> Bool #
isAnyInlinePragma :: InlinePragma -> Bool #
isCompulsorySource :: UnfoldingSource -> Bool #
isConLike :: RuleMatchInfo -> Bool #
isDefaultInlinePragma :: InlinePragma -> Bool #
isFunLike :: RuleMatchInfo -> Bool #
isGenerated :: Origin -> Bool #
isInlinablePragma :: InlinePragma -> Bool #
isInlinePragma :: InlinePragma -> Bool #
isKindLevel :: TypeOrKind -> Bool #
isManyOccs :: OccInfo -> Bool #
isMarkedCbv :: CbvMark -> Bool #
isNeverActive :: Activation -> Bool #
isNoInlinePragma :: InlinePragma -> Bool #
isNoOccInfo :: OccInfo -> Bool #
isNotTopLevel :: TopLevelFlag -> Bool #
isOneShotInfo :: OneShotInfo -> Bool #
isOpaquePragma :: InlinePragma -> Bool #
isStableSource :: UnfoldingSource -> Bool #
isStableSystemSource :: UnfoldingSource -> Bool #
isStableUserSource :: UnfoldingSource -> Bool #
isStrongLoopBreaker :: OccInfo -> Bool #
isTopLevel :: TopLevelFlag -> Bool #
isTypeLevel :: TypeOrKind -> Bool #
isWeakLoopBreaker :: OccInfo -> Bool #
laterPhase :: CompilerPhase -> CompilerPhase -> CompilerPhase #
maybeParen :: PprPrec -> PprPrec -> SDoc -> SDoc #
mightBeLifted :: Maybe Levity -> Bool #
mightBeUnlifted :: Maybe Levity -> Bool #
mkAlignment :: Int -> Alignment #
mkIntWithInf :: Int -> IntWithInf #
nextPhase :: CompilerPhase -> CompilerPhase #
noUserInlineSpec :: InlineSpec -> Bool #
pickLR :: LeftOrRight -> (a, a) -> a #
pprAlternative :: (a -> SDoc) -> a -> ConTag -> Arity -> SDoc #
pprInline :: InlinePragma -> SDoc #
pprInlineDebug :: InlinePragma -> SDoc #
pprRuleName :: RuleName -> SDoc #
seqOccInfo :: OccInfo -> () #
setOverlapModeMaybe :: OverlapFlag -> Maybe OverlapMode -> OverlapFlag #
subWithInf :: IntWithInf -> Int -> IntWithInf #
successIf :: Bool -> SuccessFlag #
tailCallInfo :: OccInfo -> TailCallInfo #
treatZeroAsInf :: Int -> IntWithInf #
tupleSortBoxity :: TupleSort -> Boxity #
unboxedTupleOrSumExtension :: UnboxedTupleOrSum -> Extension #
worstOneShot :: OneShotInfo -> OneShotInfo -> OneShotInfo #
zapFragileOcc :: OccInfo -> OccInfo #
zapOccTailCallInfo :: OccInfo -> OccInfo #
class Outputable a where #