| License | BSD-style (see the file LICENSE) |
|---|---|
| Maintainer | sjoerd@w3future.com |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe |
| Language | Haskell2010 |
Data.Constraint.Class1
Description
- class Class1 b h | h -> b where
- class SuperClass1 b h where
Documentation
class Class1 b h | h -> b where Source #
Minimal complete definition
Instances
| Class1 (* -> * -> *) Bifunctor Biapplicative Source # | |
| Class1 (* -> * -> *) Arrow ArrowZero Source # | |
| Class1 (* -> * -> *) Arrow ArrowChoice Source # | |
| Class1 (* -> * -> *) Arrow ArrowApply Source # | |
| Class1 (* -> * -> *) Arrow ArrowLoop Source # | |
| Class1 (* -> * -> *) ArrowZero ArrowPlus Source # | |
| Class1 (* -> *) Functor Applicative Source # | |
| Class1 (* -> *) Functor Traversable Source # | |
| Class1 (* -> *) Functor Comonad Source # | |
| Class1 (* -> *) Applicative Monad Source # | |
| Class1 (* -> *) Applicative Alternative Source # | |
| Class1 (* -> *) Divisible Decidable Source # | |
| Class1 (* -> *) Contravariant Divisible Source # | |
| Class1 (* -> * -> *) (Category *) Arrow Source # | |
class SuperClass1 b h where Source #
Automatically find superclasses by searching the Class1 instances
Minimal complete definition
Instances
| (SuperClass1 k b c, Class1 k c h) => SuperClass1 k b h Source # | |
| SuperClass1 k b b Source # | |