core/teststate.core/Invariant

Invariant

object Invariant
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class Delta[-I, E](delta: DeltaA[I, E]) extends Invariant[I, E]
final case class Point[-I, E](point: Point[I, E]) extends Invariant[I, E]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Implicits

Implicits

implicit def invariantInstanceConditional[I, E]: Conditional[Invariant[I, E], I]
implicit def invariantInstanceDisplay[I, E]: Display[Invariant[I, E]]
implicit def invariantInstanceNamedOps[I, E]: NamedOps[Invariant[I, E], I]