pandora-0.4.7: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Pattern.Semigroupoid

Synopsis

Documentation

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

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 Source #

Instances

Instances details
Semigroupoid m => Semigroupoid (Straight m) Source # 
Instance details

Defined in Pandora.Pattern.Morphism.Straight

Methods

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

Semigroupoid m => Semigroupoid (Flip m) Source # 
Instance details

Defined in Pandora.Pattern.Morphism.Flip

Methods

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

Semigroupoid (Lens Identity) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Optics

Methods

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

Semigroupoid (Lens Maybe) Source # 
Instance details

Defined in Pandora.Paradigm.Inventory.Optics

Methods

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

Semigroupoid ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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