Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	polykinds
Safe Haskell	Safe
Language	Haskell98

Data.Semigroupoid.Static

Description

Documentation

newtype Static f a b Source

Constructors

Static
Fields runStatic :: f (a -> b)

Instances

Applicative f => Category * (Static f) Source
Apply f => Semigroupoid * (Static f) Source
Applicative f => Arrow (Static f) Source
Alternative f => ArrowZero (Static f) Source
Alternative f => ArrowPlus (Static f) Source
Applicative f => ArrowChoice (Static f) Source
Functor f => Functor (Static f a) Source
Applicative f => Applicative (Static f a) Source
(Comonad f, Monoid a) => Comonad (Static f a) Source
(Extend f, Semigroup a) => Extend (Static f a) Source
Apply f => Apply (Static f a) Source
Alt f => Alt (Static f a) Source
Plus f => Plus (Static f a) Source