cats-mtl/cats.mtl/Local

Local

object Local
Companion:
class
class Object
trait Matchable
class Any
Local.type

Value members

Concrete methods

def apply[F[_], A](implicit local: Local[F, A]): Local[F, A]
def local[F[_], E, A](fa: F[A])(f: E => E)(implicit local: Local[F, E]): F[A]
def scope[F[_], E, A](fa: F[A])(e: E)(implicit local: Local[F, E]): F[A]

Implicits

Inherited implicits

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