object FreeT extends FreeTInstances
- Source
- FreeT.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- FreeT
- FreeTInstances
- FreeTInstances0
- FreeTInstances1
- FreeTInstances2
- FreeTInstances3
- FreeTInstances4
- FreeTInstances5
- FreeTInstances6
- 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
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
implicit
def
freeTBind[S[_], M[_]](implicit S0: Functor[S], M0: Functor[M]): Bind[[γ$13$]FreeT[S, M, γ$13$]]
- Definition Classes
- FreeTInstances2
-
implicit
def
freeTFoldable[S[_], M[_]](implicit arg0: Foldable[S], arg1: Functor[S], arg2: Foldable[M], arg3: Applicative[M], arg4: BindRec[M]): Foldable[[γ$22$]FreeT[S, M, γ$22$]]
- Definition Classes
- FreeTInstances2
-
implicit
def
freeTHoist[S[_]](implicit arg0: Functor[S]): Hoist[[β$14$[_$1], γ$15$]FreeT[S, β$14$, γ$15$]]
- Definition Classes
- FreeTInstances2
-
implicit
def
freeTMonad[S[_], M[_]](implicit S0: Functor[S], M0: Applicative[M]): Monad[[γ$24$]FreeT[S, M, γ$24$]] with BindRec[[γ$25$]FreeT[S, M, γ$25$]]
- Definition Classes
- FreeTInstances0
-
implicit
def
freeTMonadError[S[_], M[_], E](implicit arg0: Functor[S], arg1: BindRec[M], E: MonadError[M, E]): MonadError[[γ$11$]FreeT[S, M, γ$11$], E]
- Definition Classes
- FreeTInstances3
-
implicit
def
freeTMonadPlus[S[_], M[_]](implicit arg0: Functor[S], arg1: ApplicativePlus[M], arg2: BindRec[M]): MonadPlus[[γ$27$]FreeT[S, M, γ$27$]]
- Definition Classes
- FreeTInstances
-
implicit
def
freeTMonadReader[S[_], M[_], E](implicit arg0: Functor[S], M1: MonadReader[M, E]): MonadReader[[γ$6$]FreeT[S, M, γ$6$], E]
- Definition Classes
- FreeTInstances5
-
implicit
def
freeTMonadState[S[_], M[_], E](implicit arg0: Functor[S], M1: MonadState[M, E]): MonadState[[γ$9$]FreeT[S, M, γ$9$], E]
- Definition Classes
- FreeTInstances4
-
implicit
def
freeTMonadTell[S[_], M[_], E](implicit arg0: Functor[S], M1: MonadTell[M, E]): MonadTell[[γ$4$]FreeT[S, M, γ$4$], E]
- Definition Classes
- FreeTInstances6
-
implicit
def
freeTPlus[S[_], M[_]](implicit arg0: Functor[S], arg1: Applicative[M], arg2: BindRec[M], arg3: Plus[M]): Plus[[γ$26$]FreeT[S, M, γ$26$]]
- Definition Classes
- FreeTInstances0
-
implicit
def
freeTTraverse[S[_], M[_]](implicit arg0: Traverse[S], arg1: Traverse[M], arg2: Applicative[M], arg3: BindRec[M]): Traverse[[γ$23$]FreeT[S, M, γ$23$]]
- Definition Classes
- FreeTInstances1
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def gosub[S[_], M[_], B, C0](a0: FreeT[S, M, C0])(f0: (C0) ⇒ FreeT[S, M, B]): FreeT[S, M, B]
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isoFree[S[_]](implicit S: Functor[S]): Isomorphism.<~>[[γ$0$]FreeT[S, [X]X, γ$0$], [β$1$]Free[S, β$1$]]
-
def
liftF[S[_], M[_], A](value: S[A])(implicit S: Functor[S], 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
liftMthat 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 S: Functor[S], M: Applicative[M]): FreeT[S, M, A]
- def suspend[S[_], M[_], A](a: M[\/[A, S[FreeT[S, M, A]]]]): FreeT[S, M, A]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def tailrecM[S[_], M[_], A, B](f: (A) ⇒ FreeT[S, M, \/[A, B]])(a: A)(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
- @native() @throws( ... )