Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Haskell.FreeTheorems.ValidSyntax

Description

Declares data types which describe valid declarations and valid type signatures. A declaration or type signature is valid when all checks (see Language.Haskell.FreeTheorems.Frontend) were passed successfully.

Synopsis

data ValidDeclaration = ValidDeclaration {
- rawDeclaration :: Declaration
- isStrictDeclaration :: Bool
}
newtype ValidSignature = ValidSignature {
- rawSignature :: Signature
}
filterSignatures :: [ValidDeclaration] -> [ValidSignature]

Documentation

data ValidDeclaration Source #

Marks a valid declaration.

Constructors

ValidDeclaration
Fields rawDeclaration :: Declaration Returns the declaration structure hidden in a valid declaration. isStrictDeclaration :: Bool Indicates whether the declarations declares or depends on an algebraic data type with strictness flag.

newtype ValidSignature Source #

Marks a valid type signature.

Constructors

ValidSignature
Fields rawSignature :: Signature Returns the signature structure hidden in a valid type signature.

filterSignatures :: [ValidDeclaration] -> [ValidSignature] Source #

Extracts all type signatures from a list of declarations.