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

Type members

Classlikes

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

Attributes

Source
pure.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final class MaskId

Attributes

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

Attributes

Companion
class
Source
pure.scala
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], Serializable

Attributes

Source
pure.scala
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