Type Members

1.  trait ContextTAlternative[F[+_], C[_[_]]] extends Alternative[[γ$11$]ContextT[F, C, γ$11$]] with ContextTMonoidK[F, C] with ContextTApplicative[F, C]
2.  final class ContextTAlternativeI[F[+_], C[_[_]]] extends ContextTAlternative[F, C]
3.  trait ContextTApplicative[F[+_], C[_[_]]] extends Applicative[[γ$5$]ContextT[F, C, γ$5$]] with ContextTApply[F, C] with ContextTInvariantMonoidal[F, C]
4.  trait ContextTApplicativeError[F[+_], C[_[_]], E] extends ApplicativeError[[γ$8$]ContextT[F, C, γ$8$], E] with ContextTApplicative[F, C]
5.  final class ContextTApplicativeErrorI[F[+_], C[_[_]], E] extends ContextTApplicativeError[F, C, E]
6.  final class ContextTApplicativeI[F[+_], C[_[_]]] extends ContextTApplicative[F, C]
7.  trait ContextTApply[F[+_], C[+_[_]]] extends Apply[[γ$4$]ContextT[F, C, γ$4$]] with ContextTFunctor[F, C] with ContextTInvariantSemigroupal[F, C]
8.  final class ContextTApplyI[F[+_], C[_[_]]] extends ContextTApply[F, C]
9.  trait ContextTAsync[F[+_], C[_[_]]] extends Async[[γ$17$]ContextT[F, C, γ$17$]] with ContextTLiftIO[F, C] with ContextTSync[F, C]
10.  final class ContextTAsyncI[F[+_], C[_[_]]] extends ContextTAsync[F, C]
11.  trait ContextTBracket[F[+_], C[_[_]], E] extends Bracket[[γ$14$]ContextT[F, C, γ$14$], E] with ContextTMonadError[F, C, E]
12.  final class ContextTBracketI[F[+_], C[_[_]], E] extends ContextTBracket[F, C, E]
13.  trait ContextTCoflatMap[F[+_], C[_[_]]] extends CoflatMap[[γ$12$]ContextT[F, C, γ$12$]] with ContextTFunctor[F, C]
14.  final class ContextTCoflatMapI[F[+_], C[_[_]]] extends ContextTCoflatMap[F, C]
15.  trait ContextTConcurrent[F[+_], C[_[_]]] extends Concurrent[[γ$18$]ContextT[F, C, γ$18$]] with ContextTAsync[F, C]
16.  final class ContextTConcurrentI[F[+_], C[_[_]]] extends ContextTConcurrent[F, C]
17.  class ContextTContext[F[+_], C[_[_]]] extends WithContext[[γ$24$]ContextT[F, C, γ$24$], C[[γ$23$]ContextT[F, C, γ$23$]]]
18.  final class ContextTContextShift[F[+_], C[_[_]]] extends ContextShift[[γ$50$]ContextT[F, C, γ$50$]]
19.  trait ContextTFlatMap[F[+_], C[_[_]]] extends FlatMap[[γ$6$]ContextT[F, C, γ$6$]] with ContextTApply[F, C]
20.  final class ContextTFlatMapI[F[+_], C[_[_]]] extends ContextTFlatMap[F, C]
21.  trait ContextTFunctor[F[+_], C[_[_]]] extends Functor[[γ$1$]ContextT[F, C, γ$1$]] with ContextTInvariant[F, C]
22.  final class ContextTFunctorI[F[+_], C[_[_]]] extends ContextTFunctor[F, C]
23.  trait ContextTInvariant[F[+_], C[_[_]]] extends Invariant[[γ$0$]ContextT[F, C, γ$0$]]
24.  final class ContextTInvariantI[F[+_], C[_[_]]] extends ContextTInvariant[F, C]
25.  trait ContextTInvariantMonoidal[F[+_], C[_[_]]] extends InvariantMonoidal[[γ$3$]ContextT[F, C, γ$3$]] with ContextTInvariantSemigroupal[F, C]
26.  final class ContextTInvariantMonoidalI[F[+_], C[_[_]]] extends ContextTInvariantMonoidal[F, C]
27.  trait ContextTInvariantSemigroupal[F[+_], C[_[_]]] extends InvariantSemigroupal[[γ$2$]ContextT[F, C, γ$2$]] with ContextTInvariant[F, C]
28.  final class ContextTInvariantSemigroupalI[F[+_], C[_[_]]] extends ContextTInvariantSemigroupal[F, C]
29.  trait ContextTLiftIO[F[+_], C[_[_]]] extends LiftIO[[γ$16$]ContextT[F, C, γ$16$]]
30.  final class ContextTLiftIOI[F[+_], C[_[_]]] extends ContextTLiftIO[F, C]
31.  trait ContextTMonad[F[+_], C[_[_]]] extends Monad[[γ$7$]ContextT[F, C, γ$7$]] with ContextTApplicative[F, C] with ContextTFlatMap[F, C]
32.  trait ContextTMonadError[F[+_], C[_[_]], E] extends MonadError[[γ$13$]ContextT[F, C, γ$13$], E] with ContextTMonad[F, C] with ContextTApplicativeError[F, C, E]
33.  final class ContextTMonadErrorI[F[+_], C[_[_]], E] extends ContextTMonadError[F, C, E]
34.  final class ContextTMonadI[F[+_], C[_[_]]] extends ContextTMonad[F, C]
35.  trait ContextTMonoidK[F[+_], C[_[_]]] extends MonoidK[[γ$10$]ContextT[F, C, γ$10$]] with ContextTSemigroupK[F, C]
36.  final class ContextTMonoidKI[F[+_], C[_[_]]] extends ContextTMonoidK[F, C]
37.  trait ContextTNonEmptyParallel[G[+_], C[_[_]]] extends NonEmptyParallel[[γ$37$]ContextT[G, C, γ$37$]]
38.  final class ContextTNonEmptyParallelI[G[+_], C[_[_]]] extends ContextTNonEmptyParallel[G, C]
39.  trait ContextTParallel[G[+_], C[_[_]]] extends ContextTNonEmptyParallel[G, C] with Parallel[[γ$42$]ContextT[G, C, γ$42$]]
40.  final class ContextTParallelI[G[+_], C[_[_]]] extends ContextTParallel[G, C]
41.  final class ContextTRunContext[F[+_], C[_[_]]] extends ContextTContext[F, C] with WithRun[[γ$28$]ContextT[F, C, γ$28$], F, C[[γ$27$]ContextT[F, C, γ$27$]]]
42.  final class ContextTRunContextUnsafe[F[+_], C[_[_]]] extends ContextTContext[F, C] with WithRun[[γ$33$]ContextT[F, C, γ$33$], F, C[[γ$32$]ContextT[F, C, γ$32$]]]
43.  trait ContextTSemigroupK[F[+_], C[_[_]]] extends SemigroupK[[γ$9$]ContextT[F, C, γ$9$]]
44.  final class ContextTSemigroupKI[F[+_], C[_[_]]] extends ContextTSemigroupK[F, C]
45.  trait ContextTSync[F[+_], C[_[_]]] extends Sync[[γ$15$]ContextT[F, C, γ$15$]] with ContextTBracket[F, C, Throwable]
46.  final class ContextTSyncI[F[+_], C[_[_]]] extends ContextTSync[F, C]
47.  final case class FocusedRef[F[_], A, B](ref: Ref[F, A], focus: Contains[A, B])(implicit evidence$1: Functor[F]) extends Ref[F, B] with Product with Serializable

    Having A Contains B relation, make a ref that would change only marked part of state