| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Tools.Rewrite.Match.Kinds
Description
UPattern matching on statement-level AST fragments for refactorings.
Synopsis
- pattern KindConstraint :: Kind -> KindConstraint
- pattern StarKind :: Kind
- pattern UnboxKind :: Kind
- pattern FunKind :: Kind -> Kind -> Kind
- pattern ParenKind :: Kind -> Kind
- pattern VarKind :: Name -> Kind
- pattern AppKind :: Kind -> Kind -> Kind
- pattern ListKind :: Kind -> Kind
- pattern IntKind :: Integer -> Kind
- pattern StringKind :: String -> Kind
- pattern ConKind :: Name -> Kind
- pattern ListKindPromoted :: KindList -> Kind
- pattern TupleKind :: KindList -> Kind
- pattern UnitKind :: Kind
Documentation
pattern KindConstraint :: Kind -> KindConstraint Source #
Kind constraint ( :: * -> * )
pattern StringKind :: String -> Kind Source #
String value promoted to the kind level.
pattern ListKindPromoted :: KindList -> Kind Source #
A list of elements as a kind.