Data.Semigroupoid.Static

semigroupoids-1.2.6: Haskell 98 semigroupoids: Category sans id

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, Semigroup a, 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) |