object FreeT extends FreeTInstances
- Source
- FreeT.scala
- Alphabetic
- By Inheritance
- FreeT
- FreeTInstances
- FreeTInstances0
- FreeTInstances1
- FreeTInstances2
- FreeTInstances3
- FreeTInstances4
- FreeTInstances5
- FreeTInstances6
- 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
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- 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])
- implicit def freeTBind[S[_], M[_]](implicit M0: Applicative[M]): Bind[[γ$12$]FreeT[S, M, γ$12$]]
- Definition Classes
- FreeTInstances2
- implicit def freeTFoldable[S[_], M[_]](implicit arg0: Foldable[S], arg1: Foldable[M], arg2: Applicative[M], arg3: BindRec[M]): Foldable[[γ$16$]FreeT[S, M, γ$16$]]
- Definition Classes
- FreeTInstances2
- implicit def freeTHoist[S[_]]: Hoist[[a[_], b]FreeT[S, a, b]]
- Definition Classes
- FreeTInstances2
- implicit def freeTMonad[S[_], M[_]](implicit M0: Applicative[M]): Monad[[γ$18$]FreeT[S, M, γ$18$]] with BindRec[[γ$19$]FreeT[S, M, γ$19$]]
- Definition Classes
- FreeTInstances0
- implicit def freeTMonadError[S[_], M[_], E](implicit arg0: BindRec[M], E: MonadError[M, E]): MonadError[[γ$10$]FreeT[S, M, γ$10$], E]
- Definition Classes
- FreeTInstances3
- implicit def freeTMonadPlus[S[_], M[_]](implicit arg0: ApplicativePlus[M], arg1: BindRec[M]): MonadPlus[[γ$21$]FreeT[S, M, γ$21$]] with Alt[[γ$22$]FreeT[S, M, γ$22$]]
- Definition Classes
- FreeTInstances
- implicit def freeTMonadReader[S[_], M[_], E](implicit M1: MonadReader[M, E]): MonadReader[[γ$6$]FreeT[S, M, γ$6$], E]
- Definition Classes
- FreeTInstances5
- implicit def freeTMonadState[S[_], M[_], E](implicit M1: MonadState[M, E]): MonadState[[γ$8$]FreeT[S, M, γ$8$], E]
- Definition Classes
- FreeTInstances4
- implicit def freeTMonadTell[S[_], M[_], E](implicit M1: MonadTell[M, E]): MonadTell[[γ$4$]FreeT[S, M, γ$4$], E]
- Definition Classes
- FreeTInstances6
- implicit def freeTPlus[S[_], M[_]](implicit arg0: Applicative[M], arg1: BindRec[M], arg2: Plus[M]): Plus[[γ$20$]FreeT[S, M, γ$20$]]
- Definition Classes
- FreeTInstances0
- implicit def freeTTraverse[S[_], M[_]](implicit arg0: Traverse[S], arg1: Traverse[M], arg2: Applicative[M], arg3: BindRec[M]): Traverse[[γ$17$]FreeT[S, M, γ$17$]]
- Definition Classes
- FreeTInstances1
- 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 isoFree[S[_]]: Isomorphism.<~>[[γ$0$]FreeT[S, [X]X, γ$0$], [β$1$]Free[S, β$1$]]
- 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 liftM[S[_], M[_], A](value: M[A])(implicit M: Functor[M]): FreeT[S, M, A]
- def liftMU[S[_], MA](value: MA)(implicit M: Unapply[Functor, MA]): FreeT[S, M, A]
A version of
liftM
that infers the nested type constructor. - 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 point[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]
- def suspend[S[_], M[_], A](a: M[\/[A, 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, \/[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()