Types.Pragma

Documentation

data CodeVisibility

Constructors

ModuleOnly

TestsOnly

FromDependency

Instances

Eq CodeVisibility

Defined in Types.Pragma

Methods

(==) :: CodeVisibility -> CodeVisibility -> Bool

(/=) :: CodeVisibility -> CodeVisibility -> Bool

Ord CodeVisibility

Defined in Types.Pragma

Methods

compare :: CodeVisibility -> CodeVisibility -> Ordering

(<) :: CodeVisibility -> CodeVisibility -> Bool

(<=) :: CodeVisibility -> CodeVisibility -> Bool

(>) :: CodeVisibility -> CodeVisibility -> Bool

(>=) :: CodeVisibility -> CodeVisibility -> Bool

max :: CodeVisibility -> CodeVisibility -> CodeVisibility

min :: CodeVisibility -> CodeVisibility -> CodeVisibility

Show CodeVisibility

Defined in Types.Pragma

Methods

showsPrec :: Int -> CodeVisibility -> ShowS

show :: CodeVisibility -> String

showList :: [CodeVisibility] -> ShowS

newtype MacroName

Constructors

MacroName

Fields

• mnName :: String

Instances

Eq MacroName

Defined in Types.Pragma

Methods

(==) :: MacroName -> MacroName -> Bool

(/=) :: MacroName -> MacroName -> Bool

Ord MacroName

Defined in Types.Pragma

Methods

compare :: MacroName -> MacroName -> Ordering

(<) :: MacroName -> MacroName -> Bool

(<=) :: MacroName -> MacroName -> Bool

(>) :: MacroName -> MacroName -> Bool

(>=) :: MacroName -> MacroName -> Bool

max :: MacroName -> MacroName -> MacroName

min :: MacroName -> MacroName -> MacroName

Show MacroName

Defined in Types.Pragma

Methods

showsPrec :: Int -> MacroName -> ShowS

show :: MacroName -> String

showList :: [MacroName] -> ShowS

ParseFromSource MacroName

Defined in Parser.Pragma

Methods

sourceParser :: forall (m :: Type -> Type). CompileErrorM m => ParserE m MacroName

data Pragma c

Constructors

PragmaVisibility

Fields

• pvContext :: [c]
• pvScopes :: CodeVisibility

PragmaExprLookup

Fields

• pelContext :: [c]
• pelName :: MacroName

PragmaSourceContext

Fields

• pscContext :: c

PragmaTracing

Fields

• ptContext :: [c]
• ptType :: TraceType

PragmaComment

Fields

• pcContext :: [c]
• pcComment :: String

Instances

Show c => Show (Pragma c)

Defined in Types.Pragma

Methods

showsPrec :: Int -> Pragma c -> ShowS

show :: Pragma c -> String

showList :: [Pragma c] -> ShowS

data TraceType

Constructors

NoTrace

TraceCreation

Instances

Show TraceType

Defined in Types.Pragma

Methods

showsPrec :: Int -> TraceType -> ShowS

show :: TraceType -> String

showList :: [TraceType] -> ShowS

data WithVisibility a

Constructors

WithVisibility

Fields

• wvVisibility :: Set CodeVisibility
• wvData :: a

Instances

Show a => Show (WithVisibility a)

Defined in Types.Pragma

Methods

showsPrec :: Int -> WithVisibility a -> ShowS

show :: WithVisibility a -> String

showList :: [WithVisibility a] -> ShowS

getPragmaContext :: Pragma c -> [c]

hasCodeVisibility :: CodeVisibility -> WithVisibility a -> Bool

isExprLookup :: Pragma c -> Bool

isModuleOnly :: Pragma c -> Bool

isNoTrace :: Pragma c -> Bool

isSourceContext :: Pragma c -> Bool

isTestsOnly :: Pragma c -> Bool

isTraceCreation :: Pragma c -> Bool

mapCodeVisibility :: (a -> b) -> WithVisibility a -> WithVisibility b

updateCodeVisibility :: (Set CodeVisibility -> Set CodeVisibility) -> WithVisibility a -> WithVisibility a