Module

Data.Monoid.Disj

#Disj

newtype Disj a

Monoid and semigroup for disjunction.

Disj x <> Disj y == Disj (x || y)
(mempty :: Disj _) == Disj bottom

Constructors

Instances

Modules