FunctionSpaceAttachPredicates(R, F, D)

expr.spad line 913 [edit on github]

• R: Comparable

• F: FunctionSpace R

• D: Type

Attaching predicates to symbols for pattern matching. Date Created: 21 Mar 1989

suchThat: (F, D -> Boolean) -> F

suchThat(x, foo) attaches the predicate foo to x; error if x is not a symbol.

suchThat: (F, List(D -> Boolean)) -> F

suchThat(x, [f1, f2, ..., fn]) attaches the predicate f1 and f2 and … and fn to x. Error: if x is not a symbol.