| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.PureScript.TypeChecker.Synonyms
Description
Documentation
saturateTypeSynonym :: Data d => Environment -> ModuleName -> (ModuleName, ProperName) -> Int -> d -> Either String d Source
saturateAllTypeSynonyms :: Data d => Environment -> ModuleName -> [((ModuleName, ProperName), Int)] -> d -> Either String d Source