object FreeT extends FreeTInstances with Serializable
- Source
- FreeT.scala
- Alphabetic
- By Inheritance
- FreeT
- Serializable
- FreeTInstances
- FreeTInstances0
- FreeTInstances1
- FreeTInstances2
- FreeTInstances3
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- implicit def catsDeferForFreeT[S[_], M[_]](implicit arg0: Applicative[M]): Defer[[γ$11$]FreeT[S, M, γ$11$]]
- Definition Classes
- FreeTInstances
- implicit def catsFreeAlternativeForFreeT[S[_], M[_]](implicit arg0: Alternative[M], arg1: Monad[M]): Alternative[[γ$17$]FreeT[S, M, γ$17$]]
- Definition Classes
- FreeTInstances2
- implicit def catsFreeFlatMapForFreeT[S[_], M[_]](implicit M0: Applicative[M]): FlatMap[[γ$16$]FreeT[S, M, γ$16$]]
- Definition Classes
- FreeTInstances1
- implicit def catsFreeMonadErrorForFreeT2[S[_], M[_], E](implicit E: MonadError[M, E], S: Functor[S]): MonadError[[γ$13$]FreeT[S, M, γ$13$], E]
- Definition Classes
- FreeTInstances
- implicit def catsFreeMonadForFreeT[S[_], M[_]](implicit M0: Applicative[M]): Monad[[γ$15$]FreeT[S, M, γ$15$]]
- Definition Classes
- FreeTInstances0
- implicit def catsFreeSemigroupKForFreeT[S[_], M[_]](implicit arg0: Applicative[M], arg1: SemigroupK[M]): SemigroupK[[γ$19$]FreeT[S, M, γ$19$]]
- Definition Classes
- FreeTInstances3
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def compile[S[_], T[_], M[_]](st: FunctionK[S, T])(implicit arg0: Functor[M]): FunctionK[[γ$3$]FreeT[S, M, γ$3$], [γ$4$]FreeT[T, M, γ$4$]]
- def defer[S[_], M[_], A](a: M[Either[A, S[FreeT[S, M, A]]]])(implicit M: Applicative[M]): FreeT[S, M, A]
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def foldMap[S[_], M[_]](fk: FunctionK[S, M])(implicit arg0: Monad[M]): FunctionK[[γ$7$]FreeT[S, M, γ$7$], M]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def liftF[S[_], M[_], A](value: S[A])(implicit M: Applicative[M]): FreeT[S, M, A]
Suspends a value within a functor in a single step.
Suspends a value within a functor in a single step. Monadic unit for a higher-order monad.
- def liftInject[M[_], G[_]]: FreeTLiftInjectKPartiallyApplied[M, G]
This method is used to defer the application of an InjectK[F, G] instance.
This method is used to defer the application of an InjectK[F, G] instance. The actual work happens in
FreeTLiftInjectKPartiallyApplied#apply
.This method exists to allow the
M
andG
parameters to be bound independently of theF
andA
parameters below. - def liftT[S[_], M[_], A](value: M[A])(implicit M: Functor[M]): FreeT[S, M, A]
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def pure[S[_], M[_], A](value: A)(implicit M: Applicative[M]): FreeT[S, M, A]
Return the given value in the free monad.
- def roll[S[_], M[_], A](value: S[FreeT[S, M, A]])(implicit M: Applicative[M]): FreeT[S, M, A]
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def tailRecM[S[_], M[_], A, B](a: A)(f: (A) => FreeT[S, M, Either[A, B]])(implicit arg0: Applicative[M]): FreeT[S, M, B]
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
Deprecated Value Members
- def catsFreeMonadErrorForFreeT[S[_], M[_], E](implicit E: MonadError[M, E]): MonadError[[γ$9$]FreeT[S, M, γ$9$], E]
- Definition Classes
- FreeTInstances
- Annotations
- @deprecated
- Deprecated
(Since version 2.1.0) does not handle errors beyond the head suspension; use catsFreeMonadErrorForFreeT2
- def suspend[S[_], M[_], A](a: M[Either[A, S[FreeT[S, M, A]]]])(implicit M: Applicative[M]): FreeT[S, M, A]
- Annotations
- @deprecated
- Deprecated
(Since version 1.0.0-MF) Use FreeT.defer.