Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
kindsOf :: ModuleName -> ProperName -> [String] -> [Type] -> Check Kind Source
kindsOfAll :: ModuleName -> [(ProperName, [String], [Type])] -> Check [Kind] Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
kindsOf :: ModuleName -> ProperName -> [String] -> [Type] -> Check Kind Source
kindsOfAll :: ModuleName -> [(ProperName, [String], [Type])] -> Check [Kind] Source