Pandora.Pattern.Category

Documentation

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

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 Lens

Defined in Pandora.Paradigm.Inventory.Optics

Methods

identity :: Lens a a

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

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

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

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

Defined in Pandora.Paradigm.Primary.Functor.Function

Methods

identity :: a -> a

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

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

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