core/teststate.core/CheckOps/Implicits

Implicits

trait Implicits
class Object
trait Matchable
class Any
trait Exports
object Exports.type
object CoreExports.type

Type members

Types

type CheckOpsCheckShape[C[_, _]] = CheckOps[[_, _, _] =>> CheckShape[C, _$20, _$21, _$22]]

Implicits

Implicits

implicit def aroundsToCheckOps[O, S, E](c: Arounds[O, S, E]): Ops[Arounds, O, S, E]
implicit val checkOpsInstanceForAround: CheckOps[<none>]
implicit val checkOpsInstanceForDeltaA: CheckOps[<none>]
implicit val checkOpsInstanceForPoint: CheckOps[<none>]
implicit def checkToCheckOps[C[_, _], O, S, E](c: C[OS[O, S], E])(implicit tc: CheckOps[<none>]): Ops[<none>, O, S, E]
implicit def invariantsToCheckOps[O, S, E](c: Invariants[O, S, E]): Ops[Invariants, O, S, E]
implicit def pointsToCheckOps[O, S, E](c: Points[O, S, E]): Ops[Points, O, S, E]