| 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) # | |