Helium.StaticAnalysis.Directives.Matchers

Matching expressions

(directives based on Scripting the Type Inference Process, ICFP 2003)

Documentation

match_Expression_Literal :: Literal -> Expression -> Maybe ()

match_Expression_Variable :: Name -> Expression -> Maybe ()

match_Expression_Constructor :: Name -> Expression -> Maybe ()

match_Expression_NormalApplication :: Expression -> Maybe (Expression, Expressions)

match_Expression_InfixApplication :: Expression -> Maybe (MaybeExpression, Expression, MaybeExpression)

match_Expression_If :: Expression -> Maybe (Expression, Expression, Expression)

match_Expression_Lambda :: Expression -> Maybe (Patterns, Expression)

match_Expression_Case :: Expression -> Maybe (Expression, Alternatives)

match_Expression_Let :: Expression -> Maybe (Declarations, Expression)

match_Expression_Do :: Expression -> Maybe Statements

match_Expression_List :: Expression -> Maybe Expressions

match_Expression_Tuple :: Expression -> Maybe Expressions

match_Expression_Comprehension :: Expression -> Maybe (Expression, Qualifiers)

match_Expression_Typed :: Expression -> Maybe (Expression, Type)

match_Expression_Enum :: Expression -> Maybe (Expression, MaybeExpression, MaybeExpression)

match_Expression_Negate :: Expression -> Maybe Expression

match_Expression_NegateFloat :: Expression -> Maybe Expression

match_Expressions_Cons :: Expressions -> Maybe (Expression, Expressions)

match_Expressions_Nil :: Expressions -> Maybe ()

match_MaybeExpression_Just :: MaybeExpression -> Maybe Expression

match_MaybeExpression_Nothing :: MaybeExpression -> Maybe ()

eqLiteral :: Literal -> Literal -> Bool