freeEval

object freeEval extends FreeSyncEq
class Object
trait Matchable
class Any

Type members

Types

type FreeSync[F <: ([_$1] =>> Any), A] = FreeT[[A] =>> Eval[A], F, A]
type FreeEitherSync[A] = FreeSync[[_$2] =>> Either[Throwable, _$2], A]

Value members

Inherited methods

def run[F <: ([_$8] =>> Any), A](ft: FreeT[[A] =>> Eval[A], F, A])(evidence$1: Monad[F]): F[A]
Inhertied from
FreeSyncEq

Implicits

Implicits

implicit def syncForFreeT[F <: ([_$3] =>> Any)](F: MonadError[F, Throwable]): Sync[[_$4] =>> FreeT[[A] =>> Eval[A], F, _$4]]

Inherited implicits

implicit def eqFreeSync[F <: ([_$10] =>> Any), A](evidence$2: Monad[F], F: Eq[F[A]]): Eq[FreeT[[A] =>> Eval[A], F, A]]
Inhertied from
FreeSyncEq