Pandora.Paradigm.Primary.Transformer.Yoneda
newtype Yoneda t a Source #
Constructors
Fields
Defined in Pandora.Paradigm.Primary.Transformer.Yoneda
Methods
lift :: Covariant (->) (->) u => u a -> Yoneda u a Source #
(<$>) :: (a -> b) -> Yoneda t a -> Yoneda t b Source #