| Safe Haskell | None |
|---|
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 TypeSource
Replace all type synonyms with the SaturatedTypeSynonym data constructor