Pandora.Paradigm.Primary.Transformer.Yoneda

Documentation

newtype Yoneda t a

Constructors

Yoneda

Fields

• yoneda :: forall b. (a -> b) -> t b

Instances

Liftable ((->) :: Type -> Type -> Type) Yoneda

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

lift :: Covariant (->) (->) u => u a -> Yoneda u a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

(<-|-) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|--) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|---) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|----) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-----) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|--------) :: (a -> b) -> Yoneda t a -> Yoneda t b

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u a) -> Yoneda t (u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) (Yoneda t)) => (a -> b) -> Yoneda t (u (v a)) -> Yoneda t (u (v b))