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]
trait Zippable[Tuple2, Outcome]
class Object
trait Matchable
class Any
Show all
Self type

Types

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

Value members

Abstract methods

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

Concrete methods

transparent inline def InPort(using exn: Execution): InPorts
transparent inline def OutPort(using exn: Execution): OutPorts
def expectCrashDone(using exn: Execution, pos: SourcePos)(port: OutPort[Done]): Outcome[Throwable]
def expectDone(using exn: Execution)(port: OutPort[Done]): Outcome[Unit]
def expectLeft[A, B](using exn: Execution, pos: SourcePos)(port: OutPort[A |+| B]): Outcome[OutPort[A]]
def expectPing(using exn: Execution)(port: OutPort[Ping]): Outcome[Unit]
def expectRight[A, B](using exn: Execution, pos: SourcePos)(port: OutPort[A |+| B]): Outcome[OutPort[B]]
def splitOut[A, B](using exn: Execution)(port: OutPort[A |*| B]): Outcome[(OutPort[A], OutPort[B])]

Abstract fields

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

Givens

Givens

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