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