scaladoc testcases/API/tests.givenDRI

tests.givenDRI

package tests.givenDRI

Type members

Classlikes

trait A[T]
trait B[T]
trait C
class R
object RR extends A[Int]
class S
object given_A_C extends A[C]
object given_A_Int extends A[Int]
object given_A_Seq extends A[Seq[String]]
object given_A_String extends A[String]

Givens

Givens

given RR: RR.type
given given_A_C[C]: given_A_C[C]
given given_A_Option[T : A]: given_A_Option[T]
given given_A_S[S <: C]: given_A_S[S]
given given_A_T[T : B]: given_A_T[T]