Data.Monoid.Conj

newtype Conj a

Monoid and semigroup for conjuntion.

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

Constructors

• Conj a

Instances

• (Eq a) => Eq (Conj a)
• Eq1 Conj
• (Ord a) => Ord (Conj a)
• Ord1 Conj
• (Bounded a) => Bounded (Conj a)
• (Show a) => Show (Conj a)
• Functor Conj
• Apply Conj
• Applicative Conj
• Bind Conj
• Monad Conj
• (HeytingAlgebra a) => Semigroup (Conj a)
• (HeytingAlgebra a) => Monoid (Conj a)
• (HeytingAlgebra a) => Semiring (Conj a)