Packages

object CantonConfigValidatorDerivation extends CantonConfigValidatorDerivation

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CantonConfigValidatorDerivation
  2. CantonConfigValidatorDerivation
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type Typeclass[A] = CantonConfigValidator[A]

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. macro def apply[A]: CantonConfigValidator[A]

    Manual invocation for deriving a CantonConfigValidator instance from a CantonConfigPrevalidator instance (found by implicit resolution).

    Manual invocation for deriving a CantonConfigValidator instance from a CantonConfigPrevalidator instance (found by implicit resolution). Implicit resolution must also find CantonConfigValidator instances for all subconfigurations of A.

    In particular, if A is a case class, then implicit resolution must find CantonConfigValidator instances for all the fields of the case class. It does not automatically attempt to derive such instances. If A is a sealed trait of such case classes, then this applies analogously to each implementing case class.

    Manual is the preferred approach to deriving CantonConfigValidator instances for the following reasons:

    • It is more predictable than semi-automatic and automatic derivation. In particular, error messages about missing implicits for CantonConfigPrevalidator or CantonConfigValidator instances are more precise.
    • If the derived instances are systematically bound to implicit vals in scope, we will generate the code for the type class instance only once in the whole codebase, whereas the other approaches may generate the code once per usage of a configuration as a subconfiguration of other configurations. This increases compile time.
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
  7. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  8. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @IntrinsicCandidate() @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @IntrinsicCandidate() @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. def join[A](ctx: ReadOnlyCaseClass[Typeclass, A])(implicit prevalidator: CantonConfigPrevalidator[A]): Typeclass[A]
  13. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  15. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  16. def split[A](ctx: SealedTrait[Typeclass, A]): Typeclass[A]
  17. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    AnyRef → Any
  19. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  20. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  21. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from AnyRef

Inherited from Any

Ungrouped