Type Members
-
type
Sink[A, B] = Free[[β](⇒ A) ⇒ β, B]
-
type
Source[A, B] = Free[[β](A, β), B]
-
type
Trampoline[A] = Free[Function0, A]
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
apply[S[_], A](s: S[Free[S, A]]): Free[S, A]
-
final
def
asInstanceOf[T0]: T0
-
def
await[A]: Sink[A, A]
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
implicit
def
freeFoldable[F[_]](implicit arg0: Foldable[F], arg1: Functor[F]): Foldable[[β]Free[F, β]]
-
implicit
def
freeFoldable1[F[_]](implicit arg0: Foldable1[F], arg1: Functor[F]): Foldable1[[β]Free[F, β]]
-
implicit
def
freeMonad[S[_]]: Monad[[β]Free[S, β]] with BindRec[[β]Free[S, β]]
-
implicit
def
freeMonoid[S[_], A](implicit arg0: Monoid[A]): Monoid[Free[S, A]]
-
implicit
def
freeSemigroup[S[_], A](implicit arg0: Semigroup[A]): Semigroup[Free[S, A]]
-
implicit
def
freeTraverse[F[_]](implicit arg0: Traverse[F]): Traverse[[β]Free[F, β]]
-
implicit
def
freeTraverse1[F[_]](implicit arg0: Traverse1[F]): Traverse1[[β]Free[F, β]]
-
implicit
def
freeZip[S[_]](implicit F: Functor[S], Z: Zip[S]): Zip[[β]Free[S, β]]
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
joinF[S[_], A](value: Free[[β]Free[S, β], A]): Free[S, A]
-
def
liftF[S[_], A](value: S[A]): Free[S, A]
-
def
liftFU[MA](value: ⇒ MA)(implicit MA: Unapply[Functor, MA]): Free[M, A]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
-
def
point[S[_], A](value: A): Free[S, A]
-
def
produce[A](a: A): Source[A, Unit]
-
def
pure[S[_], A](value: A): Free[S, A]
-
-
def
return_[S[_], A](value: ⇒ A)(implicit S: Applicative[S]): Free[S, A]
-
def
roll[S[_], A](value: S[Free[S, A]]): Free[S, A]
-
implicit
def
sinkMonad[S]: Monad[[β]Free[[β](⇒ S) ⇒ β, β]]
-
implicit
def
sourceMonad[S]: Monad[[β]Free[[β](S, β), β]]
-
def
suspend[S[_], A](value: ⇒ Free[S, A])(implicit S: Applicative[S]): Free[S, 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
Inherited from AnyRef
Inherited from Any