Skip to main content

ProfunctorFunctor

Trait ProfunctorFunctor 

Source
pub trait ProfunctorFunctor {
    type Applied<P: HKT2>: HKT2;
}
Expand description

A type-level functor on the category of profunctors.

Maps a profunctor P to another profunctor Applied<P>. This serves as an HKT3-like encoding using GATs: the “third parameter” is the profunctor P itself.

Instances include identity (maps P to P) and profunctor transformers like Tambara, Pastro, etc.

Required Associated Types§

Source

type Applied<P: HKT2>: HKT2

Apply this functor to a profunctor, yielding another profunctor.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§