lean-peano-1.0.2.0: A maximally lazy, simple implementation of the Peano numbers with minimal dependencies.
Contents
Index
Index
%
Numeric.Peano.Typelevel
*
Numeric.Peano.Typelevel
+
Numeric.Peano.Typelevel
-
Numeric.Peano.Typelevel
/
Numeric.Peano.Typelevel
<
Numeric.Peano.Typelevel
<=
Numeric.Peano.Typelevel
==
Numeric.Peano.Typelevel
Compare
Numeric.Peano.Typelevel
foldlNat'
Numeric.Peano
foldrNat
Numeric.Peano
FromLit
Numeric.Peano.Typelevel
Max
Numeric.Peano.Typelevel
Min
Numeric.Peano.Typelevel
Nat
Numeric.Peano
S
Numeric.Peano
ToLit
Numeric.Peano.Typelevel
Z
Numeric.Peano