Safe Haskell | None |
---|
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.
- data ValidDeclaration = ValidDeclaration {}
- newtype ValidSignature = ValidSignature {}
- filterSignatures :: [ValidDeclaration] -> [ValidSignature]
Documentation
data ValidDeclaration Source
Marks a valid declaration.
ValidDeclaration | |
|
newtype ValidSignature Source
Marks a valid type signature.
ValidSignature | |
|
filterSignatures :: [ValidDeclaration] -> [ValidSignature]Source
Extracts all type signatures from a list of declarations.