Language.Haskell.Tools.AST.Match.Patterns

UPattern matching on pattern-level AST fragments for refactorings.

Documentation

pattern VarPat :: forall dom. Name dom -> Pattern dom

Pattern name binding

pattern LitPat :: forall dom. Literal dom -> Pattern dom

Literal pattern

pattern InfixAppPat :: forall dom. Pattern dom -> Operator dom -> Pattern dom -> Pattern dom

Infix constructor application pattern ( a :+: b )

pattern AppPat :: forall dom. Name dom -> PatternList dom -> Pattern dom

Constructor application pattern ( Point x y )

pattern TuplePat :: forall dom. PatternList dom -> Pattern dom

Tuple pattern ( (x,y) )

pattern UnboxTuplePat :: forall dom. PatternList dom -> Pattern dom

Unboxed tuple pattern ( (# x, y #) )

pattern ListPat :: forall dom. PatternList dom -> Pattern dom

List pattern ( [1,2,a,x] )

pattern ParArrayPat :: forall dom. PatternList dom -> Pattern dom

Parallel array pattern ( [:1,2,a,x:] )

pattern ParenPat :: forall dom. Pattern dom -> Pattern dom

Parenthesised patterns

pattern RecPat :: forall dom. Name dom -> PatternFieldList dom -> Pattern dom

Record pattern ( Point { x = 3, y } )

pattern AsPat :: forall dom. Name dom -> Pattern dom -> Pattern dom

As-pattern (explicit name binding) ( ls@(hd:_) )

pattern WildPat :: forall dom. Pattern dom

Wildcard pattern: ( _ )

pattern IrrefutablePat :: forall dom. Pattern dom -> Pattern dom

Irrefutable pattern ( ~(x:_) )

pattern BangPat :: forall dom. Pattern dom -> Pattern dom

Bang pattern ( !x )

pattern TypeSigPat :: forall dom. Pattern dom -> Type dom -> Pattern dom

Pattern with explicit type signature ( x :: Int )

pattern ViewPat :: forall dom. Expr dom -> Pattern dom -> Pattern dom

View pattern ( f -> Just 1 )

pattern SplicePat :: forall dom. Splice dom -> Pattern dom

Splice patterns: $(generateX inp)

pattern QuasiQuotePat :: forall dom. QuasiQuote dom -> Pattern dom

Quasi-quoted patterns: [| 1 + 2 |]

pattern NPlusKPat :: forall dom. Name dom -> Literal dom -> Pattern dom

pattern FieldPattern :: forall dom. Name dom -> Pattern dom -> PatternField dom

Named field pattern ( p = Point 3 2 )

pattern FieldPunPattern :: forall dom. Name dom -> PatternField dom

Named field pun ( p )

pattern FieldWildcardPattern :: forall dom. FieldWildcard dom -> PatternField dom

Wildcard field pattern ( .. )