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