object CantonConfigValidatorDerivation extends manual.CantonConfigValidatorDerivation
- Alphabetic
- By Inheritance
- CantonConfigValidatorDerivation
- CantonConfigValidatorDerivation
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- type Typeclass[A] = CantonConfigValidator[A]
- Definition Classes
- CantonConfigValidatorDerivation
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- implicit macro def apply[A]: CantonConfigValidator[A]
Manual invocation for deriving a CantonConfigValidator instance from a CantonConfigPrevalidator instance (found by implicit resolution) for the configuration
A
and all its subconfigurations unless implicit resolution already finds a CantonConfigValidator instance for them.Manual invocation for deriving a CantonConfigValidator instance from a CantonConfigPrevalidator instance (found by implicit resolution) for the configuration
A
and all its subconfigurations unless implicit resolution already finds a CantonConfigValidator instance for them. Implicit resolution must also find CantonConfigPrevalidator instances for all subconfigurations ofA
for which derivation happens.manual.CantonConfigValidatorDerivation should be preferred when possible because it is more predictable and usually more efficient. In particular, derivation failures can be hard to debug for semi-automatic derivation. For example, suppose that
A
is a case classFoo
with a fieldi: Option[Bar]
where implicit resolution does not find a CantonConfigValidator instance forBar
. The derivation sees thatOption
is a sealed trait of case classesNone
andSome
and therefore attempts to derive a CantonConfigValidator instance forNone
andSome
. The derivation forNone
will fail though because there is no CantonConfigPrevalidator instance forNone
. This makes the overall derivation fail with a rather obscure error message about implicit resolution problems. - final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @IntrinsicCandidate() @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def join[A](ctx: ReadOnlyCaseClass[Typeclass, A])(implicit prevalidator: CantonConfigPrevalidator[A]): Typeclass[A]
- Definition Classes
- CantonConfigValidatorDerivation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @IntrinsicCandidate() @native()
- def split[A](ctx: SealedTrait[Typeclass, A]): Typeclass[A]
- Definition Classes
- CantonConfigValidatorDerivation
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])