Logic.Connectives

Types and instances to handle series of disjunctions and conjunctions.

Documentation

newtype Conj a

A conjunction of atoms of type a.

Constructors

Conj

Fields

getConj :: [a]

Instances

Monad Conj

Functor Conj

Typeable1 Conj

MonadPlus Conj

Applicative Conj

Foldable Conj

Traversable Conj

Eq a => Eq (Conj a)

Data a => Data (Conj a)

Ord a => Ord (Conj a)

Show a => Show (Conj a)

Monoid (Conj a)

Binary a => Binary (Conj a)

NFData a => NFData (Conj a)

newtype Disj a

A disjunction of atoms of type a.

Constructors

Disj

Fields

getDisj :: [a]

Instances

Monad Disj

Functor Disj

Typeable1 Disj

MonadPlus Disj

Applicative Disj

Foldable Disj

Traversable Disj

MonadDisj Disj

Eq a => Eq (Disj a)

Data a => Data (Disj a)

Ord a => Ord (Disj a)

Show a => Show (Disj a)

Monoid (Disj a)

Binary a => Binary (Disj a)

NFData a => NFData (Disj a)