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.

   The dual view of the Yoneda lemma. Also a free functor on F. This is isomorphic to F as long as F itself is a functor. The homomorphism from F[A] to Coyoneda[F,A] exists even when F is not a functor.

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

   

   A free operational monad for some functor S.

   A free operational monad for some functor S. Binding is done using the heap instead of the stack, allowing tail-call elimination.

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

   

   Applicative Functor for Free

6. sealed abstract class FreeInvariantMonoidal[F[_], A] extends Product with Serializable

   

   Invariant Monoidal for Free

7. sealed abstract class FreeT[S[_], M[_], A] extends Product with Serializable

   

   FreeT is a monad transformer for Free monads over a Functor S

   FreeT is a monad transformer for Free monads over a Functor S

   Stack safety for Free and FreeT is based on the paper Stack Safety for Free by Phil Freeman

   This Scala implementation of FreeT and its usages are derived from Scalaz's FreeT, originally written by Brian McKenna.

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

   

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

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

   See also

   http://www.staff.science.uu.nl/~swier004/publications/2008-jfp.pdf

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

   

   Alias for the free monad over the Function0 functor.

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

    

    The free functor generated by F.

    The free functor generated by F. The Yoneda lemma says that Yoneda[F,A] is isomorphic to F[A] for any functor F. The homomorphism from Yoneda[F,A] to F[A] exists even when we have forgotten that F is a functor. Can be seen as a partially applied map for the functor F.