Safe Haskell | None |
---|---|
Language | Haskell98 |
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