purescript-0.2.2: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Kinds

Description

 

Documentation

kindsOf :: Maybe ProperName -> [String] -> [Type] -> Check KindSource

kindOf :: Type -> Check KindSource