dotty-cps-async-logic
API
Generated with
dotty-cps-async-logic/cps/cps.monads/cps.monads.logic/LogicStreamT

LogicStreamT

cps.monads.logic.LogicStreamT
See theLogicStreamT companion trait
object LogicStreamT

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

case class Cons[F[_], A](head: Try[A], tail: () => LogicStreamT[F, A])(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class Empty[F[_], A]()(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class Error[F[_], A](e: Throwable)(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class MPlusSeq[F[_], A](queue: Queue[LogicStreamT[F, A]])(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class Pure[F[_], A](a: A)(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class Suspend[F[_], A](suspended: () => LogicStreamT[F, A])(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all
case class WaitF[F[_], A](waited: F[LogicStreamT[F, A]])(implicit evidence$1: CpsTryMonad[F]) extends LogicStreamT[F, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait LogicStreamT[F, A]
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods

def current[F[_]](using CpsLogicMonadContext[[A] =>> LogicStreamT[F, A]]): CpsLogicMonadContext[[A] =>> LogicStreamT[F, A]]
def empty[F[_] : CpsTryMonad, A](): LogicStreamT[F, A]

Empty stream

Empty stream

Attributes

def error[F[_] : CpsTryMonad, A](e: Throwable): LogicStreamT[F, A]
def fpure[F[_] : CpsTryMonad, A](fa: F[A]): LogicStreamT[F, A]
def mpure[F[_] : CpsTryMonad, A](a: A): LogicStreamT[F, A]
def pure[F[_] : CpsTryMonad, A](a: A): LogicStreamT[F, A]

Givens

Givens

given observeConversion[F[_] : CpsTryMonad]: observeConversion[F]
Generated with