Object/Class

scalaz

FreeT

Related Docs: class FreeT | package scalaz

Permalink

object FreeT extends FreeTInstances

Source
FreeT.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. FreeT
  2. FreeTInstances
  3. FreeTInstances0
  4. FreeTInstances1
  5. FreeTInstances2
  6. FreeTInstances3
  7. FreeTInstances4
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  9. implicit def freeTBind[S[_], M[_]](implicit S0: Functor[S], M0: Functor[M]): Bind[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances2
  10. implicit def freeTFoldable[S[_], M[_]](implicit arg0: Foldable[S], arg1: Functor[S], arg2: Foldable[M], arg3: Applicative[M], arg4: BindRec[M]): Foldable[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances2
  11. implicit def freeTHoist[S[_]](implicit arg0: Functor[S]): Hoist[[β[_$1], γ]FreeT[S, β, γ]]

    Permalink
    Definition Classes
    FreeTInstances2
  12. implicit def freeTMonad[S[_], M[_]](implicit S0: Functor[S], M0: Applicative[M]): Monad[[γ]FreeT[S, M, γ]] with BindRec[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances0
  13. implicit def freeTMonadError[S[_], M[_], E](implicit arg0: Functor[S], arg1: BindRec[M], E: MonadError[M, E]): MonadError[[γ]FreeT[S, M, γ], E]

    Permalink
    Definition Classes
    FreeTInstances3
  14. implicit def freeTMonadPlus[S[_], M[_]](implicit arg0: Functor[S], arg1: ApplicativePlus[M], arg2: BindRec[M]): MonadPlus[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances
  15. implicit def freeTMonadState[S[_], M[_], E](implicit arg0: Functor[S], M1: MonadState[M, E]): MonadState[[γ]FreeT[S, M, γ], E]

    Permalink
    Definition Classes
    FreeTInstances4
  16. implicit def freeTPlus[S[_], M[_]](implicit arg0: Functor[S], arg1: Applicative[M], arg2: BindRec[M], arg3: Plus[M]): Plus[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances0
  17. implicit def freeTTraverse[S[_], M[_]](implicit arg0: Traverse[S], arg1: Traverse[M], arg2: Applicative[M], arg3: BindRec[M]): Traverse[[γ]FreeT[S, M, γ]]

    Permalink
    Definition Classes
    FreeTInstances1
  18. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  19. def gosub[S[_], M[_], B, C0](a0: FreeT[S, M, C0])(f0: (C0) ⇒ FreeT[S, M, B]): FreeT[S, M, B]

    Permalink
  20. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  21. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  22. def liftF[S[_], M[_], A](value: S[A])(implicit S: Functor[S], M: Applicative[M]): FreeT[S, M, A]

    Permalink

    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.

  23. def liftM[S[_], M[_], A](value: M[A])(implicit M: Functor[M]): FreeT[S, M, A]

    Permalink
  24. def liftMU[S[_], MA](value: MA)(implicit M: Unapply[Functor, MA]): FreeT[S, M, A]

    Permalink

    A version of liftM that infers the nested type constructor.

  25. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  26. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  27. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  28. def point[S[_], M[_], A](value: A)(implicit M: Applicative[M]): FreeT[S, M, A]

    Permalink

    Return the given value in the free monad.

  29. def roll[S[_], M[_], A](value: S[FreeT[S, M, A]])(implicit S: Functor[S], M: Applicative[M]): FreeT[S, M, A]

    Permalink
  30. def suspend[S[_], M[_], A](a: M[\/[A, S[FreeT[S, M, A]]]]): FreeT[S, M, A]

    Permalink
  31. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  32. def tailrecM[S[_], M[_], A, B](f: (A) ⇒ FreeT[S, M, \/[A, B]])(a: A)(implicit arg0: Applicative[M]): FreeT[S, M, B]

    Permalink
  33. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  34. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  35. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  36. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from FreeTInstances

Inherited from FreeTInstances0

Inherited from FreeTInstances1

Inherited from FreeTInstances2

Inherited from FreeTInstances3

Inherited from FreeTInstances4

Inherited from AnyRef

Inherited from Any

Ungrouped