Safe Haskell | None |
---|---|
Language | Haskell98 |
This module implements the desugaring pass which replaces top-level type declarations with type annotations on the corresponding expression.
- desugarTypeDeclarations :: (Functor m, Applicative m, MonadError MultipleErrors m) => [Declaration] -> m [Declaration]
- desugarTypeDeclarationsModule :: (Functor m, Applicative m, MonadError MultipleErrors m) => [Module] -> m [Module]
Documentation
desugarTypeDeclarations :: (Functor m, Applicative m, MonadError MultipleErrors m) => [Declaration] -> m [Declaration] Source
Replace all top level type declarations with type annotations
desugarTypeDeclarationsModule :: (Functor m, Applicative m, MonadError MultipleErrors m) => [Module] -> m [Module] Source
Replace all top level type declarations in a module with type annotations