purescript-0.2.7: PureScript Programming Language Compiler

Safe Haskell	None

Language.PureScript.TypeChecker.Kinds

Description

Documentation

kindOf :: ModuleName -> Type -> Check Kind Source

kindsOf :: ModuleName -> ProperName -> [String] -> [Type] -> Check Kind Source

kindsOfAll :: ModuleName -> [(ProperName, [String], [Type])] -> Check [Kind]Source