FullyPatternMatchable R

patmatch1.spad line 182 [edit on github]

• R: Type

A set S is PatternMatchable over R if S can lift the pattern-matching functions of S over the integers and float to itself (necessary for matching in towers).

=: (%, %) -> Boolean if R has PatternMatchable Float or R has PatternMatchable Integer

from BasicType

~=: (%, %) -> Boolean if R has PatternMatchable Float or R has PatternMatchable Integer

from BasicType

coerce: % -> OutputForm if R has PatternMatchable Float or R has PatternMatchable Integer

from CoercibleTo OutputForm

latex: % -> String if R has PatternMatchable Float or R has PatternMatchable Integer

from SetCategory

patternMatch: (%, Pattern Float, PatternMatchResult(Float, %)) -> PatternMatchResult(Float, %) if R has PatternMatchable Float

from PatternMatchable Float

patternMatch: (%, Pattern Integer, PatternMatchResult(Integer, %)) -> PatternMatchResult(Integer, %) if R has PatternMatchable Integer

from PatternMatchable Integer

BasicType if R has PatternMatchable Float or R has PatternMatchable Integer

CoercibleTo OutputForm if R has PatternMatchable Float or R has PatternMatchable Integer

PatternMatchable Float if R has PatternMatchable Float

PatternMatchable Integer if R has PatternMatchable Integer

SetCategory if R has PatternMatchable Float or R has PatternMatchable Integer