Local

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

Value members

Concrete methods

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

Implicits

Inherited implicits

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