purescript-0.5.1: PureScript Programming Language Compiler

Safe HaskellNone

Language.PureScript.Kinds

Description

 

Synopsis

Documentation

data Kind Source

The data type of kinds

Constructors

KUnknown Unknown

Unification variable of type Kind

Star

The kind of types

Bang

The kind of effects

Row Kind

Kinds for labelled, unordered rows without duplicates

FunKind Kind Kind

Function kinds

Instances

everywhereOnKinds :: (Kind -> Kind) -> Kind -> KindSource

everythingOnKinds :: (r -> r -> r) -> (Kind -> r) -> Kind -> rSource