package effect
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- effect
- ShimsEffect
- MTLContextShift
- MTLConcurrentEffect
- MTLConcurrent
- MTLEffect
- MTLAsync
- MTLLiftIO
- MTLSync
- MTLBracket
- IOInstances
- TaskInstances
- ShimsCore
- AsSyntaxModule
- RWSTConverters
- CokleisliConverters
- ConstConverters
- IorConverters
- WriterTConverters
- MaybeTConverters
- MaybeConverters
- OneAndConverters
- ValidatedNELConverters
- NELConverters
- ValidatedConverters
- OptionTConverters
- KleisliConverters
- EitherTConverters
- EitherKConverters
- IndexedStateTConverters
- EvalConverters
- FreeConverters
- FunctionKConverters
- InjectConversions
- ChoiceConversions
- ArrowConversions
- StrongConversions
- ProfunctorConversions
- EitherConverters
- CategoryConversions
- ComposeConversions
- BitraverseConversions
- BifoldableConversions
- BifunctorConversions
- ShowConversions
- MonadErrorConversions
- MonadConversions
- FlatMapConversions
- ComonadConversions
- CoflatMapConversions
- TraverseConversions
- FoldableConversions
- MonoidConversions
- SemigroupConversions
- OrderConversions
- EqConversions
- DistributiveConversions
- AlternativeConversions
- MonoidKConversions
- SemigroupKConversions
- ApplicativeConversions
- ApplyConversions
- RepresentableConversions
- FunctorConversions
- ContravariantConversions
- IFunctorConversions
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
implicit final
class
AsSyntax[A] extends AnyRef
- Definition Classes
- AsSyntaxModule
- trait ShimsEffect extends ShimsCore with TaskInstances with IOInstances with MTLConcurrentEffect with MTLContextShift
-
trait
EitherTAsync[F[_], L] extends EitherTSync[F, L] with EitherTLiftIO[F, L] with Async[[γ$30$]EitherT[F, L, γ$30$]]
- Attributes
- protected[this]
- Definition Classes
- MTLAsync
-
trait
KleisliAsync[F[_], R] extends KleisliSync[F, R] with KleisliLiftIO[F, R] with Async[[γ$29$]Kleisli[F, R, γ$29$]]
- Attributes
- protected[this]
- Definition Classes
- MTLAsync
-
trait
OptionTAsync[F[_]] extends OptionTSync[F] with OptionTLiftIO[F] with Async[[β$28$]OptionT[F, β$28$]]
- Attributes
- protected[this]
- Definition Classes
- MTLAsync
-
trait
StateTAsync[F[_], S] extends StateTSync[F, S] with StateTLiftIO[F, S] with Async[[γ$31$]IndexedStateT[F, S, S, γ$31$]]
- Attributes
- protected[this]
- Definition Classes
- MTLAsync
-
trait
WriterTAsync[F[_], L] extends WriterTSync[F, L] with WriterTLiftIO[F, L] with Async[[γ$32$]WriterT[F, L, γ$32$]]
- Attributes
- protected[this]
- Definition Classes
- MTLAsync
-
trait
KleisliBracket[F[_], R, E] extends Bracket[[γ$2$]Kleisli[F, R, γ$2$], E]
- Attributes
- protected[this]
- Definition Classes
- MTLBracket
-
trait
EitherTConcurrent[F[_], L] extends EitherTAsync[F, L] with Concurrent[[γ$49$]EitherT[F, L, γ$49$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrent
-
trait
KleisliConcurrent[F[_], R] extends KleisliAsync[F, R] with Concurrent[[γ$45$]Kleisli[F, R, γ$45$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrent
-
trait
OptionTConcurrent[F[_]] extends OptionTAsync[F] with Concurrent[[β$40$]OptionT[F, β$40$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrent
-
trait
WriterTConcurrent[F[_], L] extends WriterTAsync[F, L] with Concurrent[[γ$54$]WriterT[F, L, γ$54$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrent
-
trait
EitherTConcurrentEffect[F[_]] extends EitherTEffect[F] with EitherTConcurrent[F, Throwable] with ConcurrentEffect[[γ$61$]EitherT[F, Throwable, γ$61$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrentEffect
-
trait
WriterTConcurrentEffect[F[_], L] extends WriterTEffect[F, L] with WriterTConcurrent[F, L] with ConcurrentEffect[[γ$63$]WriterT[F, L, γ$63$]]
- Attributes
- protected[this]
- Definition Classes
- MTLConcurrentEffect
-
trait
EitherTEffect[F[_]] extends EitherTAsync[F, Throwable] with Effect[[γ$35$]EitherT[F, Throwable, γ$35$]]
- Attributes
- protected[this]
- Definition Classes
- MTLEffect
-
trait
WriterTEffect[F[_], L] extends WriterTAsync[F, L] with Effect[[γ$36$]WriterT[F, L, γ$36$]]
- Attributes
- protected[this]
- Definition Classes
- MTLEffect
-
trait
EitherTLiftIO[F[_], L] extends LiftIO[[γ$20$]EitherT[F, L, γ$20$]]
- Attributes
- protected[this]
- Definition Classes
- MTLLiftIO
-
trait
KleisliLiftIO[F[_], R] extends LiftIO[[γ$19$]Kleisli[F, R, γ$19$]]
- Attributes
- protected[this]
- Definition Classes
- MTLLiftIO
-
trait
OptionTLiftIO[F[_]] extends LiftIO[[β$18$]OptionT[F, β$18$]]
- Attributes
- protected[this]
- Definition Classes
- MTLLiftIO
-
trait
StateTLiftIO[F[_], S] extends LiftIO[[γ$21$]IndexedStateT[F, S, S, γ$21$]]
- Attributes
- protected[this]
- Definition Classes
- MTLLiftIO
-
trait
WriterTLiftIO[F[_], L] extends LiftIO[[γ$22$]WriterT[F, L, γ$22$]]
- Attributes
- protected[this]
- Definition Classes
- MTLLiftIO
-
trait
EitherTSync[F[_], L] extends Sync[[γ$10$]EitherT[F, L, γ$10$]]
- Attributes
- protected[this]
- Definition Classes
- MTLSync
-
trait
KleisliSync[F[_], R] extends KleisliBracket[F, R, Throwable] with Sync[[γ$9$]Kleisli[F, R, γ$9$]]
- Attributes
- protected[this]
- Definition Classes
- MTLSync
-
trait
OptionTSync[F[_]] extends Sync[[β$8$]OptionT[F, β$8$]]
- Attributes
- protected[this]
- Definition Classes
- MTLSync
-
trait
StateTSync[F[_], S] extends Sync[[γ$11$]IndexedStateT[F, S, S, γ$11$]]
- Attributes
- protected[this]
- Definition Classes
- MTLSync
-
trait
WriterTSync[F[_], L] extends Sync[[γ$12$]WriterT[F, L, γ$12$]]
- Attributes
- protected[this]
- Definition Classes
- MTLSync
Value Members
-
implicit
def
alternativeToScalaz[F[_]](implicit FC: Capture[Alternative[F]]): ApplicativePlus[F] with Synthetic
- Definition Classes
- AlternativeConversions
-
implicit
def
applicativePlusToCats[F[_]](implicit FC: Capture[ApplicativePlus[F]]): Alternative[F] with Synthetic
- Definition Classes
- AlternativeConversions
-
implicit
def
applicativeToCats[F[_]](implicit FC: Capture[Applicative[F]]): Applicative[F] with Synthetic
- Definition Classes
- ApplicativeConversions
-
implicit
def
applicativeToScalaz[F[_]](implicit FC: Capture[Applicative[F]]): Applicative[F] with Synthetic
- Definition Classes
- ApplicativeConversions
-
implicit
def
applyToCats[F[_]](implicit FC: Capture[Apply[F]]): Apply[F] with Synthetic
- Definition Classes
- ApplyConversions
-
implicit
def
applyToScalaz[F[_]](implicit FC: Capture[Apply[F]]): Apply[F] with Synthetic
- Definition Classes
- ApplyConversions
-
implicit
def
arrowToCats[F[_, _]](implicit FC: Capture[Arrow[F]]): Arrow[F] with Synthetic
- Definition Classes
- ArrowConversions
-
implicit
def
arrowToScalaz[F[_, _]](implicit FC: Capture[Arrow[F]]): Arrow[F] with Synthetic
- Definition Classes
- ArrowConversions
-
implicit
def
bifoldableToCats[F[_, _]](implicit FC: Capture[Bifoldable[F]]): Bifoldable[F] with Synthetic
- Definition Classes
- BifoldableConversions
-
implicit
def
bifoldableToScalaz[F[_, _]](implicit FC: Capture[Bifoldable[F]]): Bifoldable[F] with Synthetic
- Definition Classes
- BifoldableConversions
-
implicit
def
bifunctorToCats[F[_, _]](implicit FC: Capture[Bifunctor[F]]): Bifunctor[F] with Synthetic
- Definition Classes
- BifunctorConversions
-
implicit
def
bifunctorToScalaz[F[_, _]](implicit FC: Capture[Bifunctor[F]]): Bifunctor[F] with Synthetic
- Definition Classes
- BifunctorConversions
-
implicit
def
bindToCats[F[_]](implicit FC: Capture[Bind[F]], EFC: EitherCapture[Applicative[F], BindRec[F]]): FlatMap[F] with Synthetic
- Definition Classes
- FlatMapConversions
-
implicit
def
bitraverseToCats[F[_, _]](implicit FC: Capture[Bitraverse[F]]): Bitraverse[F] with Synthetic
- Definition Classes
- BitraverseConversions
-
implicit
def
bitraverseToScalaz[F[_, _]](implicit FC: Capture[Bitraverse[F]]): Bitraverse[F] with Synthetic
- Definition Classes
- BitraverseConversions
-
implicit
def
categoryToCats[F[_, _]](implicit FC: Capture[Category[F]]): Category[F] with Synthetic
- Definition Classes
- CategoryConversions
-
implicit
def
categoryToScalaz[F[_, _]](implicit FC: Capture[Category[F]]): Category[F] with Synthetic
- Definition Classes
- CategoryConversions
-
implicit
def
choiceToCats[F[_, _]](implicit FC: Capture[Choice[F]], BF: Bifunctor[F]): Choice[F] with Synthetic
- Definition Classes
- ChoiceConversions
-
implicit
def
choiceToScalaz[F[_, _]](implicit FC: Capture[Choice[F]], BF: Bifunctor[F]): Choice[F] with Synthetic
- Definition Classes
- ChoiceConversions
-
implicit
def
cobindToCats[F[_]](implicit FC: Capture[Cobind[F]]): CoflatMap[F] with Synthetic
- Definition Classes
- CoflatMapConversions
-
implicit
def
coflatMapToScalaz[F[_]](implicit FC: Capture[CoflatMap[F]]): Cobind[F] with Synthetic
- Definition Classes
- CoflatMapConversions
-
implicit
def
cokleisliAs[F[_], A, B]: AsScalaz[Cokleisli[F, A, B], Cokleisli[F, A, B]] with AsCats[Cokleisli[F, A, B], Cokleisli[F, A, B]]
- Definition Classes
- CokleisliConverters
-
implicit
def
comonadToCats[F[_]](implicit FC: Capture[Comonad[F]]): Comonad[F] with Synthetic
- Definition Classes
- ComonadConversions
-
implicit
def
comonadToScalaz[F[_]](implicit FC: Capture[Comonad[F]]): Comonad[F] with Synthetic
- Definition Classes
- ComonadConversions
-
implicit
def
composeToCats[F[_, _]](implicit FC: Capture[Compose[F]]): Compose[F] with Synthetic
- Definition Classes
- ComposeConversions
-
implicit
def
composeToScalaz[F[_, _]](implicit FC: Capture[Compose[F]]): Compose[F] with Synthetic
- Definition Classes
- ComposeConversions
-
implicit
def
constAs[A, B]: AsScalaz[Const[A, B], Const[A, B]] with AsCats[Const[A, B], Const[A, B]]
- Definition Classes
- ConstConverters
-
implicit
def
contravariantToCats[F[_]](implicit FC: Capture[Contravariant[F]]): Contravariant[F] with Synthetic
- Definition Classes
- ContravariantConversions
-
implicit
def
contravariantToScalaz[F[_]](implicit FC: Capture[Contravariant[F]]): Contravariant[F] with Synthetic
- Definition Classes
- ContravariantConversions
-
implicit
def
distributiveToCats[F[_]](implicit FC: Capture[Distributive[F]]): Distributive[F] with Synthetic
- Definition Classes
- DistributiveConversions
-
implicit
def
distributiveToScalaz[F[_]](implicit FC: Capture[Distributive[F]]): Distributive[F] with Synthetic
- Definition Classes
- DistributiveConversions
-
implicit
def
eitherAs[A, B]: AsScalaz[Either[A, B], \/[A, B]] with AsCats[\/[A, B], Either[A, B]]
- Definition Classes
- EitherConverters
-
implicit
def
eitherKAs[F[_], G[_], A]: AsScalaz[EitherK[F, G, A], Coproduct[F, G, A]] with AsCats[Coproduct[F, G, A], EitherK[F, G, A]]
- Definition Classes
- EitherKConverters
-
implicit
def
eitherTAs[F[_], A, B](implicit F: Functor[F]): AsScalaz[EitherT[F, A, B], EitherT[F, A, B]] with AsCats[EitherT[F, A, B], EitherT[F, A, B]]
- Definition Classes
- EitherTConverters
-
implicit
def
eqToScalaz[A](implicit AC: Capture[Eq[A]]): Equal[A] with Synthetic
- Definition Classes
- EqConversions
-
implicit
def
equalToCats[A](implicit AC: Capture[Equal[A]]): Eq[A] with Synthetic
- Definition Classes
- EqConversions
-
implicit
def
evalAs[A]: AsScalaz[Eval[A], Trampoline[A]] with AsCats[Trampoline[A], Eval[A]]
- Definition Classes
- EvalConverters
-
implicit
def
flatMapToScalaz[F[_]](implicit FC: Capture[FlatMap[F]]): BindRec[F] with Synthetic
- Definition Classes
- FlatMapConversions
-
implicit
def
foldableToCats[F[_]](implicit FC: Capture[Foldable[F]]): Foldable[F] with Synthetic
- Definition Classes
- FoldableConversions
-
implicit
def
foldableToScalaz[F[_]](implicit FC: Capture[Foldable[F]]): Foldable[F] with Synthetic
- Definition Classes
- FoldableConversions
-
implicit
def
freeAs[S[_], A]: AsScalaz[Free[S, A], Free[S, A]] with AsCats[Free[S, A], Free[S, A]]
- Definition Classes
- FreeConverters
-
implicit
def
functionkAs[F[_], G[_]]: AsScalaz[FunctionK[F, G], ~>[F, G]] with AsCats[~>[F, G], FunctionK[F, G]]
- Definition Classes
- FunctionKConverters
-
implicit
def
functorToCats[F[_]](implicit FC: Capture[Functor[F]]): Functor[F] with Synthetic
- Definition Classes
- FunctorConversions
-
implicit
def
functorToScalaz[F[_]](implicit FC: Capture[Functor[F]]): Functor[F] with Synthetic
- Definition Classes
- FunctorConversions
-
implicit
def
ifunctorToCats[F[_]](implicit FC: Capture[InvariantFunctor[F]]): Invariant[F] with Synthetic
- Definition Classes
- IFunctorConversions
-
implicit
def
ifunctorToScalaz[F[_]](implicit FC: Capture[Invariant[F]]): InvariantFunctor[F] with Synthetic
- Definition Classes
- IFunctorConversions
-
implicit
def
injectToCats[F[_], G[_]](implicit FC: Capture[Inject[F, G]]): InjectK[F, G] with Synthetic
- Definition Classes
- InjectConversions
-
implicit
def
iorAs[A, B]: AsScalaz[Ior[A, B], \&/[A, B]] with AsCats[\&/[A, B], Ior[A, B]]
- Definition Classes
- IorConverters
-
implicit
def
kleisliAs[F[_], A, B]: AsScalaz[Kleisli[F, A, B], Kleisli[F, A, B]] with AsCats[Kleisli[F, A, B], Kleisli[F, A, B]]
- Definition Classes
- KleisliConverters
-
implicit
def
liftIOToScalaz[F[_]](implicit arg0: LiftIO[F]): LiftIO[F]
- Definition Classes
- IOInstances
-
implicit
def
maybeAs[A]: AsCats[Maybe[A], Option[A]]
- Definition Classes
- MaybeConverters
-
implicit
def
maybeTAs[F[_], A](implicit F: Functor[F]): AsCats[MaybeT[F, A], OptionT[F, A]]
- Definition Classes
- MaybeTConverters
-
implicit
def
monadErrorToCats[F[_], E](implicit FC: Capture[MonadError[F, E]], OFC: OptionCapture[BindRec[F]]): MonadError[F, E] with Synthetic
- Definition Classes
- MonadErrorConversions
-
implicit
def
monadErrorToScalaz[F[_], E](implicit FC: Capture[MonadError[F, E]]): MonadError[F, E] with Synthetic
- Definition Classes
- MonadErrorConversions
-
implicit
def
monadToCats[F[_]](implicit FC: Capture[Monad[F]], OFC: OptionCapture[BindRec[F]]): Monad[F] with Synthetic
- Definition Classes
- MonadConversions
-
implicit
def
monadToScalaz[F[_]](implicit FC: Capture[Monad[F]]): Monad[F] with Synthetic
- Definition Classes
- MonadConversions
-
implicit
def
monoidKToScalaz[F[_]](implicit FC: Capture[MonoidK[F]]): PlusEmpty[F] with Synthetic
- Definition Classes
- MonoidKConversions
-
implicit
def
monoidToCats[A](implicit FC: Capture[Monoid[A]]): Monoid[A] with Synthetic
- Definition Classes
- MonoidConversions
-
implicit
def
monoidToScalaz[A](implicit FC: Capture[Monoid[A]]): Monoid[A] with Synthetic
- Definition Classes
- MonoidConversions
-
implicit
def
nameAs[A]: AsCats[Name[A], Eval[A]]
- Definition Classes
- EvalConverters
-
implicit
def
needAs[A]: AsCats[Need[A], Eval[A]]
- Definition Classes
- EvalConverters
-
implicit
def
nelAs[A]: AsScalaz[NonEmptyList[A], NonEmptyList[A]] with AsCats[NonEmptyList[A], NonEmptyList[A]]
- Definition Classes
- NELConverters
-
implicit
def
oneAndAs[F[_], A]: AsScalaz[OneAnd[F, A], OneAnd[F, A]] with AsCats[OneAnd[F, A], OneAnd[F, A]]
- Definition Classes
- OneAndConverters
-
implicit
def
optionTAs[F[_], A]: AsScalaz[OptionT[F, A], OptionT[F, A]] with AsCats[OptionT[F, A], OptionT[F, A]]
- Definition Classes
- OptionTConverters
-
implicit
def
orderToCats[A](implicit AC: Capture[Order[A]]): Order[A] with Synthetic
- Definition Classes
- OrderConversions
-
implicit
def
orderToScalaz[A](implicit AC: Capture[Order[A]]): Order[A] with Synthetic
- Definition Classes
- OrderConversions
-
implicit
def
plusEmptyToCats[F[_]](implicit FC: Capture[PlusEmpty[F]]): MonoidK[F] with Synthetic
- Definition Classes
- MonoidKConversions
-
implicit
def
plusToCats[F[_]](implicit FC: Capture[Plus[F]]): SemigroupK[F] with Synthetic
- Definition Classes
- SemigroupKConversions
-
implicit
def
profunctorToCats[F[_, _]](implicit FC: Capture[Profunctor[F]]): Profunctor[F] with Synthetic
- Definition Classes
- ProfunctorConversions
-
implicit
def
profunctorToScalaz[F[_, _]](implicit FC: Capture[Profunctor[F]]): Profunctor[F] with Synthetic
- Definition Classes
- ProfunctorConversions
-
implicit
def
representableToCats[F[_], X](implicit FC: Capture[Representable[F, X]]): Representable[F] with Synthetic { type Representation = X }
- Definition Classes
- RepresentableConversions
-
implicit
def
representableToScalaz[F[_], X](implicit FC: Capture[Representable[F] { type Representation = X }]): Representable[F, X] with Synthetic
- Definition Classes
- RepresentableConversions
-
implicit
def
rwstAs[F[_], E, L, S, A](implicit F: Monad[F]): AsScalaz[RWST[F, E, L, S, A], RWST[F, E, L, S, A]] with AsCats[RWST[F, E, L, S, A], RWST[F, E, L, S, A]]
- Definition Classes
- RWSTConverters
-
implicit
def
scalazEitherTAsync[F[_], L](implicit arg0: Async[F]): Async[[γ$25$]EitherT[F, L, γ$25$]]
- Definition Classes
- MTLAsync
-
implicit
def
scalazEitherTConcurrentEffect[F[_]](implicit arg0: ConcurrentEffect[F]): ConcurrentEffect[[γ$59$]EitherT[F, Throwable, γ$59$]]
- Definition Classes
- MTLConcurrentEffect
-
implicit
def
scalazEitherTContextShift[F[_], L](implicit arg0: Functor[F], cs: ContextShift[F]): ContextShift[[γ$69$]EitherT[F, L, γ$69$]]
- Definition Classes
- MTLContextShift
-
implicit
def
scalazEitherTEffect[F[_]](implicit arg0: Effect[F]): Effect[[γ$33$]EitherT[F, Throwable, γ$33$]]
- Definition Classes
- MTLEffect
-
implicit
def
scalazEitherTLiftIO[F[_], L](implicit arg0: LiftIO[F], arg1: Functor[F]): LiftIO[[γ$15$]EitherT[F, L, γ$15$]]
- Definition Classes
- MTLLiftIO
-
implicit
def
scalazEitherTSync[F[_], L](implicit arg0: Sync[F]): Sync[[γ$5$]EitherT[F, L, γ$5$]]
- Definition Classes
- MTLSync
-
implicit
def
scalazKleisliAsync[F[_], R](implicit arg0: Async[F]): Async[[γ$24$]Kleisli[F, R, γ$24$]]
- Definition Classes
- MTLAsync
-
implicit
def
scalazKleisliBracket[F[_], R, E](implicit arg0: Bracket[F, E]): Bracket[[γ$1$]Kleisli[F, R, γ$1$], E]
- Definition Classes
- MTLBracket
-
implicit
def
scalazKleisliConcurrent[F[_], R](implicit arg0: Concurrent[F]): Concurrent[[γ$38$]Kleisli[F, R, γ$38$]]
- Definition Classes
- MTLConcurrent
-
implicit
def
scalazKleisliContextShift[F[_], R](implicit cs: ContextShift[F]): ContextShift[[γ$67$]Kleisli[F, R, γ$67$]]
- Definition Classes
- MTLContextShift
-
implicit
def
scalazKleisliLiftIO[F[_], R](implicit arg0: LiftIO[F]): LiftIO[[γ$14$]Kleisli[F, R, γ$14$]]
- Definition Classes
- MTLLiftIO
-
implicit
def
scalazKleisliSync[F[_], R](implicit arg0: Sync[F]): Sync[[γ$4$]Kleisli[F, R, γ$4$]]
- Definition Classes
- MTLSync
-
implicit
def
scalazOptionTAsync[F[_]](implicit arg0: Async[F]): Async[[β$23$]OptionT[F, β$23$]]
- Definition Classes
- MTLAsync
-
implicit
def
scalazOptionTConcurrent[F[_]](implicit arg0: Concurrent[F]): Concurrent[[β$37$]OptionT[F, β$37$]]
- Definition Classes
- MTLConcurrent
-
implicit
def
scalazOptionTContextShift[F[_]](implicit arg0: Monad[F], cs: ContextShift[F]): ContextShift[[β$65$]OptionT[F, β$65$]]
- Definition Classes
- MTLContextShift
-
implicit
def
scalazOptionTLiftIO[F[_]](implicit arg0: LiftIO[F], arg1: Functor[F]): LiftIO[[β$13$]OptionT[F, β$13$]]
- Definition Classes
- MTLLiftIO
-
implicit
def
scalazOptionTSync[F[_]](implicit arg0: Sync[F]): Sync[[β$3$]OptionT[F, β$3$]]
- Definition Classes
- MTLSync
-
implicit
def
scalazStateTAsync[F[_], S](implicit arg0: Async[F]): Async[[γ$26$]IndexedStateT[F, S, S, γ$26$]]
- Definition Classes
- MTLAsync
-
implicit
def
scalazStateTContextShift[F[_], S](implicit arg0: Monad[F], cs: ContextShift[F]): ContextShift[[γ$71$]IndexedStateT[F, S, S, γ$71$]]
- Definition Classes
- MTLContextShift
-
implicit
def
scalazStateTLiftIO[F[_], S](implicit arg0: LiftIO[F], arg1: Monad[F]): LiftIO[[γ$16$]IndexedStateT[F, S, S, γ$16$]]
- Definition Classes
- MTLLiftIO
-
implicit
def
scalazStateTSync[F[_], S](implicit arg0: Sync[F]): Sync[[γ$6$]IndexedStateT[F, S, S, γ$6$]]
- Definition Classes
- MTLSync
-
implicit
def
scalazWriterTAsync[F[_], L](implicit arg0: Async[F], arg1: Monoid[L]): Async[[γ$27$]WriterT[F, L, γ$27$]]
- Definition Classes
- MTLAsync
-
implicit
def
scalazWriterTConcurrent[F[_], L](implicit arg0: Concurrent[F], arg1: Monoid[L]): Concurrent[[γ$39$]WriterT[F, L, γ$39$]]
- Definition Classes
- MTLConcurrent
-
implicit
def
scalazWriterTConcurrentEffect[F[_], L](implicit arg0: ConcurrentEffect[F], arg1: Monoid[L]): ConcurrentEffect[[γ$60$]WriterT[F, L, γ$60$]]
- Definition Classes
- MTLConcurrentEffect
-
implicit
def
scalazWriterTContextShift[F[_], L](implicit arg0: Monad[F], arg1: Monoid[L], cs: ContextShift[F]): ContextShift[[γ$73$]WriterT[F, L, γ$73$]]
- Definition Classes
- MTLContextShift
-
implicit
def
scalazWriterTEffect[F[_], L](implicit arg0: Effect[F], arg1: Monoid[L]): Effect[[γ$34$]WriterT[F, L, γ$34$]]
- Definition Classes
- MTLEffect
-
implicit
def
scalazWriterTLiftIO[F[_], L](implicit arg0: LiftIO[F], arg1: Functor[F], arg2: Monoid[L]): LiftIO[[γ$17$]WriterT[F, L, γ$17$]]
- Definition Classes
- MTLLiftIO
-
implicit
def
scalazWriterTSync[F[_], L](implicit arg0: Sync[F], arg1: Monoid[L]): Sync[[γ$7$]WriterT[F, L, γ$7$]]
- Definition Classes
- MTLSync
-
implicit
def
semigroupKToScalaz[F[_]](implicit FC: Capture[SemigroupK[F]]): Plus[F] with Synthetic
- Definition Classes
- SemigroupKConversions
-
implicit
def
semigroupToCats[A](implicit FC: Capture[Semigroup[A]]): Semigroup[A] with Synthetic
- Definition Classes
- SemigroupConversions
-
implicit
def
semigroupToScalaz[A](implicit FC: Capture[Semigroup[A]]): Semigroup[A] with Synthetic
- Definition Classes
- SemigroupConversions
-
implicit
def
showToCats[A](implicit FC: Capture[Show[A]]): Show[A] with Synthetic
- Definition Classes
- ShowConversions
-
implicit
def
showToScalaz[A](implicit FC: Capture[ContravariantShow[A]]): Show[A] with Synthetic
- Definition Classes
- ShowConversions
-
implicit
def
stateTAs[F[_], S1, S2, A](implicit arg0: Monad[F]): AsScalaz[IndexedStateT[F, S1, S2, A], IndexedStateT[F, S1, S2, A]] with AsCats[IndexedStateT[F, S1, S2, A], IndexedStateT[F, S1, S2, A]]
- Definition Classes
- IndexedStateTConverters
-
implicit
def
strongToCats[F[_, _]](implicit FC: Capture[Strong[F]]): Strong[F] with Synthetic
- Definition Classes
- StrongConversions
-
implicit
def
strongToScalaz[F[_, _]](implicit FC: Capture[Strong[F]]): Strong[F] with Synthetic
- Definition Classes
- StrongConversions
-
implicit
val
taskParallel: Aux[Task, ParallelTask]
- Definition Classes
- TaskInstances
-
implicit
def
traverseToCats[F[_]](implicit FC: Capture[Traverse[F]]): Traverse[F] with Synthetic
- Definition Classes
- TraverseConversions
-
implicit
def
traverseToScalaz[F[_]](implicit FC: Capture[Traverse[F]]): Traverse[F] with Synthetic
- Definition Classes
- TraverseConversions
-
implicit
def
validatedAs[E, A]: AsScalaz[Validated[E, A], Validation[E, A]] with AsCats[Validation[E, A], Validated[E, A]]
- Definition Classes
- ValidatedConverters
-
implicit
def
validatedNelAs[E, A]: AsScalaz[ValidatedNel[E, A], ValidationNel[E, A]] with AsCats[ValidationNel[E, A], ValidatedNel[E, A]]
- Definition Classes
- ValidatedNELConverters
-
implicit
def
valueAs[A]: AsCats[Value[A], Eval[A]]
- Definition Classes
- EvalConverters
-
implicit
def
writerTAs[F[_], W, A]: AsScalaz[WriterT[F, W, A], WriterT[F, W, A]] with AsCats[WriterT[F, W, A], WriterT[F, W, A]]
- Definition Classes
- WriterTConverters
-
implicit
object
ioSync extends Sync[IO] with StackSafeMonad[IO]
- Definition Classes
- IOInstances
-
implicit
object
taskEffect extends Effect[Task] with StackSafeMonad[Task]
- Definition Classes
- TaskInstances