Type.Spine.Kinds

Kinds for the spine-view on types.

Documentation

parameterKinds :: [Kind]

The set of kinds that this library will initially support as type parameters.

maxParameters :: Int

The default number of parameters that this library will initially support.

allKinds :: [Kind]

The kinds consequent from parameterKinds and maxParameters.

badParseK :: Monad m => [Char] -> m a

parseK_ :: Monad m => String -> m Kind

trim :: [Char] -> [Char]

parseK :: Monad m => String -> m (Kind, String)

stringK :: Kind -> [Char]

nameK :: Kind -> Name

typeK :: Kind -> TypeQ

declareK :: Kind -> Q [Dec]

qK :: QuasiQuoter

[qK|...|] is either the declaration of a type that takes one parameter of the corresponding kind, or an occurrence of that type constructor. (The name is an encoding of that parameter's kind based on prefix notation for application.)

generateK :: (Eq a, Num a) => [Kind] -> a -> [Kind]

generateK pks n generates all Kinds with 0 to n parameters taken from pks.

forallAppsK :: (Kind -> Kind -> Q a) -> Q [a]

Calls its argument once for each parameter and kind pair implied by maxParameters and parameterKinds.