object FreeT extends FreeTInstances with Serializable
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FreeT
- Serializable
- Serializable
- FreeTInstances
- FreeTInstances0
- FreeTInstances1
- FreeTInstances2
- FreeTInstances3
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
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
catsFreeAlternativeForFreeT[S[_], M[_]](implicit arg0: Alternative[M], arg1: Monad[M]): Alternative[[γ$12$]FreeT[S, M, γ$12$]]
- Definition Classes
- FreeTInstances2
-
implicit
def
catsFreeFlatMapForFreeT[S[_], M[_]](implicit M0: Applicative[M]): FlatMap[[γ$11$]FreeT[S, M, γ$11$]]
- Definition Classes
- FreeTInstances1
-
implicit
def
catsFreeMonadErrorForFreeT[S[_], M[_], E](implicit E: MonadError[M, E]): MonadError[[γ$8$]FreeT[S, M, γ$8$], E]
- Definition Classes
- FreeTInstances
-
implicit
def
catsFreeMonadForFreeT[S[_], M[_]](implicit M0: Applicative[M]): Monad[[γ$10$]FreeT[S, M, γ$10$]]
- Definition Classes
- FreeTInstances0
-
implicit
def
catsFreeSemigroupKForFreeT[S[_], M[_]](implicit arg0: Applicative[M], arg1: SemigroupK[M]): SemigroupK[[γ$14$]FreeT[S, M, γ$14$]]
- Definition Classes
- FreeTInstances3
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
- def compile[S[_], T[_], M[_]](st: FunctionK[S, T])(implicit arg0: Functor[M]): FunctionK[[γ$0$]FreeT[S, M, γ$0$], [γ$1$]FreeT[T, M, γ$1$]]
- 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: Any): 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[[γ$5$]FreeT[S, M, γ$5$], M]
-
final
def
getClass(): Class[_]
- 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( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
Deprecated Value Members
-
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.