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

Safe HaskellNone
LanguageHaskell2010

Data.Type.Natural.Class

Description

Re-exports arithmetic and order structure for peano arithmetic.

Documentation

module Data.Type.Natural.Class.Arithmetic

module Data.Type.Natural.Class.Order