Type Members
-
type
Actions[F[_], R, O, S, E] = Sack[ROS[R, O, S], Or[NamedError[Failure[E]], Outer[F, R, O, S, E]]]
-
-
-
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
implicit
def
aroundsToCheckOps[O, S, E](c: Types.Arounds[O, S, E]): Ops[Types.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]
-
implicit
def
checksCanAnd[C[-_, _], A, B]: Can[AndOp, CheckShapeA[C, A, B]]
-
implicit
def
checksInstanceDisplay[C[-_, _], A, E](implicit sc: Display[C[A, E]]): Display[CheckShapeA[C, A, E]]
-
implicit
def
checksMonoComposable[C[-_, _], A, E]: Mono[AndOp, CheckShapeA[C, A, E]]
-
-
def
clone(): AnyRef
-
implicit
def
conditionalFnToOption[I, A]: Conditional[(I) ⇒ Option[A], I]
-
implicit
def
conditionalFnToTri[I, E, A]: Conditional[(I) ⇒ Tri[E, A], I]
-
implicit
def
conditionalRight[L, R, I](implicit c: Conditional[R, I]): Conditional[Or[L, R], I]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
-
final
def
isInstanceOf[T0]: Boolean
-
implicit macro
def
materializeNameFnFromString(body: String): NameFn[Any]
-
implicit macro
def
materializeNameFromString(body: String): Name
-
implicit
def
nameFnFromString[A](a: A)(implicit ev: (A) ⇒ Name): NameFn[Any]
-
implicit
def
namedErrorOrXInstanceNamedOps[A, I, E](implicit n: NamedOps[A, I]): NamedOps[Or[NamedError[E], A], I]
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
implicit
def
pointsToCheckOps[O, S, E](c: Types.Points[O, S, E]): Ops[Types.Points, O, S, E]
-
implicit
def
pointsToPointsOps[O, S, E](p: Types.Points[O, S, E]): Ops[O, S, E]
-
implicit
def
sackInstanceNamedOps[A, B](implicit nb: NamedOps[B, A]): NamedOps[Sack[A, B], A]
-
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
implicit
val
testStateDisplayChar: Display[Char]
-
implicit
def
testStateDisplayName: Display[Name]
-
implicit
def
testStateDisplayNameFn[A]: Display[NameFn[A]]
-
implicit
def
testStateDisplayOption[A](implicit display: Display[A]): Display[Option[A]]
-
implicit
val
testStateDisplayString: Display[String]
-
implicit
def
testStateDisplayTraversable[C[X] <: Traversable[X], A](implicit display: Display[A]): Display[C[A]]
-
implicit
def
toConditionalOps[M, I](m: M)(implicit c: Conditional[M, I]): Ops[M, I]
-
implicit
def
toMonoComposableTraversableOnceOpsA[C[x] <: TraversableOnce[x], A](as: C[A])(implicit c: Mono[AndOp, A]): MonoComposableTraversableOnceOps[C, AndOp, A]
-
implicit
def
toMonoComposableTraversableOnceOpsS[C[x] <: TraversableOnce[x], A](as: C[A])(implicit c: Mono[SeqOp, A]): MonoComposableTraversableOnceOps[C, SeqOp, A]
-
implicit
def
toPolyComposableAndOps[A](a: A)(implicit w: Can[AndOp, A]): AndOps[A]
-
implicit
def
toPolyComposableHPSeqOps[A](a: A)(implicit w: Can[HPSeqOp, A]): HPSeqOps[A]
-
implicit
def
toPolyComposableSeqOps[A](a: A)(implicit w: Can[SeqOp, A]): SeqOps[A]
-
def
toString(): String
-
implicit
def
toTestStateDisplayOps[A](a: A)(implicit arg0: Display[A]): Ops[A]
-
implicit
def
toTestStateNamedOps[A, I](a: A)(implicit n: NamedOps[A, I]): Ops[A, I]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Implicits
Inherited from AnyRef
Inherited from Any