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

CpsConcurrentLogicMonadInstanceContextBody

cps.monads.logic.CpsConcurrentLogicMonadInstanceContextBody
class CpsConcurrentLogicMonadInstanceContextBody[M[_], F[_]](m: CpsConcurrentLogicMonad[M, F]) extends CpsConcurrentLogicMonadContext[M, F]

Attributes

Graph
Supertypes
trait CpsTryMonadContext[M]
trait CpsThrowMonadContext[M]
trait CpsMonadContext[M]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

type Direct = Direct[M]

Attributes

Inherited from:
CpsMonadContext
type Monad[X] = M[X]

Attributes

Inherited from:
CpsMonadContext

Value members

Concrete methods

override def monad: CpsConcurrentLogicMonad[M, F]

Attributes

Returns

instance of cps-monad which should supports try operations.

Definition Classes
CpsConcurrentLogicMonadContext -> CpsLogicMonadContext -> CpsTryMonadContext -> CpsThrowMonadContext -> CpsMonadContext
Generated with