Module

Data.Monoid.Conj

Package
prelude
Repository
purerl/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