Ten | Data.Type.Natural |
ten | Data.Type.Natural |
TenSym0 | Data.Type.Natural |
ThenCmp | Data.Type.Natural.Builtin |
thenCmp | Data.Type.Natural.Builtin |
ThenCmpSym0 | Data.Type.Natural.Builtin |
ThenCmpSym1 | Data.Type.Natural.Builtin |
ThenCmpSym2 | Data.Type.Natural.Builtin |
Thirteen | Data.Type.Natural |
thirteen | Data.Type.Natural |
ThirteenSym0 | Data.Type.Natural |
Three | Data.Type.Natural |
three | Data.Type.Natural |
ThreeSym0 | Data.Type.Natural |
toFromPeano | Data.Type.Natural.Builtin |
toNatural | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
ToPeano | Data.Type.Natural.Builtin |
toPeanoInjective | Data.Type.Natural.Builtin |
toPeanoMonotone | Data.Type.Natural.Builtin |
toPeanoMultCong | Data.Type.Natural.Builtin |
toPeanoOneCong | Data.Type.Natural.Builtin |
toPeanoPlusCong | Data.Type.Natural.Builtin |
toPeanoSuccCong | Data.Type.Natural.Builtin |
toPeanoZeroCong | Data.Type.Natural.Builtin |
toSing | Data.Type.Natural |
truncMinusLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
Twelve | Data.Type.Natural |
twelve | Data.Type.Natural |
TwelveSym0 | Data.Type.Natural |
Twenty | Data.Type.Natural |
twenty | Data.Type.Natural |
TwentySym0 | Data.Type.Natural |
Two | Data.Type.Natural |
two | Data.Type.Natural |
TwoSym0 | Data.Type.Natural |
TyCon | Data.Type.Natural |
TyCon1 | Data.Type.Natural |
TyCon2 | Data.Type.Natural |
TyCon3 | Data.Type.Natural |
TyCon4 | Data.Type.Natural |
TyCon5 | Data.Type.Natural |
TyCon6 | Data.Type.Natural |
TyCon7 | Data.Type.Natural |
TyCon8 | Data.Type.Natural |
TyFun | Data.Type.Natural |