type-natural-0.7.1.4: 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

module Data.Type.Natural.Class.Arithmetic

module Data.Type.Natural.Class.Order

Quasi quoters generator for naturals

mkSNatQQ :: TypeQ -> QuasiQuoter Source #

Quasiquoter generateor for specific peano-types.

Since 0.7.0.0