# 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

- hash: % -> SingleInteger if R has PatternMatchable Float or R has PatternMatchable Integer
from SetCategory

- hashUpdate!: (HashState, %) -> HashState if R has PatternMatchable Float or R has PatternMatchable Integer
from SetCategory

- 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