semigroupoids-5.2: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilitypolykinds
Safe HaskellSafe
LanguageHaskell98

Data.Semigroupoid.Static

Description

 

Documentation

newtype Static f a b Source #

Constructors

Static 

Fields

Instances

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 #

Applicative f => Category * (Static f) Source # 

Methods

id :: cat a a #

(.) :: cat b c -> cat a b -> cat a c #

Apply f => Semigroupoid * (Static f) Source # 

Methods

o :: c j k -> c i j -> c i k Source #

Functor f => Functor (Static f a) Source # 

Methods

fmap :: (a -> b) -> Static f a a -> Static f a b #

(<$) :: a -> Static f a b -> Static f a a #

Applicative f => Applicative (Static f a) Source # 

Methods

pure :: a -> Static f a a #

(<*>) :: Static f a (a -> b) -> Static f a a -> Static f a b #

(*>) :: Static f a a -> Static f a b -> Static f a b #

(<*) :: Static f a a -> Static f a b -> Static f a a #

(Comonad f, Monoid a) => Comonad (Static f a) Source # 

Methods

extract :: Static f a a -> a #

duplicate :: Static f a a -> Static f a (Static f a a) #

extend :: (Static f a a -> b) -> Static f a a -> Static f a b #

(Extend f, Semigroup a) => Extend (Static f a) Source # 

Methods

duplicated :: Static f a a -> Static f a (Static f a a) Source #

extended :: (Static f a a -> b) -> Static f a a -> Static f a b Source #

Apply f => Apply (Static f a) Source # 

Methods

(<.>) :: Static f a (a -> b) -> Static f a a -> Static f a b Source #

(.>) :: Static f a a -> Static f a b -> Static f a b Source #

(<.) :: Static f a a -> Static f a b -> Static f a a Source #

Alt f => Alt (Static f a) Source # 

Methods

(<!>) :: Static f a a -> Static f a a -> Static f a a Source #

some :: Applicative (Static f a) => Static f a a -> Static f a [a] Source #

many :: Applicative (Static f a) => Static f a a -> Static f a [a] Source #

Plus f => Plus (Static f a) Source # 

Methods

zero :: Static f a a Source #