sealed abstract
class
FreeT[S[_], M[_], A] extends AnyRef
Instance Constructors
-
new
FreeT()
Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
flatMap[B](f: (A) ⇒ FreeT[S, M, B]): FreeT[S, M, B]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
hoistM[N[_]](mn: ~>[M, N])(implicit S: Functor[S], M: Functor[M]): FreeT[S, N, A]
-
def
hoistN[N[_]](mn: ~>[M, N])(implicit S: Functor[S], N: Functor[N]): FreeT[S, N, A]
-
def
interpretS[T[_]](st: ~>[S, T])(implicit S: Functor[S], M: Functor[M]): FreeT[T, M, A]
-
def
interpretT[T[_]](st: ~>[S, T])(implicit T: Functor[T], M: Functor[M]): FreeT[T, M, A]
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
map[B](f: (A) ⇒ B)(implicit S: Functor[S], M: Functor[M]): FreeT[S, M, B]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
resume(implicit S: Functor[S], M0: BindRec[M], M1: Applicative[M]): M[\/[A, S[FreeT[S, M, A]]]]
-
def
runM(interp: (S[FreeT[S, M, A]]) ⇒ M[FreeT[S, M, A]])(implicit S: Functor[S], M0: BindRec[M], M1: Applicative[M]): M[A]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit