Data.Functor.Yoneda

Documentation

newtype Yoneda (t :: * -> *) (a :: *)

Constructors

Yoneda

Fields

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

Instances

Liftable Yoneda

Defined in Data.Functor.Yoneda

Methods

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

Lowerable Yoneda

Defined in Data.Functor.Yoneda

Methods

lower :: Covariant u => Yoneda u a -> u a

Covariant (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

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

comap :: (a -> b) -> Yoneda t a -> Yoneda t b

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

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

void :: Yoneda t a -> Yoneda t ()

Alternative t => Alternative (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

(<+>) :: Yoneda t a -> Yoneda t a -> Yoneda t a

alter :: Yoneda t a -> Yoneda t a -> Yoneda t a

Applicative t => Applicative (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

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

apply :: Yoneda t (a -> b) -> Yoneda t a -> Yoneda t b

(*>) :: Yoneda t a -> Yoneda t b -> Yoneda t b

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

forever :: Yoneda t a -> Yoneda t b

Exclusive t => Exclusive (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

exclusive :: Yoneda t a

Extractable t => Extractable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

extract :: Yoneda t a -> a

Pointable t => Pointable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

point :: a -> Yoneda t a

Traversable t => Traversable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

(->>) :: (Pointable u, Applicative u) => Yoneda t a -> (a -> u b) -> (u :.: Yoneda t) b

traverse :: (Pointable u, Applicative u) => (a -> u b) -> Yoneda t a -> (u :.: Yoneda t) b

sequence :: (Pointable u, Applicative u) => (Yoneda t :.: u) a -> (u :.: Yoneda t) a

Extendable t => Extendable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

(=>>) :: Yoneda t a -> (Yoneda t a -> b) -> Yoneda t b

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

extend :: (Yoneda t a -> b) -> Yoneda t a -> Yoneda t b

duplicate :: Yoneda t a -> (Yoneda t :.: Yoneda t) a

(=<=) :: (Yoneda t b -> c) -> (Yoneda t a -> b) -> Yoneda t a -> c

(=>=) :: (Yoneda t a -> b) -> (Yoneda t b -> c) -> Yoneda t a -> c

Distributive t => Distributive (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

(>>-) :: Covariant t0 => t0 a -> (a -> Yoneda t b) -> (Yoneda t :.: t0) b

collect :: Covariant t0 => (a -> Yoneda t b) -> t0 a -> (Yoneda t :.: t0) b

distribute :: Covariant t0 => (t0 :.: Yoneda t) a -> (Yoneda t :.: t0) a

Bindable t => Bindable (Yoneda t)

Defined in Data.Functor.Yoneda

Methods

(>>=) :: Yoneda t a -> (a -> Yoneda t b) -> Yoneda t b

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

bind :: (a -> Yoneda t b) -> Yoneda t a -> Yoneda t b

join :: (Yoneda t :.: Yoneda t) a -> Yoneda t a

(>=>) :: (a -> Yoneda t b) -> (b -> Yoneda t c) -> a -> Yoneda t c

(<=<) :: (b -> Yoneda t c) -> (a -> Yoneda t b) -> a -> Yoneda t c

(Extractable t, Pointable t, Extractable u, Pointable u) => Adjoint (Yoneda t) (Yoneda u)

Defined in Data.Functor.Yoneda

Methods

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

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

eta :: a -> (Yoneda u :.: Yoneda t) a

epsilon :: (Yoneda t :.: Yoneda u) a -> a