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