| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeChecker.Synonyms
Description
Functions for replacing fully applied type synonyms
Documentation
replaceAllTypeSynonyms :: (e ~ MultipleErrors, Functor m, Monad m, MonadState CheckState m, MonadError e m) => Type -> m Type Source