Packages

package data

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

Type Members

  1. sealed abstract class Free[+S[_, _], +E, +A] extends AnyRef
  2. sealed abstract class FreeError[+S[_, _], +E, +A] extends AnyRef
  3. sealed abstract class FreePanic[+S[_, _], +E, +A] extends AnyRef
  4. final case class InterruptAction[F[_, _]](interrupt: F[Nothing, Unit]) extends AnyVal with Product with Serializable

    interrupt

    May *semantically* block until the target computation either finishes completely or finishes running its finalizers, depending on the underlying effect type. Will not block if the effect type does not support semantic (async) blocking.

  5. type Isomorphism1[F[_], G[_]] = Isomorphism3[[R, E, A]F[A], [R, E, A]G[A]]
  6. type Isomorphism2[F[_, _], G[_, _]] = Isomorphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  7. trait Isomorphism3[F[_, _, _], G[_, _, _]] extends AnyRef
  8. sealed trait LowPriorityIsomorphismInstances extends LowPriorityIsomorphismInstances1
  9. sealed trait LowPriorityIsomorphismInstances1 extends AnyRef
  10. sealed trait LowPriorityMorphismInstances extends LowPriorityMorphismInstances1
  11. sealed trait LowPriorityMorphismInstances1 extends AnyRef
  12. type Morphism1[-F[_], +G[_]] = data.Morphism3.Morphism3[[R, E, A]F[A], [R, E, A]G[A]]
  13. type Morphism2[-F[_, _], +G[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  14. type Morphism3[-F[_, _, _], +G[_, _, _]] = data.Morphism3.Morphism3[F, G]
  15. type RestoreInterruption1[F[_]] = data.Morphism3.Morphism3[[R, E, A]F[A], [R, E, A]F[A]]
  16. type RestoreInterruption2[F[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]F[E, A]]
  17. type RestoreInterruption3[F[_, _, _]] = data.Morphism3.Morphism3[F, F]
  18. type ~>[-F[_], +G[_]] = data.Morphism3.Morphism3[[R, E, A]F[A], [R, E, A]G[A]]
  19. type ~>>[-F[_, _], +G[_, _]] = data.Morphism3.Morphism3[[R, E, A]F[E, A], [R, E, A]G[E, A]]
  20. type ~>>>[-F[_, _, _], +G[_, _, _]] = data.Morphism3.Morphism3[F, G]

Value Members

  1. object Free
  2. object FreeError
  3. object FreePanic
  4. object Isomorphism1
  5. object Isomorphism2
  6. object Isomorphism3
  7. object Morphism1

    Note

    if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism1, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

  8. object Morphism2

    Note

    if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism2, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

  9. object Morphism3 extends LowPriorityMorphismInstances

    Note

    if you're using Scala 2.12 and getting "no such method" or implicit-related errors when interacting with Morphism3, you must enable -Xsource:2.13 or -Xsource:3 compiler option. BIO does not work without -Xsource:2.13 or -Xsource:3 option on 2.12.

Inherited from AnyRef

Inherited from Any

Ungrouped