core/teststate.core/CoreComposition/Implicits

Implicits

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

Implicits

Implicits

implicit def checksCanAnd[C[_, _], A, B]: Can[AndOp, CheckShapeA[C, A, B]]
implicit def checksMonoComposable[C[_, _], A, E]: Mono[AndOp, CheckShapeA[C, A, E]]

Inherited implicits

implicit def checksPolyComposable[C[_, _], D[_, _], A, E](implicit c: ToInvariants[CheckShapeA, C], d: ToInvariants[CheckShapeA, D], i: Mono[AndOp, CheckShapeA[Invariant, A, E]]): PolyComposable[AndOp, CheckShapeA[C, A, E], CheckShapeA[D, A, E], CheckShapeA[Invariant, A, E]]
Inherited from:
P0