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