Data.Semigroupoid.Static

Documentation

newtype Static f a b

Constructors

Static

Fields

runStatic :: f (a -> b)

Instances

Applicative f => Arrow (Static f)

Alternative f => ArrowZero (Static f)

Alternative f => ArrowPlus (Static f)

Applicative f => ArrowChoice (Static f)

Applicative f => Category (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)