Language.Haskell.Tools.AST.Match.Kinds

UPattern matching on statement-level AST fragments for refactorings.

Documentation

pattern KindConstraint :: forall dom. Kind dom -> KindConstraint dom

Kind constraint ( :: * -> * )

pattern StarKind :: forall dom. Kind dom

*, the kind of types

pattern UnboxKind :: forall dom. Kind dom

#, the kind of unboxed types

pattern FunKind :: forall dom. Kind dom -> Kind dom -> Kind dom

->, the kind of type constructor

pattern ParenKind :: forall dom. Kind dom -> Kind dom

A parenthesised kind

pattern VarKind :: forall dom. Name dom -> Kind dom

Kind variable (using PolyKinds extension)

pattern AppKind :: forall dom. Kind dom -> Kind dom -> Kind dom

Kind application ( k1 k2 )

pattern ListKind :: forall dom. Kind dom -> Kind dom

A list kind ( [k] )

pattern IntKind :: forall dom. Integer -> Kind dom

Numeric value promoted to the kind level.

pattern StringKind :: forall dom. String -> Kind dom

String value promoted to the kind level.

pattern ConKind :: forall dom. Name dom -> Kind dom

A data constructor value promoted to the kind level.

pattern ListKindPromoted :: forall dom. KindList dom -> Kind dom

A list of elements as a kind.

pattern TupleKind :: forall dom. KindList dom -> Kind dom

A tuple of elements as a kind.

pattern UnitKind :: forall dom. Kind dom

Kind of the unit value ().