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.
- mkKindConstraint :: Kind dom -> KindConstraint dom
- mkKindStar :: Kind dom
- mkKindUnbox :: Kind dom
- mkKindFun :: Kind dom -> Kind dom -> Kind dom
- mkKindParen :: Kind dom -> Kind dom
- mkKindVar :: Name dom -> Kind dom
- mkKindApp :: Kind dom -> Kind dom -> Kind dom
- mkKindList :: Kind dom -> Kind dom
- mkIntKind :: Integer -> Kind dom
- mkStringKind :: String -> Kind dom
- mkConKind :: Name dom -> Kind dom
- mkListKind :: [Kind dom] -> Kind dom
- mkTupleKind :: [Kind dom] -> Kind dom
- mkUnitKind :: Kind dom
Documentation
mkKindConstraint :: Kind dom -> KindConstraint dom Source #
Kind constraint ( :: * -> *
)
mkKindStar :: Kind dom Source #
*
, the kind of types
mkKindUnbox :: Kind dom Source #
#
, the kind of unboxed types
mkKindParen :: Kind dom -> Kind dom Source #
A parenthesised kind
mkKindList :: Kind dom -> Kind dom Source #
A list kind ( [k]
)
mkStringKind :: String -> Kind dom Source #
String value promoted to the kind level.
mkListKind :: [Kind dom] -> Kind dom Source #
A list of elements as a kind.
mkTupleKind :: [Kind dom] -> Kind dom Source #
A tuple of elements as a kind.
mkUnitKind :: Kind dom Source #
Kind of the unit value ()
.