| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Rewrite.Create.Kinds
Description
Generation of statement-level AST fragments for refactorings. The bindings defined here are the AST constructor names with an "mk" prefix.
Synopsis
- mkKindConstraint :: Kind -> KindConstraint
- mkKindStar :: Kind
- mkKindUnbox :: Kind
- mkKindFun :: Kind -> Kind -> Kind
- mkKindParen :: Kind -> Kind
- mkKindVar :: Name -> Kind
- mkKindApp :: Kind -> Kind -> Kind
- mkKindList :: Kind -> Kind
- mkIntKind :: Integer -> Kind
- mkStringKind :: String -> Kind
- mkConKind :: Name -> Kind
- mkListKind :: [Kind] -> Kind
- mkTupleKind :: [Kind] -> Kind
- mkUnitKind :: Kind
Documentation
mkKindConstraint :: Kind -> KindConstraint Source #
Kind constraint ( :: * -> * )
mkKindStar :: Kind Source #
*, the kind of types
mkKindUnbox :: Kind Source #
#, the kind of unboxed types
mkKindParen :: Kind -> Kind Source #
A parenthesised kind
mkKindList :: Kind -> Kind Source #
A list kind ( [k] )
mkStringKind :: String -> Kind Source #
String value promoted to the kind level.
mkListKind :: [Kind] -> Kind Source #
A list of elements as a kind.
mkTupleKind :: [Kind] -> Kind Source #
A tuple of elements as a kind.
mkUnitKind :: Kind Source #
Kind of the unit value ().