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