Module

Data.Monoid.Disj

Package: purescript-monoidDEPRECATED
Repository: purescript/purescript-monoid

#Disj Source

newtype Disj a

Monoid under disjuntion.

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

Constructors

Disj a

Instances

Newtype (Disj a) _
(Eq a) => Eq (Disj a)
(Ord a) => Ord (Disj a)
(Bounded a) => Bounded (Disj a)
Functor Disj
Invariant Disj
Apply Disj
Applicative Disj
Bind Disj
Monad Disj
Extend Disj
Comonad Disj
(Show a) => Show (Disj a)
(HeytingAlgebra a) => Semigroup (Disj a)
(HeytingAlgebra a) => Monoid (Disj a)
(HeytingAlgebra a) => Semiring (Disj a)

Modules: Data.Monoid; Data.Monoid.Additive; Data.Monoid.Alternate; Data.Monoid.Conj; Data.Monoid.Disj; Data.Monoid.Dual; Data.Monoid.Endo; Data.Monoid.Multiplicative