Language.Haskell.Tools.AST.Match.Binds

UPattern matching on binding-level AST fragments for refactorings.

Documentation

pattern SimpleBind :: forall dom. Pattern dom -> Rhs dom -> MaybeLocalBinds dom -> ValueBind dom

Non-function binding ( v = "12" )

pattern FunctionBind :: forall dom. MatchList dom -> ValueBind dom

Function binding ( f 0 = 1; f x = x ). All matches must have the same name.

pattern Match :: forall dom. MatchLhs dom -> Rhs dom -> MaybeLocalBinds dom -> Match dom

Clause of function binding

pattern MatchLhs :: forall dom. Name dom -> PatternList dom -> MatchLhs dom

A match lhs with the function name and parameter names ( f a b )

pattern InfixLhs :: forall dom. Pattern dom -> Operator dom -> Pattern dom -> PatternList dom -> MatchLhs dom

An infix match lhs for an operator ( a + b )

pattern LocalBinds :: forall dom. LocalBindList dom -> LocalBinds dom

Local bindings attached to a declaration ( where x = 42 )

pattern LocalValBind :: forall dom. ValueBind dom -> LocalBind dom

A local binding for a value

pattern LocalTypeSig :: forall dom. TypeSignature dom -> LocalBind dom

A local type signature

pattern LocalFixity :: forall dom. FixitySignature dom -> LocalBind dom

A local fixity declaration

pattern TypeSignature :: forall dom. NameList dom -> Type dom -> TypeSignature dom

A type signature ( f :: Int -> Int )

pattern InfixL :: forall dom. OperatorList dom -> FixitySignature dom

A left-associative fixity declaration ( infixl 5 +, - ).

pattern InfixR :: forall dom. OperatorList dom -> FixitySignature dom

A right-associative fixity declaration ( infixr 5 +, - ).

pattern Infix :: forall dom. OperatorList dom -> FixitySignature dom

A non-associative fixity declaration ( infix 5 +, - ).

pattern UnguardedRhs :: forall dom. Expr dom -> Rhs dom

An unguarded right-hand-side ( = 3 )

pattern GuardedRhss :: forall dom. GuardedRhsList dom -> Rhs dom

An unguarded right-hand-side ( | x == 1 = 3; | otherwise = 4 )

pattern GuardedRhs :: forall dom. RhsGuardList dom -> Expr dom -> GuardedRhs dom

A guarded right-hand side of a value binding ( | x > 3 = 2 )

pattern GuardBind :: forall dom. Pattern dom -> Expr dom -> RhsGuard dom

A bind statement in a pattern guard ( Just v <- x )

pattern GuardLet :: forall dom. LocalBindList dom -> RhsGuard dom

A let statement in a pattern guard ( let x = 3 )

pattern GuardCheck :: forall dom. Expr dom -> RhsGuard dom

An expression to check for a pattern guard