Language.Haskell.Tools.AST.Gen.Kinds

Generation of statement-level AST fragments for refactorings. The bindings defined here are the AST constructor names with an "mk" prefix.

Documentation

mkKindConstraint :: Kind dom -> KindConstraint dom

Kind constraint ( :: * -> * )

mkKindStar :: Kind dom

*, the kind of types

mkKindUnbox :: Kind dom

#, the kind of unboxed types

mkKindFun :: Kind dom -> Kind dom -> Kind dom

->, the kind of type constructor

mkKindParen :: Kind dom -> Kind dom

A parenthesised kind

mkKindVar :: Name dom -> Kind dom

Kind variable (using PolyKinds extension)

mkKindApp :: Kind dom -> Kind dom -> Kind dom

Kind application ( k1 k2 )

mkKindList :: Kind dom -> Kind dom

A list kind ( [k] )

mkIntKind :: Integer -> Kind dom

Numeric value promoted to the kind level.

mkStringKind :: String -> Kind dom

String value promoted to the kind level.

mkConKind :: Name dom -> Kind dom

A data constructor value promoted to the kind level.

mkListKind :: [Kind dom] -> Kind dom

A list of elements as a kind.

mkTupleKind :: [Kind dom] -> Kind dom

A tuple of elements as a kind.

mkUnitKind :: Kind dom

Kind of the unit value ().