Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions for replacing fully applied type synonyms
Synopsis
- type SynonymMap = Map (Qualified (ProperName 'TypeName)) ([(Text, Maybe SourceType)], SourceType)
- type KindMap = Map (Qualified (ProperName 'TypeName)) (SourceType, TypeKind)
- replaceAllTypeSynonyms :: (e ~ MultipleErrors, MonadState CheckState m, MonadError e m) => SourceType -> m SourceType
Documentation
type SynonymMap = Map (Qualified (ProperName 'TypeName)) ([(Text, Maybe SourceType)], SourceType) Source #
Type synonym information (arguments with kinds, aliased type), indexed by name
type KindMap = Map (Qualified (ProperName 'TypeName)) (SourceType, TypeKind) Source #
replaceAllTypeSynonyms :: (e ~ MultipleErrors, MonadState CheckState m, MonadError e m) => SourceType -> m SourceType Source #
Replace fully applied type synonyms