Module

Data.Monoid.Conj

#Conj

newtype Conj a

Monoid and semigroup for conjunction.

Conj x <> Conj y == Conj (x && y)
(mempty :: Conj _) == Conj tt

Constructors

Instances

Modules