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