| |||||||||||
| |||||||||||
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.6.0 |