Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 ()
.