Parser.SourceFile

Documentation

data CodeVisibility

Constructors

ModuleOnly

TestsOnly

FromDependency

Instances

Show CodeVisibility

Defined in Parser.SourceFile

Methods

showsPrec :: Int -> CodeVisibility -> ShowS

show :: CodeVisibility -> String

showList :: [CodeVisibility] -> ShowS

Eq CodeVisibility

Defined in Parser.SourceFile

Methods

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

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

Ord CodeVisibility

Defined in Parser.SourceFile

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

data PragmaSource c

Constructors

PragmaVisibility

Fields

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

Instances

Show c => Show (PragmaSource c)

Defined in Parser.SourceFile

Methods

showsPrec :: Int -> PragmaSource c -> ShowS

show :: PragmaSource c -> String

showList :: [PragmaSource c] -> ShowS

data WithVisibility a

Constructors

WithVisibility

Fields

• wvVisibility :: Set CodeVisibility
• wvData :: a

Instances

Show a => Show (WithVisibility a)

Defined in Parser.SourceFile

Methods

showsPrec :: Int -> WithVisibility a -> ShowS

show :: WithVisibility a -> String

showList :: [WithVisibility a] -> ShowS

hasCodeVisibility :: CodeVisibility -> WithVisibility a -> Bool

isModuleOnly :: PragmaSource c -> Bool

isTestsOnly :: PragmaSource c -> Bool

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

parseInternalSource :: ErrorContextM m => (FilePath, String) -> m ([PragmaSource SourceContext], [AnyCategory SourceContext], [DefinedCategory SourceContext])

parsePublicSource :: ErrorContextM m => (FilePath, String) -> m ([PragmaSource SourceContext], [AnyCategory SourceContext])

parseTestSource :: ErrorContextM m => (FilePath, String) -> m ([PragmaSource SourceContext], [IntegrationTest SourceContext])

pragmaModuleOnly :: TextParser (PragmaSource SourceContext)

pragmaTestsOnly :: TextParser (PragmaSource SourceContext)

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