cats.free.Inject[F, G]
cats.free.Inject[F, G]
The dual view of the Yoneda lemma.
A free operational monad for some functor S
.
Applicative Functor for Free
Inject type class as described in "Data types a la carte" (Swierstra 2008).
Alias for the free monad over the Function0
functor.
The free functor generated by F
.