Peano | Data.Type.Natural.Builtin |
plusAssoc | Data.Type.Natural.Builtin |
plusAssociative | Data.Type.Natural |
plusComm | Data.Type.Natural.Builtin |
plusCommutative | Data.Type.Natural |
plusCongL | Data.Type.Natural |
plusCongR | Data.Type.Natural |
plusInjectiveL | Data.Type.Natural |
plusInjectiveR | Data.Type.Natural |
plusLeqL | Data.Type.Natural |
plusLeqR | Data.Type.Natural |
plusMinusEqL | Data.Type.Natural |
plusMinusEqR | Data.Type.Natural |
plusMonotone | Data.Type.Natural |
plusMultDistr | |
1 (Function) | Data.Type.Natural |
2 (Function) | Data.Type.Natural.Builtin |
plusNeutralL | Data.Type.Natural |
plusNeutralR | Data.Type.Natural |
pluSSR | Data.Type.Natural |
plusSuccL | Data.Type.Natural.Builtin |
plusSuccR | Data.Type.Natural.Builtin |
pluSZL | Data.Type.Natural |
plusZL | Data.Type.Natural.Builtin |
pluSZR | Data.Type.Natural |
plusZR | Data.Type.Natural.Builtin |
propToBoolLeq | Data.Type.Natural |
propToClassLeq | Data.Type.Natural |
Proxy | |
1 (Data Constructor) | Data.Type.Natural |
2 (Type/Class) | Data.Type.Natural |