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

Safe HaskellNone
LanguageHaskell2010

Data.Type.Natural.Class

Contents

Description

Re-exports arithmetic and order structure for peano arithmetic.

Synopsis

Documentation

Quasi quoters generator for naturals

mkSNatQQ :: TypeQ -> QuasiQuoter Source #

Quasiquoter generateor for specific peano-types.

Since 0.7.0.0