Safe Haskell | None |
---|---|
Language | Haskell2010 |
Language.Haskell.Tools.AST.Match.Kinds
Description
UPattern matching on statement-level AST fragments for refactorings.
- pattern KindConstraint :: forall dom. Kind dom -> KindConstraint dom
- pattern StarKind :: forall dom. Kind dom
- pattern UnboxKind :: forall dom. Kind dom
- pattern FunKind :: forall dom. Kind dom -> Kind dom -> Kind dom
- pattern ParenKind :: forall dom. Kind dom -> Kind dom
- pattern VarKind :: forall dom. Name dom -> Kind dom
- pattern AppKind :: forall dom. Kind dom -> Kind dom -> Kind dom
- pattern ListKind :: forall dom. Kind dom -> Kind dom
- pattern IntKind :: forall dom. Integer -> Kind dom
- pattern StringKind :: forall dom. String -> Kind dom
- pattern ConKind :: forall dom. Name dom -> Kind dom
- pattern ListKindPromoted :: forall dom. KindList dom -> Kind dom
- pattern TupleKind :: forall dom. KindList dom -> Kind dom
- pattern UnitKind :: forall dom. Kind dom
Documentation
pattern KindConstraint :: forall dom. Kind dom -> KindConstraint dom #
Kind constraint ( :: * -> *
)
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.