purescript-0.2.3: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Kinds

Description

 

Documentation

kindOf :: ModuleName -> Type -> Check KindSource

kindsOf :: ModuleName -> ProperName -> [String] -> [PolyType] -> Check KindSource

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