purescript-0.4.17.1: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.TypeChecker.Kinds

Description

This module implements the kind checker

Synopsis

Documentation

kindOf :: ModuleName -> Type -> Check KindSource

Infer the kind of a single type

kindsOf :: Bool -> ModuleName -> ProperName -> [String] -> [Type] -> Check KindSource

Infer the kind of a type constructor with a collection of arguments and a collection of associated data constructors

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

Simultaneously infer the kinds of several mutually recursive type constructors