ghc-6.12.2: The GHC API Source code Contents Index

BasicTypes

Synopsis

type Version = Int bumpVersion :: Version -> Version initialVersion :: Version type Arity = Int data FunctionOrData = IsFunction | IsData data WarningTxt = WarningTxt [FastString] | DeprecatedTxt [FastString] data Fixity = Fixity Int FixityDirection data FixityDirection = InfixL | InfixR | InfixN defaultFixity :: Fixity maxPrecedence :: Int negateFixity :: Fixity funTyFixity :: Fixity compareFixity :: Fixity -> Fixity -> (Bool, Bool) newtype IPName name = IPName name ipNameName :: IPName name -> name mapIPName :: (a -> b) -> IPName a -> IPName b data RecFlag = Recursive | NonRecursive isRec :: RecFlag -> Bool isNonRec :: RecFlag -> Bool boolToRecFlag :: Bool -> RecFlag type RuleName = FastString data TopLevelFlag = TopLevel | NotTopLevel isTopLevel :: TopLevelFlag -> Bool isNotTopLevel :: TopLevelFlag -> Bool data OverlapFlag = NoOverlap | OverlapOk | Incoherent data Boxity = Boxed | Unboxed isBoxed :: Boxity -> Bool data TupCon = TupCon Boxity Arity tupleParens :: Boxity -> SDoc -> SDoc data OccInfo = NoOccInfo | IAmDead | OneOcc !InsideLam !OneBranch !InterestingCxt | IAmALoopBreaker !RulesOnly seqOccInfo :: OccInfo -> () isFragileOcc :: OccInfo -> Bool isOneOcc :: OccInfo -> Bool isDeadOcc :: OccInfo -> Bool isLoopBreaker :: OccInfo -> Bool isNonRuleLoopBreaker :: OccInfo -> Bool isNoOcc :: OccInfo -> Bool type InsideLam = Bool insideLam :: InsideLam notInsideLam :: InsideLam type OneBranch = Bool oneBranch :: OneBranch notOneBranch :: OneBranch type InterestingCxt = Bool data EP a = EP { fromEP :: a toEP :: a } data StrictnessMark = MarkedStrict | MarkedUnboxed | NotMarkedStrict isMarkedUnboxed :: StrictnessMark -> Bool isMarkedStrict :: StrictnessMark -> Bool type CompilerPhase = Int data Activation = NeverActive | AlwaysActive | ActiveBefore CompilerPhase | ActiveAfter CompilerPhase isActive :: CompilerPhase -> Activation -> Bool isNeverActive :: Activation -> Bool isAlwaysActive :: Activation -> Bool data RuleMatchInfo = ConLike | FunLike isConLike :: RuleMatchInfo -> Bool isFunLike :: RuleMatchInfo -> Bool data InlinePragma = InlinePragma Activation RuleMatchInfo defaultInlinePragma :: InlinePragma isDefaultInlinePragma :: InlinePragma -> Bool inlinePragmaActivation :: InlinePragma -> Activation inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma data InlineSpec = Inline InlinePragma Bool defaultInlineSpec :: InlineSpec alwaysInlineSpec :: RuleMatchInfo -> InlineSpec neverInlineSpec :: RuleMatchInfo -> InlineSpec data SuccessFlag = Succeeded | Failed succeeded :: SuccessFlag -> Bool failed :: SuccessFlag -> Bool successIf :: Bool -> SuccessFlag

Documentation

type Version = Int Source

bumpVersion :: Version -> Version Source

initialVersion :: Version Source

type Arity = Int Source

data FunctionOrData Source

Constructors IsFunction IsData Instances Eq FunctionOrData Ord FunctionOrData Outputable FunctionOrData Binary FunctionOrData

data WarningTxt Source

Constructors WarningTxt [FastString] DeprecatedTxt [FastString] Instances Eq WarningTxt Outputable WarningTxt Binary WarningTxt

data Fixity Source

Constructors Fixity Int FixityDirection Instances Eq Fixity Outputable Fixity Binary Fixity

data FixityDirection Source

Constructors InfixL InfixR InfixN Instances Eq FixityDirection Outputable FixityDirection Binary FixityDirection

defaultFixity :: Fixity Source

maxPrecedence :: Int Source

negateFixity :: Fixity Source

funTyFixity :: Fixity Source

compareFixity :: Fixity -> Fixity -> (Bool, Bool) Source

newtype IPName name Source

Constructors IPName name Instances Eq name => Eq (IPName name) Ord name => Ord (IPName name) Outputable name => OutputableBndr (IPName name) Outputable name => Outputable (IPName name) Binary name => Binary (IPName name)

ipNameName :: IPName name -> name Source

mapIPName :: (a -> b) -> IPName a -> IPName b Source

data RecFlag Source

Constructors Recursive NonRecursive Instances Eq RecFlag Outputable RecFlag Binary RecFlag

isRec :: RecFlag -> Bool Source

isNonRec :: RecFlag -> Bool Source

boolToRecFlag :: Bool -> RecFlag Source

type RuleName = FastString Source

data TopLevelFlag Source

Constructors TopLevel NotTopLevel Instances Outputable TopLevelFlag

isTopLevel :: TopLevelFlag -> Bool Source

isNotTopLevel :: TopLevelFlag -> Bool Source

data OverlapFlag Source

Constructors NoOverlap OverlapOk Incoherent Instances Eq OverlapFlag Outputable OverlapFlag Binary OverlapFlag

data Boxity Source

Constructors Boxed Unboxed Instances Eq Boxity Binary Boxity

isBoxed :: Boxity -> Bool Source

data TupCon Source

Constructors TupCon Boxity Arity Instances Eq TupCon Binary TupCon

tupleParens :: Boxity -> SDoc -> SDoc Source

data OccInfo Source

Identifier occurrence information Constructors NoOccInfo There are many occurrences, or unknown occurences IAmDead Marks unused variables. Sometimes useful for lambda and case-bound variables. OneOcc !InsideLam !OneBranch !InterestingCxt Occurs exactly once, not inside a rule IAmALoopBreaker !RulesOnly This identifier breaks a loop of mutually recursive functions. The field marks whether it is only a loop breaker due to a reference in a rule Instances Show OccInfo Outputable OccInfo

seqOccInfo :: OccInfo -> () Source

isFragileOcc :: OccInfo -> Bool Source

isOneOcc :: OccInfo -> Bool Source

isDeadOcc :: OccInfo -> Bool Source

isLoopBreaker :: OccInfo -> Bool Source

isNonRuleLoopBreaker :: OccInfo -> Bool Source

isNoOcc :: OccInfo -> Bool Source

type InsideLam = Bool Source

insideLam :: InsideLam Source

notInsideLam :: InsideLam Source

type OneBranch = Bool Source

oneBranch :: OneBranch Source

notOneBranch :: OneBranch Source

type InterestingCxt = Bool Source

data EP a Source

Constructors EP fromEP :: a toEP :: a

data StrictnessMark Source

Constructors MarkedStrict MarkedUnboxed NotMarkedStrict Instances Eq StrictnessMark Outputable StrictnessMark Binary StrictnessMark

isMarkedUnboxed :: StrictnessMark -> Bool Source

isMarkedStrict :: StrictnessMark -> Bool Source

type CompilerPhase = Int Source

data Activation Source

Constructors NeverActive AlwaysActive ActiveBefore CompilerPhase ActiveAfter CompilerPhase Instances Eq Activation Outputable Activation Binary Activation

isActive :: CompilerPhase -> Activation -> Bool Source

isNeverActive :: Activation -> Bool Source

isAlwaysActive :: Activation -> Bool Source

data RuleMatchInfo Source

Constructors ConLike FunLike Instances Eq RuleMatchInfo Outputable RuleMatchInfo Binary RuleMatchInfo

isConLike :: RuleMatchInfo -> Bool Source

isFunLike :: RuleMatchInfo -> Bool Source

data InlinePragma Source

Constructors InlinePragma Activation RuleMatchInfo Instances Eq InlinePragma Outputable InlinePragma Binary InlinePragma

defaultInlinePragma :: InlinePragma Source

isDefaultInlinePragma :: InlinePragma -> Bool Source

inlinePragmaActivation :: InlinePragma -> Activation Source

inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo Source

setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma Source

setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma Source

data InlineSpec Source

Constructors Inline InlinePragma Bool Instances Eq InlineSpec Outputable InlineSpec

defaultInlineSpec :: InlineSpec Source

alwaysInlineSpec :: RuleMatchInfo -> InlineSpec Source

neverInlineSpec :: RuleMatchInfo -> InlineSpec Source

data SuccessFlag Source

Constructors Succeeded Failed Instances Outputable SuccessFlag

succeeded :: SuccessFlag -> Bool Source

failed :: SuccessFlag -> Bool Source

successIf :: Bool -> SuccessFlag Source

Produced by Haddock version 2.6.1