cats-mtl/cats.mtl/Local$

Local

object Local extends LocalInstances
Companion
class
trait LocalInstances
trait LowPriorityLocalInstances
trait LowPriorityLocalInstancesCompat
class Object
trait Matchable
class Any

Value members

Methods

def apply[F <: ([_$53] =>> Any), A](local: Local[F, A]): Local[F, A]
def local[F <: ([_$54] =>> Any), E, A](fa: F[A])(f: E => E)(local: Local[F, E]): F[A]
def scope[F <: ([_$55] =>> Any), E, A](fa: F[A])(e: E)(local: Local[F, E]): F[A]

Implicits

Inherited implicits

implicit def baseLocalForKleisli[F <: ([_$8] =>> Any), E](F: Applicative[F]): Local[[_$9] =>> Kleisli[F, E, _$9], E]
Inhertied from
LocalInstances
implicit def localForWriterT[F <: ([_$20] =>> Any), E, L](evidence$1: Monad[F], evidence$2: Monoid[L], F0: Local[F, E]): Local[[_$21] =>> WriterT[F, L, _$21], E]
Inhertied from
LocalInstances
implicit def localForRWST[F <: ([_$25] =>> Any), E, R, L, S](evidence$3: Monad[F], evidence$4: Monoid[L], F0: Local[F, E]): Local[[_$26] =>> ReaderWriterStateT[F, R, L, S, _$26], E]
Inhertied from
LocalInstances
implicit def localForStateId[E]: Local[[_$30] =>> StateT[Id, E, _$30], E]
Inhertied from
LocalInstances
implicit def baseLocalForRWST[F <: ([_$16] =>> Any), E, L, S](F: Monad[F], L: Monoid[L]): Local[[_$17] =>> ReaderWriterStateT[F, E, L, S, _$17], E]
Inhertied from
LocalInstances
implicit def localForOptionT[F <: ([_$43] =>> Any), E](evidence$7: Monad[F], F0: Local[F, E]): Local[[_$44] =>> OptionT[F, _$44], E]
Inhertied from
LocalInstances
implicit def localForStateT[F <: ([_$33] =>> Any), E, S](evidence$5: Monad[F], F0: Local[F, E]): Local[[_$34] =>> StateT[F, S, _$34], E]
Inhertied from
LocalInstances
implicit def localForEitherT[F <: ([_$38] =>> Any), E, E2](evidence$6: Monad[F], F0: Local[F, E]): Local[[_$39] =>> EitherT[F, E2, _$39], E]
Inhertied from
LocalInstances
implicit def localForFunction[E]: Local[[_$12] =>> E => _$12, E]
Inhertied from
LocalInstances
implicit def localForIorT[F <: ([_$48] =>> Any), E, E2](evidence$8: Monad[F], evidence$9: Semigroup[E2], F0: Local[F, E]): Local[[_$49] =>> IorT[F, E2, _$49], E]
Inhertied from
LocalInstances
implicit def localForKleisli[F <: ([_$3] =>> Any), E, R](evidence$10: Monad[F], F0: Local[F, E]): Local[[_$4] =>> Kleisli[F, R, _$4], E]
Inhertied from
LowPriorityLocalInstances