Data.Type.Kind

Algorithms and operations on type kinds.

Documentation

data Kind

Constructors

StarK

ArrowK Kind Kind

Instances

Eq Kind

Data Kind

Show Kind

Typeable Kind

Lift Kind

kindStars :: Kind -> Int

Counts the number of StarKs in a Kind.

succKind :: Kind -> Kind

Adds -> * to the end of a Kind.

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

recurseKind :: Kind -> Kind

Transforms from k to k -> * .

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

toParameters :: Kind -> [Kind]

Extract the parameters of a Kind. Reverse of fromParameters.

fromParameters :: [Kind] -> Kind

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

kindSignature :: Kind -> String

Get a kind signature from a Kind.

kindName :: Kind -> String

Get the bastard string representation of a Kind.

readKindName :: String -> Kind

Read the bastard string representation to Kind.

generateKinds

Arguments

:: Int

the maximum StarKs 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,...