Packages

final case class FreeT[F[_], M[_], A] extends AnyVal with Product with Serializable

Linear Supertypes
Serializable, Product, Equals, AnyVal, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FreeT
  2. Serializable
  3. Product
  4. Equals
  5. AnyVal
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type F1[X] = Either[M[X], F[X]]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    Any
  2. final def ##: Int
    Definition Classes
    Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def cata[B](f: (A) => B)(implicit F: Foldable[F], M: Foldable[M], B: Monoid[B]): B
  6. def flatMap[B](f: (A) => FreeT[F, M, B]): FreeT[F, M, B]
  7. def flatten[A0](implicit ev: =:=[A, FreeT[F, M, A0]]): FreeT[F, M, A0]
  8. def foldMap(f: ~>[F, M])(implicit M: BindRec[M]): M[A]
  9. def foldMapRec(tr: ~>[F, [γ$1$]FreeT[F, M, γ$1$]])(implicit M: BindRec[M]): M[A]
  10. def getClass(): Class[_ <: AnyVal]
    Definition Classes
    AnyVal → Any
  11. def hoist[N[_]](f: ~>[M, N]): FreeT[F, N, A]
  12. def interpret[G[_]](f: ~>[F, G]): FreeT[G, M, A]
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. def map[B](f: (A) => B)(implicit M: Applicative[M]): FreeT[F, M, B]
  15. def plus(that: FreeT[F, M, A])(implicit M0: Plus[M], M1: BindRec[M], M2: Applicative[M]): FreeT[F, M, A]
  16. def productElementNames: Iterator[String]
    Definition Classes
    Product
  17. def toFree(implicit ev: =:=[FreeBind[[A]Either[M[A], F[A]], A], FreeBind[[A]Either[A, F[A]], A]]): Free[F, A]
  18. def traverse[G[_], B](f: (A) => G[B])(implicit arg0: Applicative[G], F: Traverse[F], M: Traverse[M]): G[FreeT[F, M, B]]
  19. val unwrap: FreeBind[[A]Either[M[A], F[A]], A]

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyVal

Inherited from Any

Ungrouped