Frexlet.Monoid.Pair

Monoid structures over pairs

Definitions

Unit : Setoid

Totality: total
Visibility: public export

leftNeut : Pair Unit a <~> a

Totality: total
Visibility: public export

rightNeut : Pair a Unit <~> a

Totality: total
Visibility: public export

assoc : Pair a (Pair b c) <~> Pair (Pair a b) c

Totality: total
Visibility: public export

MonoidPair : Monoid

Totality: total
Visibility: public export