type-natural-0.8.2.0: Type-level natural and proofs of their properties.

Index - Z

ZData.Type.Natural
Zero 
1 (Type/Class)Data.Type.Natural
2 (Type/Class)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
3 (Data Constructor)Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
zeroData.Type.Natural
ZeroLeqData.Type.Natural
zeroNoLTData.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
ZeroOrSuccData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
zeroOrSuccData.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
ZeroSym0Data.Type.Natural
ZSym0Data.Type.Natural