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(Integer) or R has PatternMatchable(Float)

from BasicType

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

from CoercibleTo(OutputForm)

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

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)

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

from BasicType

PatternMatchable(Integer)

PatternMatchable(Float)

SetCategory

BasicType

CoercibleTo(OutputForm)