papa-prelude-semigroupoids-0.0.2: Prelude with only useful functions

Safe HaskellSafe
LanguageHaskell2010

Papa.Prelude.Semigroupoids.Data.Semigroupoid

Synopsis

Documentation

(.) :: Semigroupoid cat => cat b c -> cat a b -> cat a c Source #

class Semigroupoid k c #

Minimal complete definition

o

Instances

Category k k1 => Semigroupoid k (WrappedCategory k k k1) 

Methods

o :: c j k1 -> c i j -> c i k1 #

Semigroup m => Semigroupoid k (Semi k k m) 

Methods

o :: c j k1 -> c i j -> c i k1 #

Semigroupoid * (->) 

Methods

o :: c j k1 -> c i j -> c i k1 #

Semigroupoid * (,)

http://en.wikipedia.org/wiki/Band_(mathematics)#Rectangular_bands

Methods

o :: c j k1 -> c i j -> c i k1 #

Semigroupoid * Op 

Methods

o :: c j k1 -> c i j -> c i k1 #

Bind m => Semigroupoid * (Kleisli m) 

Methods

o :: c j k1 -> c i j -> c i k1 #

Extend w => Semigroupoid * (Cokleisli w) 

Methods

o :: c j k1 -> c i j -> c i k1 #