Data.Monoid.Conj

newtype Conj a

Monoid and semigroup for conjunction.

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

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)