Data.Semigroupoid.Static · semigroupoids-6.0.1

newtypenewtype Static (f :: Type -> Type) a b

Instances13Category, Semigroupoid, Arrow, ArrowChoice, ArrowPlus, ArrowZero, …

Applicative f => Category (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Apply f => Semigroupoid (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Applicative f => Arrow (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Applicative f => ArrowChoice (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Alternative f => ArrowPlus (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Alternative f => ArrowZero (Static f)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Functor f => Functor (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Applicative f => Applicative (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
(Comonad f, Monoid a) => Comonad (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Alt f => Alt (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Apply f => Apply (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
(Extend f, Semigroup a) => Extend (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static
Plus f => Plus (Static f a)Defined in semigroupoids-6.0.1 · Data.Semigroupoid.Static