Pandora.Pattern.Category

Documentation

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

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

Minimal complete definition

identity, (.)

Methods

identity :: m a a

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

($) :: m (m a b) (m a b) infixr 0

(#) :: m (m a b) (m a b) infixl 2

Instances

Category (Flip ((->) :: Type -> Type -> Type))

Defined in Pandora.Paradigm.Primary

Methods

identity :: Flip (->) a a

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

($) :: Flip (->) (Flip (->) a b) (Flip (->) a b)

(#) :: Flip (->) (Flip (->) a b) (Flip (->) a b)

Category (Lens Identity)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens Identity a a

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

($) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

(#) :: Lens Identity (Lens Identity a b) (Lens Identity a b)

Category (Lens Maybe)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens Maybe a a

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

($) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

(#) :: Lens Maybe (Lens Maybe a b) (Lens Maybe a b)

Category ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

identity :: a -> a

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

($) :: (a -> b) -> (a -> b)

(#) :: (a -> b) -> (a -> b)