final case class FreeT[F[_], M[_], A] extends AnyVal with Product with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FreeT
- Serializable
- Product
- Equals
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type F1[X] = Either[M[X], F[X]]
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##: Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def cata[B](f: (A) => B)(implicit F: Foldable[F], M: Foldable[M], B: Monoid[B]): B
- def flatMap[B](f: (A) => FreeT[F, M, B]): FreeT[F, M, B]
- def flatten[A0](implicit ev: =:=[A, FreeT[F, M, A0]]): FreeT[F, M, A0]
- def foldMap(f: ~>[F, M])(implicit M: BindRec[M]): M[A]
- def foldMapRec(tr: ~>[F, [γ$1$]FreeT[F, M, γ$1$]])(implicit M: BindRec[M]): M[A]
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def hoist[N[_]](f: ~>[M, N]): FreeT[F, N, A]
- def interpret[G[_]](f: ~>[F, G]): FreeT[G, M, A]
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def map[B](f: (A) => B)(implicit M: Applicative[M]): FreeT[F, M, B]
- def plus(that: FreeT[F, M, A])(implicit M0: Plus[M], M1: BindRec[M], M2: Applicative[M]): FreeT[F, M, A]
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def toFree(implicit ev: =:=[FreeBind[[A]Either[M[A], F[A]], A], FreeBind[[A]Either[A, F[A]], A]]): Free[F, A]
- def traverse[G[_], B](f: (A) => G[B])(implicit arg0: Applicative[G], F: Traverse[F], M: Traverse[M]): G[FreeT[F, M, B]]
- val unwrap: FreeBind[[A]Either[M[A], F[A]], A]