cats-effect-kernel-testkit/cats.effect.kernel.testkit/freeEval

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[[A] =>> Eval[A], F, A]

Value members

Inherited methods

def run[F[_], A](ft: FreeT[[A] =>> Eval[A], F, A])(`evidence$1`: Monad[F]): F[A]
Inherited from
FreeSyncEq

Implicits

Implicits

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

Inherited implicits

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