Safe Haskell | None |
---|---|
Language | Haskell98 |
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