Data.Semigroupoid.Static

Documentation

newtype Static f a b

Constructors

Static

Fields

runStatic :: f (a -> b)

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)