Module

Data.Monoid.Conj

Package
purescript-prelude
Repository
purescript/purescript-prelude

#Conj Source

newtype Conj a

Monoid and semigroup for conjunction.

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

Constructors

Instances