Idris2Doc : Frexlet.Monoid.Nat

Frexlet.Monoid.Nat

Monoid structures over the Nats

Reexports

import public Data.Nat

Definitions

Additive : Monoid
  Additive monoid structure over the natural numbers

Totality: total
Visibility: public export
Multiplicative : Monoid
  Multiplicative monoid structure over the natural numbers

Totality: total
Visibility: public export