| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.TypeChecker.Synonyms
Description
Functions for replacing fully applied type synonyms
- type SynonymMap = Map (Qualified (ProperName TypeName)) ([(Text, Maybe Kind)], Type)
- replaceAllTypeSynonyms :: (e ~ MultipleErrors, MonadState CheckState m, MonadError e m) => Type -> m Type
- replaceAllTypeSynonymsM :: MonadError MultipleErrors m => SynonymMap -> Type -> m Type
Documentation
type SynonymMap = Map (Qualified (ProperName TypeName)) ([(Text, Maybe Kind)], Type) Source #
Type synonym information (arguments with kinds, aliased type), indexed by name
replaceAllTypeSynonyms :: (e ~ MultipleErrors, MonadState CheckState m, MonadError e m) => Type -> m Type Source #
Replace fully applied type synonyms
replaceAllTypeSynonymsM :: MonadError MultipleErrors m => SynonymMap -> Type -> m Type Source #
Replace fully applied type synonyms by explicitly providing a SynonymMap.