CoreExports

object CoreExports extends CoreExports
Companion:
class
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait Implicits
trait P0
trait Implicits
trait ToOps
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait ToOps
trait Instances
trait Implicits
trait NameImplicits
class Object
trait Matchable
class Any

Type members

Inherited types

type Actions[F[_], R, O, S, E] = Actions[F, R, O, S, E]
Inherited from:
CoreExports
type Arounds[-O, -S, E] = Arounds[O, S, E]
Inherited from:
CoreExports
type CheckOpsCheckShape[C[_, _]] = CheckOps[[_, _, _] =>> CheckShape[C, _$20, _$21, _$22]]
Inherited from:
Implicits
type Invariants[-O, -S, E] = Invariants[O, S, E]
Inherited from:
CoreExports
type Points[-O, -S, E] = Points[O, S, E]
Inherited from:
CoreExports

Implicits

Inherited implicits

implicit def aroundsToCheckOps[O, S, E](c: Arounds[O, S, E]): Ops[Arounds, O, S, E]
Inherited from:
Implicits
implicit def autoWidenChecksToInvariants[C[_, _], A, E](c: CheckShapeA[C, A, E])(implicit t: ToInvariants[CheckShapeA, C]): CheckShapeA[Invariant, A, E]
Inherited from:
CoreExports
implicit val checkOpsInstanceForAround: CheckOps[<none>]
Inherited from:
Implicits
implicit val checkOpsInstanceForDeltaA: CheckOps[<none>]
Inherited from:
Implicits
Inherited from:
Implicits
implicit val checkOpsInstanceForPoint: CheckOps[<none>]
Inherited from:
Implicits
implicit def checkToCheckOps[C[_, _], O, S, E](c: C[OS[O, S], E])(implicit tc: CheckOps[<none>]): Ops[<none>, O, S, E]
Inherited from:
Implicits
implicit def checksCanAnd[C[_, _], A, B]: Can[AndOp, CheckShapeA[C, A, B]]
Inherited from:
Implicits
implicit def checksInstanceDisplay[C[_, _], A, E](implicit sc: Display[C[A, E]]): Display[CheckShapeA[C, A, E]]
Inherited from:
CoreExports
implicit def checksMonoComposable[C[_, _], A, E]: Mono[AndOp, CheckShapeA[C, A, E]]
Inherited from:
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
implicit def conditionalFnToOption[I, A]: Conditional[I => Option[A], I]
Inherited from:
Instances
implicit def conditionalFnToTri[I, E, A]: Conditional[I => Tri[E, A], I]
Inherited from:
Instances
implicit def conditionalRight[L, R, I](implicit c: Conditional[R, I]): Conditional[Or[L, R], I]
Inherited from:
Instances
implicit def invariantsToCheckOps[O, S, E](c: Invariants[O, S, E]): Ops[Invariants, O, S, E]
Inherited from:
Implicits
implicit inline def materializeNameFnFromString(inline body: String): NameFn[Any]
Inherited from:
NameImplicits
implicit inline def materializeNameFromString(inline body: String): Name
Inherited from:
NameImplicits
implicit inline def nameFnFromString[A](a: A)(using ev: A => Name): NameFn[Any]
Inherited from:
NameImplicits
implicit def namedErrorOrXInstanceNamedOps[A, I, E](implicit n: NamedOps[A, I]): NamedOps[Or[NamedError[E], A], I]
Inherited from:
Instances
implicit def pointsToCheckOps[O, S, E](c: Points[O, S, E]): Ops[Points, O, S, E]
Inherited from:
Implicits
implicit def pointsToPointsOps[O, S, E](p: Points[O, S, E]): Ops[O, S, E]
Inherited from:
Implicits
implicit def sackInstanceNamedOps[A, B](implicit nb: NamedOps[B, A]): NamedOps[Sack[A, B], A]
Inherited from:
Instances
implicit def sackInstanceNamedOpsBA[A, B, I](implicit nb: NamedOps[B, BeforeAfter[A]]): NamedOps[Sack[A, B], BeforeAfter[A]]
Inherited from:
Instances
implicit val testStateDisplayChar: Display[Char]
Inherited from:
Instances
implicit def testStateDisplayName: Display[Name]
Inherited from:
Instances
implicit def testStateDisplayNameFn[A]: Display[NameFn[A]]
Inherited from:
Instances
implicit def testStateDisplayOption[A](implicit display: Display[A]): Display[Option[A]]
Inherited from:
Instances
implicit val testStateDisplayString: Display[String]
Inherited from:
Instances
implicit def testStateDisplayTraversable[C <: (Iterable), A](implicit display: Display[A]): Display[C[A]]
Inherited from:
Instances
implicit def toConditionalOps[M, I](m: M)(implicit c: Conditional[M, I]): Ops[M, I]
Inherited from:
ToOps
implicit def toMonoComposableTraversableOnceOpsA[C <: (IterableOnce), A](as: C[A])(implicit c: Mono[AndOp, A]): MonoComposableTraversableOnceOps[C, AndOp, A]
Inherited from:
ToOps
implicit def toMonoComposableTraversableOnceOpsS[C <: (IterableOnce), A](as: C[A])(implicit c: Mono[SeqOp, A]): MonoComposableTraversableOnceOps[C, SeqOp, A]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableAndOps[A](a: A)(implicit w: Can[AndOp, A]): AndOps[A]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableHPSeqOps[A](a: A)(implicit w: Can[HPSeqOp, A]): HPSeqOps[A]
Inherited from:
ToOps
@nowarn("cat=unused")
implicit def toPolyComposableSeqOps[A](a: A)(implicit w: Can[SeqOp, A]): SeqOps[A]
Inherited from:
ToOps
implicit def toTestStateDisplayOps[A : Display](a: A): Ops[A]
Inherited from:
ToOps
implicit def toTestStateNamedOps[A, I](a: A)(implicit n: NamedOps[A, I]): Ops[A, I]
Inherited from:
ToOps