libretto-testing
API
Generated with
libretto-testing/libretto.testing/TestKit

TestKit

libretto.testing.TestKit
See theTestKit companion object
opaque trait TestKit

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ScalettoTestKitFromBridge[DSL, Bridge]

Members list

Type members

Classlikes

object Outcome

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Outcome.type
object monadOutcome extends Monad[Outcome]

Attributes

Supertypes
trait Monad[Outcome]
trait Applicative[Outcome]
class Object
trait Matchable
class Any
Self type

Types

type Assertion[A]
type Dsl <: CoreDSL
type ExecutionParam[A]
opaque type Outcome[A]

Value members

Abstract methods

def extractOutcome(using exn: bridge.Execution, pos: SourcePos)(outPort: exn.OutPort[Assertion[dsl.Done]]): Outcome[Unit]
def failure[A]: dsl.Done dsl.-⚬ Assertion[A]
def success[A]: A dsl.-⚬ Assertion[A]

Concrete methods

transparent inline def InPort(using exn: bridge.Execution): exn.InPort.type
transparent inline def OutPort(using exn: bridge.Execution): exn.OutPort.type
def expectCrashDone(using exn: bridge.Execution, pos: SourcePos)(port: exn.OutPort[dsl.Done]): Outcome[Throwable]
def expectDone(using exn: bridge.Execution)(port: exn.OutPort[dsl.Done]): Outcome[Unit]
def expectLeft[A, B](using exn: bridge.Execution, pos: SourcePos)(port: exn.OutPort[A dsl.|+| B]): Outcome[exn.OutPort[A]]
def expectNoPing(using exn: bridge.Execution, pos: SourcePos)(port: exn.OutPort[dsl.Ping], duration: FiniteDuration): Outcome[exn.OutPort[dsl.Ping]]
def expectNoPing_(using exn: bridge.Execution, pos: SourcePos)(port: exn.OutPort[dsl.Ping], duration: FiniteDuration): Outcome[Unit]
def expectPing(using exn: bridge.Execution)(port: exn.OutPort[dsl.Ping]): Outcome[Unit]
def expectRight[A, B](using exn: bridge.Execution, pos: SourcePos)(port: exn.OutPort[A dsl.|+| B]): Outcome[exn.OutPort[B]]
def splitOut[A, B](using exn: bridge.Execution)(port: exn.OutPort[A dsl.|*| B]): Outcome[(exn.OutPort[A], exn.OutPort[B])]

Abstract fields

val ExecutionParam: ExecutionParams[ExecutionParam]
val bridge: Of[dsl.type]
val dsl: Dsl

Givens

Givens

given monadAssertion: Monad[dsl.-⚬, Assertion]
Generated with