Packages

p

quasar.fp

free

package free

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. free
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class :+:[F[_], G[_]] extends AnyRef
  2. implicit class EnrichNT[F[_], H[_]] extends AnyRef
  3. class Interpreter[F[_], M[_]] extends AnyRef

    Provides a range of natural transformations that can be derived from the natural transformation of a term of an algebra into the desired Monad

    Provides a range of natural transformations that can be derived from the natural transformation of a term of an algebra into the desired Monad

    F

    The type of the Functor that represents the algebra to be interpreted

    M

    The Monad into which to translate the Free Algebra

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. def liftFT[S[_]]: ~>[S, [β$12$]Free[S, β$12$]]

    Free#liftF as a natural transformation

  6. def mapSNT[S[_], T[_]](f: ~>[S, T]): ~>[[β$1$]Free[S, β$1$], [β$2$]Free[T, β$2$]]
  7. 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.

  8. object lift

Inherited from AnyRef

Inherited from Any

Ungrouped