pure

object pure
Source:
pure.scala
class Object
trait Matchable
class Any
pure.type

Type members

Classlikes

final case class FiberCtx[E](self: PureFiber[E, _], masks: List[MaskId], finalizers: List[PureConc[E, Unit]])
Source:
pure.scala
final class MaskId
Companion:
object
Source:
pure.scala
object MaskId
Companion:
class
Source:
pure.scala
final class PureFiber[E, A](val state0: MVar[Outcome[[_] =>> PureConc[E, _$80], E, A]]) extends Fiber[[_] =>> PureConc[E, _$81], E, A] with Serializable
Source:
pure.scala

Types

type FiberR[E, A] = Kleisli[[_] =>> IdOC[E, _$1], FiberCtx[E], A]
Source:
pure.scala
type Finalizer[E] = PureConc[E, Unit]
Source:
pure.scala
type IdOC[E, A] = Outcome[Id, E, A]
Source:
pure.scala
type MVarR[F[_], A] = Kleisli[F, Universe, A]
Source:
pure.scala
type PureConc[E, A] = MVarR[[_] =>> ThreadT[[_] =>> FiberR[E, _$3], _$4], A]
Source:
pure.scala
type ResolvedPC[E, A] = ThreadT[[_] =>> IdOC[E, _$5], A]
Source:
pure.scala

Value members

Concrete methods

def resolveMain[E, A](pc: PureConc[E, A]): ResolvedPC[E, IdOC[E, A]]
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).

Source:
pure.scala

Implicits

Implicits

implicit def allocateForPureConc[E]: GenConcurrent[[_] =>> PureConc[E, _$27], E]
Source:
pure.scala
implicit def eqPureConc[E : Eq, A : Eq]: Eq[PureConc[E, A]]
Source:
pure.scala
implicit def monadErrorIdOC[E]: MonadError[[_] =>> IdOC[E, _$6], E]
Source:
pure.scala
implicit def orderForPureConc[E : Order, A : Order]: Order[PureConc[E, A]]
Source:
pure.scala
implicit def showPureConc[E : Show, A : Show]: Show[PureConc[E, A]]
Source:
pure.scala