freeEval

object freeEval extends FreeSyncEq
class Object
trait Matchable
class Any

Type members

Types

type FreeEitherSync[A] = FreeSync[[_] =>> Either[Throwable, _$2], A]
type FreeSync[F[_], A] = FreeT[Eval, F, A]

Value members

Inherited methods

def run[F[_] : Monad, A](ft: FreeT[Eval, F, A]): F[A]
Inherited from:
FreeSyncEq

Implicits

Implicits

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

Inherited implicits

implicit def eqFreeSync[F[_] : Monad, A](implicit evidence$2: Monad[F], F: Eq[F[A]]): Eq[FreeT[Eval, F, A]]
Inherited from:
FreeSyncEq