| ||||||||||||||||
| ||||||||||||||||
Synopsis | ||||||||||||||||
Documentation | ||||||||||||||||
type Version = Int | ||||||||||||||||
bumpVersion :: Version -> Version | ||||||||||||||||
initialVersion :: Version | ||||||||||||||||
type Arity = Int | ||||||||||||||||
data FunctionOrData | ||||||||||||||||
| ||||||||||||||||
data WarningTxt | ||||||||||||||||
| ||||||||||||||||
data Fixity | ||||||||||||||||
| ||||||||||||||||
data FixityDirection | ||||||||||||||||
| ||||||||||||||||
defaultFixity :: Fixity | ||||||||||||||||
maxPrecedence :: Int | ||||||||||||||||
negateFixity :: Fixity | ||||||||||||||||
funTyFixity :: Fixity | ||||||||||||||||
compareFixity :: Fixity -> Fixity -> (Bool, Bool) | ||||||||||||||||
newtype IPName name | ||||||||||||||||
| ||||||||||||||||
ipNameName :: IPName name -> name | ||||||||||||||||
mapIPName :: (a -> b) -> IPName a -> IPName b | ||||||||||||||||
data RecFlag | ||||||||||||||||
| ||||||||||||||||
isRec :: RecFlag -> Bool | ||||||||||||||||
isNonRec :: RecFlag -> Bool | ||||||||||||||||
boolToRecFlag :: Bool -> RecFlag | ||||||||||||||||
type RuleName = FastString | ||||||||||||||||
data TopLevelFlag | ||||||||||||||||
| ||||||||||||||||
isTopLevel :: TopLevelFlag -> Bool | ||||||||||||||||
isNotTopLevel :: TopLevelFlag -> Bool | ||||||||||||||||
data OverlapFlag | ||||||||||||||||
| ||||||||||||||||
data Boxity | ||||||||||||||||
| ||||||||||||||||
isBoxed :: Boxity -> Bool | ||||||||||||||||
data TupCon | ||||||||||||||||
| ||||||||||||||||
tupleParens :: Boxity -> SDoc -> SDoc | ||||||||||||||||
data OccInfo | ||||||||||||||||
| ||||||||||||||||
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 | ||||||||||||||||
| ||||||||||||||||
data StrictnessMark | ||||||||||||||||
| ||||||||||||||||
isMarkedUnboxed :: StrictnessMark -> Bool | ||||||||||||||||
isMarkedStrict :: StrictnessMark -> Bool | ||||||||||||||||
type CompilerPhase = Int | ||||||||||||||||
data Activation | ||||||||||||||||
| ||||||||||||||||
isActive :: CompilerPhase -> Activation -> Bool | ||||||||||||||||
isNeverActive :: Activation -> Bool | ||||||||||||||||
isAlwaysActive :: Activation -> Bool | ||||||||||||||||
data RuleMatchInfo | ||||||||||||||||
| ||||||||||||||||
isConLike :: RuleMatchInfo -> Bool | ||||||||||||||||
isFunLike :: RuleMatchInfo -> Bool | ||||||||||||||||
data InlinePragma | ||||||||||||||||
| ||||||||||||||||
defaultInlinePragma :: InlinePragma | ||||||||||||||||
isDefaultInlinePragma :: InlinePragma -> Bool | ||||||||||||||||
inlinePragmaActivation :: InlinePragma -> Activation | ||||||||||||||||
inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo | ||||||||||||||||
setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma | ||||||||||||||||
setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma | ||||||||||||||||
data InlineSpec | ||||||||||||||||
| ||||||||||||||||
defaultInlineSpec :: InlineSpec | ||||||||||||||||
alwaysInlineSpec :: RuleMatchInfo -> InlineSpec | ||||||||||||||||
neverInlineSpec :: RuleMatchInfo -> InlineSpec | ||||||||||||||||
data SuccessFlag | ||||||||||||||||
| ||||||||||||||||
succeeded :: SuccessFlag -> Bool | ||||||||||||||||
failed :: SuccessFlag -> Bool | ||||||||||||||||
successIf :: Bool -> SuccessFlag | ||||||||||||||||
Produced by Haddock version 2.7.2 |