| Safe Haskell | None |
|---|
Language.PureScript.TypeChecker.Synonyms
Description
Functions for replacing fully applied type synonyms with the SaturatedTypeSynonym data constructor
- saturateTypeSynonym :: Data d => Qualified ProperName -> Int -> d -> Either String d
- saturateAllTypeSynonyms :: Data d => [(Qualified ProperName, Int)] -> d -> Either String d
Documentation
saturateTypeSynonym :: Data d => Qualified ProperName -> Int -> d -> Either String dSource
Replace all instances of a specific type synonym with the SaturatedTypeSynonym data constructor
saturateAllTypeSynonyms :: Data d => [(Qualified ProperName, Int)] -> d -> Either String dSource
Replace all type synonyms with the SaturatedTypeSynonym data constructor