sealed
trait
Free[+F[_], +A] extends AnyRef
Abstract Value Members
-
abstract
def
_fold[F2[_], G[_], A2 >: A](suspend: (⇒ G[A2]) ⇒ G[A2], done: (A) ⇒ G[A2], fail: (Throwable) ⇒ G[A2], bound: B[F2, G, A2])(implicit S: Sub1[F, F2], T: RealSupertype[A, A2]): G[A2]
-
abstract
def
_runTranslate[G[_], A2 >: A](g: ~>[F, G])(implicit G: Catchable[G]): G[A2]
-
abstract
def
_unroll[G[+_]](implicit G: Functor[G], S: Sub1[F, G]): Trampoline[Unroll[A, G[Free[F, A]]]]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
def
+(other: String): String
-
def
->[B](y: B): (Free[F, A], B)
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
-
def
attemptStrict: Free[F, Attempt[A]]
-
def
clone(): AnyRef
-
def
ensuring(cond: (Free[F, A]) ⇒ Boolean, msg: ⇒ Any): Free[F, A]
-
def
ensuring(cond: (Free[F, A]) ⇒ Boolean): Free[F, A]
-
def
ensuring(cond: Boolean, msg: ⇒ Any): Free[F, A]
-
def
ensuring(cond: Boolean): Free[F, A]
-
-
-
def
finalize(): Unit
-
def
flatMap[F2[x] >: F[x], B](f: (A) ⇒ Free[F2, B]): Free[F2, B]
-
def
fold[F2[_], G[_], A2 >: A](suspend: (⇒ G[A2]) ⇒ G[A2], done: (A) ⇒ G[A2], fail: (Throwable) ⇒ G[A2], bound: B[F2, G, A2])(implicit S: Sub1[F, F2], T: RealSupertype[A, A2]): G[A2]
-
def
formatted(fmtstr: String): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
map[B](f: (A) ⇒ B): Free[F, B]
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
run[F2[x] >: F[x], A2 >: A](implicit F2: Catchable[F2]): F2[A2]
-
def
runTranslate[G[_], A2 >: A](g: ~>[F, G])(implicit G: Catchable[G]): G[A2]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
def
translate[G[_]](u: ~>[F, G]): Free[G, A]
-
def
unroll[G[+_]](implicit G: Functor[G], S: Sub1[F, G]): Unroll[A, G[Free[F, A]]]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
-
def
→[B](y: B): (Free[F, A], B)
Inherited by implicit conversion any2stringadd from
Free[F, A] to any2stringadd[Free[F, A]]
Inherited by implicit conversion StringFormat from
Free[F, A] to StringFormat[Free[F, A]]
Inherited by implicit conversion Ensuring from
Free[F, A] to Ensuring[Free[F, A]]
Inherited by implicit conversion ArrowAssoc from
Free[F, A] to ArrowAssoc[Free[F, A]]