Types.Pragma

Documentation

data CodeVisibility

Constructors

ModuleOnly

TestsOnly

Instances

Show CodeVisibility

Defined in Types.Pragma

Methods

showsPrec :: Int -> CodeVisibility -> ShowS

show :: CodeVisibility -> String

showList :: [CodeVisibility] -> ShowS

data Pragma c

Constructors

PragmaVisibility

Fields

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

PragmaExprLookup

Fields

• pelContext :: [c]
• pelName :: String

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

getPragmaContext :: Pragma c -> [c]

isExprLookup :: Pragma c -> Bool

isModuleOnly :: Pragma c -> Bool

isNoTrace :: Pragma c -> Bool

isTestsOnly :: Pragma c -> Bool

isTraceCreation :: Pragma c -> Bool