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 (<--)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

(.) :: (b <-- c) -> (a <-- b) -> 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