| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Extensions.Verifier
Description
Tracking which extensions are used by the AST
Synopsis
- data Accounting l pos s = Accounting
- data Verification l pos s = Verification
- data Error pos
- = ContradictoryExtensionSwitches (Set ExtensionSwitch)
- | UndeclaredExtensionUse Extension [(pos, pos)]
- | UnusedExtension Extension
- | RecordTypeDataFields [(pos, pos)]
- | StrictTypeDataFields [(pos, pos)]
- verify :: (w ~ Wrap l pos s, Foldable (Verification l pos s) g) => Map Extension Bool -> w (g w w) -> [Error pos]
Documentation
data Accounting l pos s Source #
Transformation for tracking the uses of language extensions.
Constructors
| Accounting |
Instances
data Verification l pos s Source #
Transformation for reporting errors about language extension use
Constructors
| Verification |
Instances
| Transformation (Verification l pos s) Source # | |||||||||
Defined in Language.Haskell.Extensions.Verifier Associated Types
| |||||||||
| (Foldable (g (Wrap l pos s)), Foldable (Verification l pos s) g, At (Verification l pos s) (g (Wrap l pos s) (Wrap l pos s))) => Foldable (Verification l pos s) g Source # | |||||||||
Defined in Language.Haskell.Extensions.Verifier Methods foldMap :: (Codomain (Verification l pos s) ~ (Const m :: Type -> Type), Monoid m) => Verification l pos s -> Domain (Verification l pos s) (g (Domain (Verification l pos s)) (Domain (Verification l pos s))) -> m # | |||||||||
| type Codomain (Verification l pos s) Source # | |||||||||
Defined in Language.Haskell.Extensions.Verifier | |||||||||
| type Domain (Verification l pos s) Source # | |||||||||
Defined in Language.Haskell.Extensions.Verifier | |||||||||
Extension misuse or disuse errors
Constructors
| ContradictoryExtensionSwitches (Set ExtensionSwitch) | |
| UndeclaredExtensionUse Extension [(pos, pos)] | |
| UnusedExtension Extension | |
| RecordTypeDataFields [(pos, pos)] | |
| StrictTypeDataFields [(pos, pos)] |