semigroupoids-4.3: Semigroupoids: Category sans id

Safe HaskellSafe
LanguageHaskell98

Data.Semigroupoid.Static

Documentation

newtype Static f a b

Constructors

Static 

Fields

runStatic :: 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)