Control.Semigroupoid

Documentation

class Semigroupoid κ where

Category sans id

Laws:

• f . (g . h) = (f . g) . h

Methods

(.) :: κ b c -> κ a b -> κ a c infixr 9

Instances

Category κ => Semigroupoid (κ :: k -> k -> Type)

Defined in Control.Semigroupoid

Methods

(.) :: κ b c -> κ a b -> κ a c

Semigroupoid κ => Semigroupoid (Dual κ :: k -> k -> Type)

Defined in Control.Semigroupoid

Methods

(.) :: Dual κ b c -> Dual κ a b -> Dual κ a c

Semigroupoid (,)

Defined in Control.Semigroupoid

Methods

(.) :: (b, c) -> (a, b) -> (a, c)

Semigroupoid (Const :: Type -> Type -> Type)

Defined in Control.Semigroupoid

Methods

(.) :: Const b c -> Const a b -> Const a c

Semigroupoid (Tagged :: Type -> Type -> Type)

Defined in Control.Semigroupoid

Methods

(.) :: Tagged b c -> Tagged a b -> Tagged a c