Pandora.Pattern.Semigroupoid

Documentation

class Semigroupoid (m :: * -> * -> *) where

When providing a new instance, you should ensure it satisfies:
* Associativity: f . (g . h) ≡ (f . g) . h

Methods

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

Instances

Semigroupoid m => Semigroupoid (Straight m)

Defined in Pandora.Pattern.Morphism.Straight

Methods

(.) :: Straight m b c -> Straight m a b -> Straight m a c

Semigroupoid m => Semigroupoid (Flip m)

Defined in Pandora.Pattern.Morphism.Flip

Methods

(.) :: Flip m b c -> Flip m a b -> Flip m a c

Semigroupoid (Lens Identity)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(.) :: Lens Identity b c -> Lens Identity a b -> Lens Identity a c

Semigroupoid (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

(.) :: Lens Maybe b c -> Lens Maybe a b -> Lens Maybe a c

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

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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