Language.Haskell.Tools.AST.Gen.Patterns

Generation of pattern-level AST fragments for refactorings. The bindings defined here create a the annotated version of the AST constructor with the same name. For example, mkVarPat creates the annotated version of the VarPat AST constructor.

Documentation

mkVarPat :: Name dom -> Pattern dom

Pattern name binding

mkLitPat :: Literal dom -> Pattern dom

Literal pattern

mkInfixAppPat :: Pattern dom -> Operator dom -> Pattern dom -> Pattern dom

Infix constructor application pattern ( a :+: b )

mkAppPat :: Name dom -> [Pattern dom] -> Pattern dom

Constructor application pattern ( Point x y )

mkTuplePat :: [Pattern dom] -> Pattern dom

Tuple pattern ( (x,y) )

mkUnboxTuplePat :: [Pattern dom] -> Pattern dom

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

mkListPat :: [Pattern dom] -> Pattern dom

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

mkParArrayPat :: [Pattern dom] -> Pattern dom

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

mkParenPat :: Pattern dom -> Pattern dom

Parenthesised patterns

mkRecPat :: Name dom -> [PatternField dom] -> Pattern dom

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

mkAsPat :: Name dom -> Pattern dom -> Pattern dom

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

mkWildPat :: Pattern dom

Wildcard pattern: ( _ )

mkIrrefutablePat :: Pattern dom -> Pattern dom

Irrefutable pattern ( ~(x:_) )

mkBangPat :: Pattern dom -> Pattern dom

Bang pattern ( !x )

mkTypeSigPat :: Pattern dom -> Type dom -> Pattern dom

Pattern with explicit type signature ( x :: Int )

mkViewPat :: Expr dom -> Pattern dom -> Pattern dom

View pattern ( f -> Just 1 )

mkSplicePat :: Splice dom -> Pattern dom

Splice patterns: $(generateX inp)

mkQuasiQuotePat :: QuasiQuote dom -> Pattern dom

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

mkPatternField :: Name dom -> Pattern dom -> PatternField dom

Named field pattern ( p = Point 3 2 )

mkFieldPunPattern :: Name dom -> PatternField dom

Named field pun ( p )

mkFieldWildcardPattern :: PatternField dom

Wildcard field pattern ( .. )