Condition

Available

Represents a pattern with a condition test (pattern /; test).

Forms

patt /; test

lhs :> rhs /; test

lhs := rhs /; test

Verified examplesCondition[x_, x > 0] → x_ /; x > 0

Run this on Qurak Search the reference

Topics

Conditionals - Pattern-Based Conditionals »
Language Overview - Pattern Matching »
Patterns - Restrictions on Patterns
Robustness And Error Handling - Function Argument Checking
Rules And Patterns - Rules »
Syntax - Patterns

Related

Except If Switch Which PatternTest Restricted Element Piecewise Blank Alternatives BlankSequence Repeated

All 6300 functions · Use this from an MCP client