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
Methods id :: Static f a a (.) :: Static f b c -> Static f a b -> Static f a c
Apply f => Semigroupoid * (Static f) Source
Methods o :: Static f j k -> Static f i j -> Static f i k Source
Applicative f => Arrow (Static f) Source
Methods arr :: (b -> c) -> Static f b c first :: Static f b c -> Static f (b, d) (c, d) second :: Static f b c -> Static f (d, b) (d, c) (***) :: Static f b c -> Static f b' c' -> Static f (b, b') (c, c') (&&&) :: Static f b c -> Static f b c' -> Static f b (c, c')
Alternative f => ArrowZero (Static f) Source
Methods zeroArrow :: Static f b c
Alternative f => ArrowPlus (Static f) Source
Methods (<+>) :: Static f b c -> Static f b c -> Static f b c
Applicative f => ArrowChoice (Static f) Source
Methods left :: Static f b c -> Static f (Either b d) (Either c d) right :: Static f b c -> Static f (Either d b) (Either d c) (+++) :: Static f b c -> Static f b' c' -> Static f (Either b b') (Either c c') (\|\|\|) :: Static f b d -> Static f c d -> Static f (Either b c) d
Functor f => Functor (Static f a) Source
Methods fmap :: (b -> c) -> Static f a b -> Static f a c (<$) :: b -> Static f a c -> Static f a b
Applicative f => Applicative (Static f a) Source
Methods pure :: b -> Static f a b (<>) :: Static f a (b -> c) -> Static f a b -> Static f a c (>) :: Static f a b -> Static f a c -> Static f a c (<*) :: Static f a b -> Static f a c -> Static f a b
(Comonad f, Monoid a) => Comonad (Static f a) Source
Methods extract :: Static f a b -> b duplicate :: Static f a b -> Static f a (Static f a b) extend :: (Static f a b -> c) -> Static f a b -> Static f a c
(Extend f, Semigroup a) => Extend (Static f a) Source
Methods duplicated :: Static f a b -> Static f a (Static f a b) Source extended :: (Static f a b -> c) -> Static f a b -> Static f a c Source
Apply f => Apply (Static f a) Source
Methods (<.>) :: Static f a (b -> c) -> Static f a b -> Static f a c Source (.>) :: Static f a b -> Static f a c -> Static f a c Source (<.) :: Static f a b -> Static f a c -> Static f a b Source
Alt f => Alt (Static f a) Source
Methods (<!>) :: Static f a b -> Static f a b -> Static f a b Source some :: Applicative (Static f a) => Static f a b -> Static f a [b] Source many :: Applicative (Static f a) => Static f a b -> Static f a [b] Source
Plus f => Plus (Static f a) Source
Methods zero :: Static f a b Source