Data.Monoid.Conj

newtype Conj a

Monoid under conjuntion.

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

Constructors

• Conj a

Instances

• Newtype (Conj a) _
• (Eq a) => Eq (Conj a)
• (Ord a) => Ord (Conj a)
• (Bounded a) => Bounded (Conj a)
• Functor Conj
• Invariant Conj
• Apply Conj
• Applicative Conj
• Bind Conj
• Monad Conj
• Extend Conj
• Comonad Conj
• (Show a) => Show (Conj a)
• (HeytingAlgebra a) => Semigroup (Conj a)
• (HeytingAlgebra a) => Monoid (Conj a)
• (HeytingAlgebra a) => Semiring (Conj a)