Language.Haskell.FreeTheorems.ValidSyntax

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.

Documentation

data ValidDeclaration

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

Marks a valid type signature.

Constructors

ValidSignature

Fields

rawSignature :: Signature

Returns the signature structure hidden in a valid type signature.

filterSignatures :: [ValidDeclaration] -> [ValidSignature]

Extracts all type signatures from a list of declarations.