pure

cats.effect.kernel.testkit.pure$
object pure

Attributes

Source:
pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
pure.type

Members list

Concise view

Type members

Classlikes

final case class FiberCtx[E](self: PureFiber[E, _], masks: List[MaskId], finalizers: List[PureConc[E, Unit]])

Attributes

Source:
pure.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
final class MaskId

Attributes

Companion:
object
Source:
pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
object MaskId

Attributes

Companion:
class
Source:
pure.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
MaskId.type
final class PureFiber[E, A](val state0: MVar[Outcome[[_] =>> PureConc[E, _$80], E, A]]) extends Fiber[[_] =>> PureConc[E, _$81], E, A] with Serializable

Attributes

Source:
pure.scala
Graph
Supertypes
trait Fiber[[_] =>> PureConc[E, _$81], E, A]
trait Serializable
class Object
trait Matchable
class Any

Types

type FiberR[E, A] = Kleisli[[_] =>> IdOC[E, _$1], FiberCtx[E], A]

Attributes

Source:
pure.scala
type Finalizer[E] = PureConc[E, Unit]

Attributes

Source:
pure.scala
type IdOC[E, A] = Outcome[Id, E, A]

Attributes

Source:
pure.scala
type MVarR[F[_], A] = Kleisli[F, Universe, A]

Attributes

Source:
pure.scala
type PureConc[E, A] = MVarR[[_] =>> ThreadT[[_] =>> FiberR[E, _$3], _$4], A]

Attributes

Source:
pure.scala
type ResolvedPC[E, A] = ThreadT[[_] =>> IdOC[E, _$5], A]

Attributes

Source:
pure.scala

Value members

Concrete methods

def resolveMain[E, A](pc: PureConc[E, A]): ResolvedPC[E, IdOC[E, A]]

Attributes

Source:
pure.scala
def run[E, A](pc: PureConc[E, A]): Outcome[Option, E, A]

Produces Succeeded(None) when the main fiber is deadlocked. Note that deadlocks outside of the main fiber are ignored when results are appropriately produced (i.e. daemon semantics).

Produces Succeeded(None) when the main fiber is deadlocked. Note that deadlocks outside of the main fiber are ignored when results are appropriately produced (i.e. daemon semantics).

Attributes

Source:
pure.scala

Implicits

Implicits

implicit def allocateForPureConc[E]: GenConcurrent[[_] =>> PureConc[E, _$27], E]

Attributes

Source:
pure.scala
implicit def eqPureConc[E : Eq, A : Eq]: Eq[PureConc[E, A]]

Attributes

Source:
pure.scala
implicit def monadErrorIdOC[E]: MonadError[[_] =>> IdOC[E, _$6], E]

Attributes

Source:
pure.scala
implicit def orderForPureConc[E : Order, A : Order]: Order[PureConc[E, A]]

Attributes

Source:
pure.scala
implicit def showPureConc[E : Show, A : Show]: Show[PureConc[E, A]]

Attributes

Source:
pure.scala