free

Value Members

1. def flatMapSNT[S[_], T[_]](f: ~>[S, [β$4$]Free[T, β$4$]]): ~>[[β$5$]Free[S, β$5$], [β$6$]Free[T, β$6$]]

   

2. def foldMapNT[F[_], G[_]](f: ~>[F, G])(implicit arg0: Monad[G]): ~>[[β$8$]Free[F, β$8$], G]

   

3. def injectFT[F[_], S[_]](implicit S: :<:[F, S]): ~>[F, [β$11$]Free[S, β$11$]]

   

   Convenience transformation to inject into a coproduct and lift into Free.

4. def injectNT[F[_], G[_]](implicit I: :<:[F, G]): ~>[F, G]

   

   Inject#inj as a natural transformation.

5. object lift

   

6. def liftFT[S[_]]: ~>[S, [β$12$]Free[S, β$12$]]

   

   Free#liftF as a natural transformation

7. def mapSNT[S[_], T[_]](f: ~>[S, T]): ~>[[β$1$]Free[S, β$1$], [β$2$]Free[T, β$2$]]

   

8. def transformIn[F[_], S[_], G[_]](f: ~>[F, G], g: ~>[S, G])(implicit S: :<:[F, S]): ~>[S, G]

   

   Given F[_] and S[_] such that F :<: S, returns a natural transformation, S ~> G, where f is used to transform an F[_] and g used otherwise.