trait
Implicits extends AnyRef
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
aroundsToCheckOps[O, S, E](c: Arounds[O, S, E]): Ops[Arounds, O, S, E]
-
final
def
asInstanceOf[T0]: T0
-
implicit
val
checkOpsInstanceForAround: CheckOps[[-O, -S, E]Around[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForArounds: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Around[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
val
checkOpsInstanceForDeltaA: CheckOps[[-O, -S, E]DeltaA[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForInvariant: CheckOps[[-O, -S, E]Invariant[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForInvariants: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Invariant[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
val
checkOpsInstanceForPoint: CheckOps[[-O, -S, E]Point[OS[O, S], E]]
-
implicit
val
checkOpsInstanceForPoints: CheckOps[[β$0$, γ$1$, δ$2$]Sack[OS[β$0$, γ$1$], Or[NamedError[Failure[δ$2$]], Point[OS[β$0$, γ$1$], δ$2$]]]]
-
implicit
def
checkToCheckOps[C[-_, _], O, S, E](c: C[OS[O, S], E])(implicit tc: CheckOps[[-O, -S, E]C[OS[O, S], E]]): Ops[[-O, -S, E]C[OS[O, S], E], O, S, E]
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
implicit
def
invariantsToCheckOps[O, S, E](c: Invariants[O, S, E]): Ops[Invariants, O, S, E]
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
pointsToCheckOps[O, S, E](c: Points[O, S, E]): Ops[Points, O, S, E]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any