IdrisDoc
: Data.Bool.Algebra
Index
Data.Bool.Algebra
PlusBoolAbel
:
AbelianGroup
Bool
PlusBoolAbelV
:
VerifiedAbelianGroup
Bool
PlusBoolGroup
:
Group
Bool
PlusBoolGroupV
:
VerifiedGroup
Bool
PlusBoolMonoid
:
Monoid
Bool
PlusBoolMonoidV
:
VerifiedMonoid
Bool
PlusBoolSemi
:
Semigroup
Bool
PlusBoolSemiV
:
VerifiedSemigroup
Bool
RingBool
:
Ring
Bool
RingBoolV
:
VerifiedRing
Bool
RingUnBool
:
RingWithUnity
Bool
and
:
Bool
->
Bool
->
Bool
xor
:
Bool
->
Bool
->
Bool