| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeChecker.Synonyms
Description
Functions for replacing fully applied type synonyms with the SaturatedTypeSynonym data constructor
- saturateAllTypeSynonyms :: [(Qualified ProperName, Int)] -> Type -> Either String Type
Documentation
saturateAllTypeSynonyms :: [(Qualified ProperName, Int)] -> Type -> Either String Type Source
Replace all type synonyms with the SaturatedTypeSynonym data constructor