Copyright | (c) 2010 Benedikt Schmidt |
---|---|
License | GPL v3 (see LICENSE) |
Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
Portability | GHC only |
Safe Haskell | None |
Language | Haskell98 |
Logic.Connectives
Description
Types and instances to handle series of disjunctions and conjunctions.
Documentation
A conjunction of atoms of type a.
Instances
A disjunction of atoms of type a.
Instances
Monad Disj # | |
Functor Disj # | |
Applicative Disj # | |
Foldable Disj # | |
Traversable Disj # | |
Alternative Disj # | |
MonadPlus 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) # | |