Module

Data.Monoid.Conj

Package
purescript-prelude
Repository
purescript/purescript-prelude

#Conj Source

newtype Conj a

Monoid and semigroup for conjuntion.

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

Constructors

Instances