Pandora.Pattern.Category

Documentation

class Semigroupoid m => Category m where

When providing a new instance, you should ensure it satisfies:
* Left identity: identity . f ≡ f
* Right identity: f . identity ≡ f

Minimal complete definition

identity

Methods

identity :: m a a

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

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

Instances

Category (<--)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

identity :: a <-- a

($) :: (a <-- b) <-- (a <-- b)

(#) :: (a <-- b) <-- (a <-- b)

Category (Lens Identity)

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens Identity a a

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

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

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