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
Aand 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
Aand all its subconfigurations unless implicit resolution already finds a CantonConfigValidator instance for them. Implicit resolution must also find CantonConfigPrevalidator instances for all subconfigurations ofAfor 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
Ais a case classFoowith a fieldi: Option[Bar]where implicit resolution does not find a CantonConfigValidator instance forBar. The derivation sees thatOptionis a sealed trait of case classesNoneandSomeand therefore attempts to derive a CantonConfigValidator instance forNoneandSome. The derivation forNonewill 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])
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])