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 -> ()
• zapFragileOcc :: OccInfo -> OccInfo
• isOneOcc :: OccInfo -> Bool
• isDeadOcc :: OccInfo -> Bool
• isLoopBreaker :: OccInfo -> Bool
• isNonRuleLoopBreaker :: OccInfo -> Bool
• isNoOcc :: OccInfo -> Bool
• nonRuleLoopBreaker :: OccInfo
• 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 HsBang
  • = HsNoBang
  • | HsStrict
  • | HsUnpack
  • | HsUnpackFailed
• isBanged :: HsBang -> Bool
• isMarkedUnboxed :: HsBang -> Bool
• data StrictnessMark
  • = MarkedStrict
  • | NotMarkedStrict
• isMarkedStrict :: StrictnessMark -> Bool
• data DefMethSpec
  • = NoDM
  • | VanillaDM
  • | GenericDM
• data CompilerPhase
  • = Phase PhaseNum
  • | InitialPhase
• type PhaseNum = Int
• data Activation
  • = NeverActive
  • | AlwaysActive
  • | ActiveBefore PhaseNum
  • | ActiveAfter PhaseNum
• isActive :: CompilerPhase -> Activation -> Bool
• isActiveIn :: PhaseNum -> Activation -> Bool
• isNeverActive :: Activation -> Bool
• isAlwaysActive :: Activation -> Bool
• isEarlyActive :: Activation -> Bool
• data RuleMatchInfo
  • = ConLike
  • | FunLike
• isConLike :: RuleMatchInfo -> Bool
• isFunLike :: RuleMatchInfo -> Bool
• data InlineSpec
  • = Inline
  • | Inlinable
  • | NoInline
  • | EmptyInlineSpec
• data InlinePragma = InlinePragma {
  • inl_inline :: InlineSpec
  • inl_sat :: Maybe Arity
  • inl_act :: Activation
  • inl_rule :: RuleMatchInfo
  }
• defaultInlinePragma :: InlinePragma
• alwaysInlinePragma :: InlinePragma
• neverInlinePragma :: InlinePragma
• dfunInlinePragma :: InlinePragma
• isDefaultInlinePragma :: InlinePragma -> Bool
• isInlinePragma :: InlinePragma -> Bool
• isInlinablePragma :: InlinePragma -> Bool
• isAnyInlinePragma :: InlinePragma -> Bool
• inlinePragmaSpec :: InlinePragma -> InlineSpec
• inlinePragmaSat :: InlinePragma -> Maybe Arity
• inlinePragmaActivation :: InlinePragma -> Activation
• inlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo
• setInlinePragmaActivation :: InlinePragma -> Activation -> InlinePragma
• setInlinePragmaRuleMatchInfo :: InlinePragma -> RuleMatchInfo -> InlinePragma
• data SuccessFlag
  • = Succeeded
  • | Failed
• succeeded :: SuccessFlag -> Bool
• failed :: SuccessFlag -> Bool
• successIf :: Bool -> SuccessFlag

Documentation