IdrisDoc: Data.Bool.Algebra

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