Documentation

Constructors

StarK
ArrowK Kind Kind

Instances

Eq Kind
Data Kind
Show Kind
Typeable Kind
Lift Kind

kindStars :: Kind -> Int Source

Counts the number of StarKs in a Kind.

succKind :: Kind -> Kind Source

Adds -> * to the end of a Kind.

             * ==> * -> *
        * -> * ==> * -> * -> *
 (* -> *) -> * ==> (* -> *) -> * -> *

recurseKind :: Kind -> Kind Source

Transforms from k to k -> * .

             * ==> * -> *
        * -> * ==> (* -> *) -> *
 (* -> *) -> * ==> ((* -> *) -> *) -> *

toParameters :: Kind -> [Kind]Source

Extract the parameters of a Kind. Reverse of fromParameters.

fromParameters :: [Kind] -> Kind Source

Combine parameter to form a type constructors Kind. Reverse of toParameters.

kindSignature :: Kind -> String Source

Get a kind signature from a Kind.

kindName :: Kind -> String Source

Get the bastard string representation of a Kind.

readKindName :: String -> Kind Source

Read the bastard string representation to Kind.

generateKinds Source

Arguments

:: Int	the maximum `StarK`s allowed.
-> [Kind]

Generates all possible Kinds given the maximum StarKs allowed.

 1:1 1
 *
 
 2:1 2
 *->*
 
 3:2 4
 *->*->*
 (*->*)->*
 
 4:5 9
 *->*->*->*
 (*->*)->*->*
 *->(*->*)->*
 (*->*->*)->*
 ((*->*)->*)->*
 
 5:14 23
 *->*->*->*->*
 (*->*)->(*->*)->*
 (*->*)->*->*->*
 *->(*->*)->*->*
 *->*->(*->*)->*
 (*->*->*)->*->*
 ((*->*)->*)->*->*
 *->(*->*->*)->*
 *->((*->*)->*)->*
 (*->*->*->*)->*
 ((*->*)->*->*)->*
 (*->(*->*)->*)->*
 ((*->*->*)->*)->*
 (((*->*)->*)->*)->*

The series continues: 1,1,2,5,14,42,132,429,1430,4862,...