SpecStructureDsl

Creation of SpecStructure with the ^ syntax

class Object
trait Matchable
class Any

Type members

Classlikes

trait ToSpecStructure[T1, T2]
class appendSpecStructure[T1, T2](t1: T1)(using tss: ToSpecStructure[T1, T2])

Value members

Inherited methods

Givens

Givens

APPENDING TO ARGUMENTS

APPENDING TO ARGUMENTS

APPENDING TO A FRAGMENT

APPENDING TO A FRAGMENT

APPENDING TO FRAGMENTS

APPENDING TO FRAGMENTS

APPENDING TO A SPEC HEADER

APPENDING TO A SPEC HEADER

APPENDING TO A SPEC STRUCTURE

APPENDING TO A SPEC STRUCTURE

APPENDING TO A STRING

APPENDING TO A STRING

Extensions

Extensions

extension (t1: T1)
def ^[T1, T2](t2: => T2)(using tss: ToSpecStructure[T1, T2]): SpecStructure

Implicits

Implicits

implicit def resultAsSpecStructure[R](r: => R)(using evidence$1: AsResult[R]): SpecStructure