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