Packages

package effect

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. effect
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. trait LowPriorityQuasiApplicativeInstances extends AnyRef
  2. trait LowPriorityQuasiFunctorInstances extends AnyRef
  3. trait QuasiApplicative[F[_]] extends QuasiFunctor[F]

    An Applicative capability for F.

    An Applicative capability for F. Unlike QuasiIO there's nothing "quasi" about it – it makes sense. But named like that for consistency anyway.

    Internal use class, as with QuasiIO, it's only public so that you can define your own instances, better use izumi.functional.bio or cats typeclasses for application logic.

  4. type QuasiApplicative2[F[_, _]] = QuasiApplicative[[β$2$]F[Throwable, β$2$]]
  5. type QuasiApplicative3[F[_, _, _]] = QuasiApplicative[[γ$3$]F[Any, Throwable, γ$3$]]
  6. trait QuasiAsync[F[_]] extends AnyRef

    Parallel & async operations for F required by distage-* libraries.

    Parallel & async operations for F required by distage-* libraries. Unlike QuasiIO there's nothing "quasi" about it – it makes sense. But named like that for consistency anyway.

    Internal use class, as with QuasiIO, it's only public so that you can define your own instances, better use izumi.functional.bio or cats typeclasses for application logic.

  7. type QuasiAsync2[F[_, _]] = QuasiAsync[[β$4$]F[Throwable, β$4$]]
  8. type QuasiAsync3[F[_, _, _]] = QuasiAsync[[γ$5$]F[Any, Throwable, γ$5$]]
  9. trait QuasiFunctor[F[_]] extends AnyRef

    A Functor capability for F.

    A Functor capability for F. Unlike QuasiIO there's nothing "quasi" about it – it makes sense. But named like that for consistency anyway.

    Internal use class, as with QuasiIO, it's only public so that you can define your own instances, better use izumi.functional.bio or cats typeclasses for application logic.

  10. trait QuasiIO[F[_]] extends QuasiApplicative[F]

    Evidence that F is _almost_ IO-monad-like capabilities, but not quite, because we also allow an impure izumi.fundamentals.platform.functional.Identity instance, for which maybeSuspend does not in fact suspend!

    Evidence that F is _almost_ IO-monad-like capabilities, but not quite, because we also allow an impure izumi.fundamentals.platform.functional.Identity instance, for which maybeSuspend does not in fact suspend!

    If you use this interface and forget to add manual suspension with by-name's and Function1's, you're going to get weird behavior for Identity instance.

    This interface serves internal need of distage for interoperability with all the existing Scala effect types and also impure Identity, you should NOT refer to it in your code if possible, it is public because you may want to define your own instances if a suitable instance of izumi.distage.modules.DefaultModule is missing for your custom effect type. Better use izumi.functional.bio or cats typeclasses for application logic.

    See also

    izumi.distage.modules.DefaultModule - DefaultModule makes instances of QuasiIO for cats-effect, ZIO, monix, monix-bio, Identity, and others, available for summoning in your wiring automatically

  11. type QuasiIO2[F[_, _]] = QuasiIO[[β$0$]F[Throwable, β$0$]]
  12. type QuasiIO3[F[_, _, _]] = QuasiIO[[γ$1$]F[Any, Throwable, γ$1$]]
  13. trait QuasiIORunner[F[_]] extends AnyRef

    An unsafeRun for F.

    An unsafeRun for F. Required for distage-framework apps and distage-testkit tests, but will be provided automatically by izumi.distage.modules.DefaultModule for all existing Scala effect types.

    Unlike QuasiIO there's nothing "quasi" about it – it makes sense. But named like that for consistency anyway.

    Internal use class, as with QuasiIO, it's only public so that you can define your own instances, better use izumi.functional.bio or cats typeclasses for application logic.

  14. type QuasiIORunner2[F[_, _]] = QuasiIORunner[[β$6$]F[Throwable, β$6$]]
  15. type QuasiIORunner3[F[_, _, _]] = QuasiIORunner[[γ$7$]F[Any, Throwable, γ$7$]]

Deprecated Type Members

  1. type DIApplicative[F[_]] = QuasiApplicative[F]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiApplicative

  2. type DIApplicative2[F[_, _]] = QuasiApplicative[[β$10$]F[Throwable, β$10$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiApplicative2

  3. type DIApplicative3[F[_, _, _]] = QuasiApplicative[[γ$11$]F[Any, Throwable, γ$11$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiApplicative3

  4. type DIEffect[F[_]] = QuasiIO[F]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIO

  5. type DIEffect2[F[_, _]] = QuasiIO[[β$8$]F[Throwable, β$8$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIO2

  6. type DIEffect3[F[_, _, _]] = QuasiIO[[γ$9$]F[Any, Throwable, γ$9$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIO3

  7. type DIEffectAsync[F[_]] = QuasiAsync[F]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiAsync

  8. type DIEffectAsync2[F[_, _]] = QuasiAsync[[β$12$]F[Throwable, β$12$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiAsync2

  9. type DIEffectAsync3[F[_, _, _]] = QuasiAsync[[γ$13$]F[Any, Throwable, γ$13$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiAsync3

  10. type DIEffectRunner[F[_]] = QuasiIORunner[F]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIORunner

  11. type DIEffectRunner2[F[_, _]] = QuasiIORunner[[β$14$]F[Throwable, β$14$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIORunner2

  12. type DIEffectRunner3[F[_, _, _]] = QuasiIORunner[[γ$15$]F[Any, Throwable, γ$15$]]
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIORunner3

Value Members

  1. object QuasiApplicative extends LowPriorityQuasiApplicativeInstances
  2. object QuasiAsync extends LowPriorityQuasiAsyncInstances
  3. object QuasiFunctor extends LowPriorityQuasiFunctorInstances
  4. object QuasiIO extends LowPriorityQuasiIOInstances
  5. object QuasiIORunner extends LowPriorityQuasiIORunnerInstances

Deprecated Value Members

  1. lazy val DIApplicative: QuasiApplicative.type
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiApplicative

  2. lazy val DIEffect: QuasiIO.type
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiIO

  3. lazy val DIEffectAsync: QuasiAsync.type
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiAsync

  4. lazy val DIEffectRunner: QuasiIORunner.type
    Annotations
    @deprecated
    Deprecated

    (Since version 1.0) Renamed to QuasiAsync

Inherited from AnyRef

Inherited from Any

Ungrouped