Pandora.Paradigm.Primary.Transformer.Yoneda

Documentation

newtype Yoneda t a

Constructors

Yoneda

Fields

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

Instances

Liftable Yoneda

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

lift :: forall (u :: Type -> Type). Covariant u (->) (->) => u ~> Yoneda u

(Extractable t ((->) :: Type -> Type -> Type), Pointable t ((->) :: Type -> Type -> Type), Extractable u ((->) :: Type -> Type -> Type), Pointable u ((->) :: Type -> Type -> Type)) => Adjoint (Yoneda t) (Yoneda u) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

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

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

Pointable t ((->) :: Type -> Type -> Type) => Pointable (Yoneda t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

point :: a -> Yoneda t a

Extractable t ((->) :: Type -> Type -> Type) => Extractable (Yoneda t) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

extract :: Yoneda t a -> a

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

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

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