root
API
Generated with
root/cps/cps.monads/CpsLazyT

CpsLazyT

cps.monads.CpsLazyT
See theCpsLazyT companion trait
object CpsLazyT

Attributes

Companion
trait
Source
CpsLazyT.scala
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
CpsLazyT.type

Members list

Type members

Classlikes

case class Delay[F[_], A](thunk: () => CpsLazyT[F, A]) extends CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, A]
class Object
trait Matchable
class Any
Show all
case class Error[F[_], A](e: Throwable) extends CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, A]
class Object
trait Matchable
class Any
Show all
case class FlatMap[F[_], A, B](la: CpsLazyT[F, A], f: A => CpsLazyT[F, B]) extends CpsLazyT[F, B]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, B]
class Object
trait Matchable
class Any
Show all
case class FlatMapTry[F[_], A, B](la: CpsLazyT[F, A], f: (Try[A]) => CpsLazyT[F, B]) extends CpsLazyT[F, B]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, B]
class Object
trait Matchable
class Any
Show all
case class Lift[F[_], A](fa: F[A]) extends CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, A]
class Object
trait Matchable
class Any
Show all
case class Pure[F[_], A](value: A) extends CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
Supertypes
trait Serializable
trait Product
trait Equals
trait CpsLazyT[F, A]
class Object
trait Matchable
class Any
Show all

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def delay[F[_], A](thunk: => A): CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
def error[F[_], A](e: Throwable): CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
def flatDelay[F[_], A](thunk: => CpsLazyT[F, A]): CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
def lift[F[_], A](fa: F[A]): CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
def pure[F[_], A](a: A): CpsLazyT[F, A]

Attributes

Source
CpsLazyT.scala
def run[F[_], A](lt: CpsLazyT[F, A])(using FM: CpsTryMonad[F]): F[A]

Stack-safe interpreter that evaluates a CpsLazyT tree into the underlying monad F. Uses FM.tailRecM with an explicit continuation stack to avoid JVM stack overflow.

Stack-safe interpreter that evaluates a CpsLazyT tree into the underlying monad F. Uses FM.tailRecM with an explicit continuation stack to avoid JVM stack overflow.

Attributes

Source
CpsLazyT.scala

Givens

Givens

given cpsLazyTMonad[F[_]](using FM: CpsTryMonad[F]): cpsLazyTMonad[F]

CpsTryEffectMonad instance for CpsLazyT[F, _]. Requires an underlying CpsTryMonad[F] in implicit scope.

CpsTryEffectMonad instance for CpsLazyT[F, _]. Requires an underlying CpsTryMonad[F] in implicit scope.

Attributes

Source
CpsLazyT.scala
Generated with