| Safe Haskell | None |
|---|
Data.Semigroupoid.Static
Documentation
Instances
| (Category (Static f), Applicative f) => Arrow (Static f) | |
| (Arrow (Static f), Alternative f) => ArrowZero (Static f) | |
| (ArrowZero (Static f), Alternative f) => ArrowPlus (Static f) | |
| (Arrow (Static f), Applicative f) => ArrowChoice (Static f) | |
| Applicative f => Category (Static f) | |
| Apply f => Semigroupoid (Static f) | |
| Functor f => Functor (Static f a) | |
| (Functor (Static f a), Applicative f) => Applicative (Static f a) | |
| (Functor (Static f a), Comonad f, Monoid a) => Comonad (Static f a) | |
| (Functor (Static f a), Extend f, Semigroup a) => Extend (Static f a) | |
| (Functor (Static f a), Apply f) => Apply (Static f a) | |
| (Functor (Static f a), Alt f) => Alt (Static f a) | |
| (Alt (Static f a), Plus f) => Plus (Static f a) |