Packages

trait QuasiPrimitives[F[_]] extends QuasiApplicative[F]

Evidence that F supports a subset of QuasiIO capabilities - state, non-effectful not-guaranteed suspension, and setting finalizers that can't inspect the error.

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.

Linear Supertypes
QuasiApplicative[F], QuasiFunctor[F], AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. QuasiPrimitives
  2. QuasiApplicative
  3. QuasiFunctor
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def bracket[A, B](acquire: => F[A])(release: (A) => F[Unit])(use: (A) => F[B]): F[B]
  2. abstract def flatMap[A, B](fa: F[A])(f: (A) => F[B]): F[B]
  3. abstract def map[A, B](fa: F[A])(f: (A) => B): F[B]
    Definition Classes
    QuasiFunctor
  4. abstract def map2[A, B, C](fa: F[A], fb: => F[B])(f: (A, B) => C): F[C]
    Definition Classes
    QuasiApplicative
  5. abstract def mkRef[A](a: A): F[QuasiRef[F, A]]
  6. abstract def pure[A](a: A): F[A]
    Definition Classes
    QuasiApplicative
  7. abstract def suspendF[A](effAction: => F[A]): F[A]

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def guarantee[A](fa: => F[A])(finally: => F[Unit]): F[A]
  11. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  12. final def ifThenElse[A](cond: Boolean)(ifTrue: => F[A], ifFalse: => F[A]): F[A]
    Definition Classes
    QuasiApplicative
  13. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  14. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  16. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  17. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  18. def tailRecM[A, B](a: A)(f: (A) => F[Either[A, B]]): F[B]
  19. def toString(): String
    Definition Classes
    AnyRef → Any
  20. def traverse[A, B](l: Iterable[A])(f: (A) => F[B]): F[List[B]]
    Definition Classes
    QuasiPrimitivesQuasiApplicative
  21. def traverse_[A](l: Iterable[A])(f: (A) => F[Unit]): F[Unit]
    Definition Classes
    QuasiPrimitivesQuasiApplicative
  22. final val unit: F[Unit]
    Definition Classes
    QuasiApplicative
  23. final def unless(cond: Boolean)(ifFalse: => F[Unit]): F[Unit]
    Definition Classes
    QuasiApplicative
  24. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  25. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  26. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  27. final def when(cond: Boolean)(ifTrue: => F[Unit]): F[Unit]
    Definition Classes
    QuasiApplicative
  28. final def widen[A, B >: A](fa: F[A]): F[B]
    Definition Classes
    QuasiFunctor

Inherited from QuasiApplicative[F]

Inherited from QuasiFunctor[F]

Inherited from AnyRef

Inherited from Any

Ungrouped