pandora-0.4.7: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Transformer.Yoneda

Documentation

newtype Yoneda t a Source #

Constructors

Yoneda 

Fields

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

Instances

Instances details
Liftable ((->) :: Type -> Type -> Type) Yoneda Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Yoneda t) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

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