ghc-6.12.1: The GHC API 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

bumpVersion :: Version -> Version

initialVersion :: Version

type Arity = Int

data FunctionOrData

Constructors IsFunction IsData

data WarningTxt

Constructors WarningTxt [FastString] DeprecatedTxt [FastString]

data Fixity

Constructors Fixity Int FixityDirection

data FixityDirection

Constructors InfixL InfixR InfixN

defaultFixity :: Fixity

maxPrecedence :: Int

negateFixity :: Fixity

funTyFixity :: Fixity

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

newtype IPName name

Constructors IPName name

ipNameName :: IPName name -> name

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

data RecFlag

Constructors Recursive NonRecursive

isRec :: RecFlag -> Bool

isNonRec :: RecFlag -> Bool

boolToRecFlag :: Bool -> RecFlag

type RuleName = FastString

data TopLevelFlag

Constructors TopLevel NotTopLevel

isTopLevel :: TopLevelFlag -> Bool

isNotTopLevel :: TopLevelFlag -> Bool

data OverlapFlag

Constructors NoOverlap OverlapOk Incoherent

data Boxity

Constructors Boxed Unboxed

isBoxed :: Boxity -> Bool

data TupCon

Constructors TupCon Boxity Arity

tupleParens :: Boxity -> SDoc -> SDoc

data OccInfo

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

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

Constructors EP fromEP :: a toEP :: a

data StrictnessMark

Constructors MarkedStrict MarkedUnboxed NotMarkedStrict

isMarkedUnboxed :: StrictnessMark -> Bool

isMarkedStrict :: StrictnessMark -> Bool

type CompilerPhase = Int

data Activation

Constructors NeverActive AlwaysActive ActiveBefore CompilerPhase ActiveAfter CompilerPhase

isActive :: CompilerPhase -> Activation -> Bool

isNeverActive :: Activation -> Bool

isAlwaysActive :: Activation -> Bool

data RuleMatchInfo

Constructors ConLike FunLike

isConLike :: RuleMatchInfo -> Bool

isFunLike :: RuleMatchInfo -> Bool

data InlinePragma

Constructors InlinePragma Activation RuleMatchInfo

defaultInlinePragma :: InlinePragma

isDefaultInlinePragma :: InlinePragma -> Bool

inlinePragmaActivation :: InlinePragma -> Activation

inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo

setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma

setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma

data InlineSpec

Constructors Inline InlinePragma Bool

defaultInlineSpec :: InlineSpec

alwaysInlineSpec :: RuleMatchInfo -> InlineSpec

neverInlineSpec :: RuleMatchInfo -> InlineSpec

data SuccessFlag

Constructors Succeeded Failed

succeeded :: SuccessFlag -> Bool

failed :: SuccessFlag -> Bool

successIf :: Bool -> SuccessFlag

Produced by Haddock version 2.6.0