haskell-tools-rewrite-1.0.1.1: Facilities for generating new parts of the Haskell-Tools AST

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Tools.Rewrite.Match.Kinds

Description

UPattern matching on statement-level AST fragments for refactorings.

Synopsis

Documentation

pattern KindConstraint :: Kind -> KindConstraint #

Kind constraint ( :: * -> * )

pattern StarKind :: Kind #

*, the kind of types

pattern UnboxKind :: Kind #

#, the kind of unboxed types

pattern FunKind :: Kind -> Kind -> Kind #

->, the kind of type constructor

pattern ParenKind :: Kind -> Kind #

A parenthesised kind

pattern VarKind :: Name -> Kind #

Kind variable (using PolyKinds extension)

pattern AppKind :: Kind -> Kind -> Kind #

Kind application ( k1 k2 )

pattern ListKind :: Kind -> Kind #

A list kind ( [k] )

pattern IntKind :: Integer -> Kind #

Numeric value promoted to the kind level.

pattern StringKind :: String -> Kind #

String value promoted to the kind level.

pattern ConKind :: Name -> Kind #

A data constructor value promoted to the kind level.

pattern ListKindPromoted :: KindList -> Kind #

A list of elements as a kind.

pattern TupleKind :: KindList -> Kind #

A tuple of elements as a kind.

pattern UnitKind :: Kind #

Kind of the unit value ().