free

Type Members

1. type :<:[F[_], G[_]] = Inject[F, G]

   cats.free.Inject[F, G]

2. type :≺:[F[_], G[_]] = Inject[F, G]

   cats.free.Inject[F, G]

3. sealed abstract class Coyoneda[F[_], A] extends Serializable

   The dual view of the Yoneda lemma.

4. sealed abstract class Free[S[_], A] extends Product with Serializable

   A free operational monad for some functor S.

5. sealed abstract class FreeApplicative[F[_], A] extends Product with Serializable

   Applicative Functor for Free

6. sealed abstract class Inject[F[_], G[_]] extends AnyRef

   Inject type class as described in "Data types a la carte" (Swierstra 2008).

7. type Trampoline[A] = Free[Function0, A]

   Alias for the free monad over the Function0 functor.

8. abstract class Yoneda[F[_], A] extends Serializable

   The free functor generated by F.