tamarin-prover-utils-0.8.5.1: Utility library for the tamarin prover.

PortabilityGHC only
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone

Logic.Connectives

Description

Types and instances to handle series of disjunctions and conjunctions.

Synopsis

Documentation

newtype Conj a Source

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 Source

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)