# FullyPatternMatchable RΒΆ

- 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