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

CpsLogicMonad

cps.monads.logic.CpsLogicMonad
See theCpsLogicMonad companion trait
object CpsLogicMonad

Attributes

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

Members list

Type members

Types

type Aux[M[_], F[_]] = CpsLogicMonad[M] { type Observer = F; }

Value members

Concrete methods

def unfoldM[M[_], S, A](using m: CpsLogicMonad[M])(s0: S)(f: S => M[(A, S)]): M[A]
def unfoldObserver[M[_], S, A](using m: CpsLogicMonad[M])(s0: S)(f: S => m.Observer[Option[(A, S)]]): M[A]
Generated with