Index
| + | Data.Numeric.Witness.Peano |
| - | Data.Numeric.Witness.Peano |
| < | Data.Numeric.Witness.Peano |
| <= | Data.Numeric.Witness.Peano |
| LessThan | Data.Numeric.Witness.Peano |
| LessThanOrEqual | Data.Numeric.Witness.Peano |
| minus | Data.Numeric.Witness.Peano |
| Natural | Data.Numeric.Witness.Peano |
| plus | Data.Numeric.Witness.Peano |
| ReifyNatural | Data.Numeric.Witness.Peano |
| reifyNatural | Data.Numeric.Witness.Peano |
| Succ | |
| 1 (Data Constructor) | Data.Numeric.Witness.Peano |
| 2 (Type/Class) | Data.Numeric.Witness.Peano |
| Zero | |
| 1 (Data Constructor) | Data.Numeric.Witness.Peano |
| 2 (Type/Class) | Data.Numeric.Witness.Peano |