Packages

  • package root
    Definition Classes
    root
  • package scodec

    Combinator library for working with binary data.

    Combinator library for working with binary data.

    The primary abstraction of this library is Codec, which provides the ability to encode/decode values to/from binary.

    There are more general abstractions though, such as Encoder and Decoder. There's also GenCodec which extends both Encoder and Decoder but allows the types to vary. Given these more general abstractions, a Codec[A] can be represented as a GenCodec[A, A].

    The more general abstractions are important because they allow operations on codecs that would not otherwise be possible. For example, given a Codec[A], mapping a function A => B over the codec yields a GenCodec[A, B]. Without the more general abstractions, map is impossible to define (e.g., how would codec.map(f).encode(b) be implemented?). Given a GenCodec[A, B], the encoding functionality can be ignored by treating it as a Decoder[B], or the encoding type can be changed via contramap. If after further transformations, the two types to GenCodec are equal, we can reconstitute a Codec from the GenCodec by calling fuse.

    See the codecs package object for pre-defined codecs for many common data types and combinators for building larger codecs out of smaller ones.

    For the categorically minded, note the following:

    • Decoder is a monad
    • Encoder is a contravariant functor
    • GenCodec is a profunctor
    • Codec is an invariant functor
    Definition Classes
    root
  • package codecs

    Provides codecs for common types and combinators for building larger codecs.

    Provides codecs for common types and combinators for building larger codecs.

    Bits and Bytes Codecs

    The simplest of the provided codecs are those that encode/decode BitVectors and ByteVectors directly. These are provided by bits and bytes methods. These codecs encode all of the bits/bytes directly in to the result and decode *all* of the remaining bits/bytes in to the result value. That is, the result of decode always returns a empty bit vector for the remaining bits.

    Similarly, fixed size alternatives are provided by the bits(size) and bytes(size) methods, which encode a fixed number of bits/bytes (or error if not provided the correct size) and decoded a fixed number of bits/bytes (or error if that many bits/bytes are not available).

    There are more specialized codecs for working with bits, including ignore and constant.

    Numeric Codecs

    There are built-in codecs for Int, Long, Float, and Double.

    There are a number of predefined integral codecs named using the form:

    [u]int$${size}[L]

    where u stands for unsigned, size is replaced by one of 8, 16, 24, 32, 64, and L stands for little-endian. For each codec of that form, the type is Codec[Int] or Codec[Long] depending on the specified size. For example, int32 supports 32-bit big-endian 2s complement signed integers, and uint16L supports 16-bit little-endian unsigned integers. Note: uint64[L] are not provided because a 64-bit unsigned integer does not fit in to a Long.

    Additionally, methods of the form [u]int[L](size: Int) and [u]long[L](size: Int) exist to build arbitrarily sized codecs, within the limitations of Int and Long.

    IEEE 754 floating point values are supported by the float, floatL, double, and doubleL codecs.

    Miscellaneous Value Codecs

    In addition to the numeric codecs, there are built-in codecs for Boolean, String, and UUID.

    Boolean values are supported by the bool codecs.

    Combinators

    There are a number of methods provided that create codecs out of other codecs. These include simple combinators such as fixedSizeBits and variableSizeBits and advanced combinators such as discriminated, which provides its own DSL for building a large codec out of many small codecs. For a list of all combinators, see the Combinators section below.

    Cryptography Codecs

    There are codecs that support working with encrypted data (encrypted), digital signatures and checksums (fixedSizeSignature and variableSizeSignature). Additionally, support for java.security.cert.Certificates is provided by certificate and x509Certificate.

    Definition Classes
    scodec
  • ChecksumCodec
  • ChecksumFactory
  • ChecksumMismatch
  • CipherFactory
  • CoproductBuilderAuto
  • CoproductBuilderAutoDiscriminators
  • CoproductBuilderKeyDiscriminators
  • CoproductCodecBuilder
  • DeMultiplexer
  • DeriveHListElementAux
  • Discriminated
  • Discriminator
  • DiscriminatorCodec
  • DropUnits
  • DropUnitsLowPriority
  • FlattenLeftPairs
  • ImplicitCodecs
  • ImplicitCollections
  • ImplicitValues
  • InvertibleRemove
  • KnownDiscriminatorType
  • MultiplexedCodec
  • NeedDiscriminatorCodec
  • PaddedVarAlignedCodec
  • SignatureFactory
  • SignatureSigner
  • Signer
  • SignerFactory
  • StringEnrichedWithCodecContextSupport
  • ToCoproductCodecs
  • ToHListCodec
  • Tuple10Codec
  • Tuple11Codec
  • Tuple12Codec
  • Tuple3Codec
  • Tuple4Codec
  • Tuple5Codec
  • Tuple6Codec
  • Tuple7Codec
  • Tuple8Codec
  • Tuple9Codec
  • TupleCodec
  • ValueEnrichedWithTuplingSupport
  • VarIntCodec
  • VarLongCodec
  • implicits
  • literals
  • ~

sealed abstract class CoproductBuilderKeyDiscriminators[C <: Coproduct, L <: HList, A] extends AnyRef

Witness for CoproductCodecBuilder#NeedDiscriminators#using.

Source
CoproductCodec.scala
Linear Supertypes
Ordering
  1. Grouped
  2. Alphabetic
  3. By Inheritance
Inherited
  1. CoproductBuilderKeyDiscriminators
  2. AnyRef
  3. Any
Implicitly
  1. by ValueEnrichedWithTuplingSupport
  2. by TransformSyntax
  3. by any2stringadd
  4. by StringFormat
  5. by Ensuring
  6. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def fromDiscriminator(bindings: L)(a: A, idx: Int): Option[Int]
  2. abstract def toDiscriminator(bindings: L)(c: C): A

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toany2stringadd[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (CoproductBuilderKeyDiscriminators[C, L, A], B)
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toArrowAssoc[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. val a: CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toValueEnrichedWithTuplingSupport[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method ValueEnrichedWithTuplingSupport in scodec.codecs.
    Definition Classes
    ValueEnrichedWithTuplingSupport
  7. def as[B](implicit as: Transformer[A, B]): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using implicitly available evidence that such a transformation is possible.

    Transforms using implicitly available evidence that such a transformation is possible.

    Typical transformations include converting:

    • an F[L] for some L <: HList to/from an F[CC] for some case class CC, where the types in the case class are aligned with the types in L
    • an F[C] for some C <: Coproduct to/from an F[SC] for some sealed class SC, where the component types in the coproduct are the leaf subtypes of the sealed class.
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  10. def ensuring(cond: (CoproductBuilderKeyDiscriminators[C, L, A]) => Boolean, msg: => Any): CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toEnsuring[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  11. def ensuring(cond: (CoproductBuilderKeyDiscriminators[C, L, A]) => Boolean): CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toEnsuring[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  12. def ensuring(cond: Boolean, msg: => Any): CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toEnsuring[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  13. def ensuring(cond: Boolean): CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toEnsuring[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  16. def exmap[B](f: (A) => Attempt[B], g: (B) => Attempt[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using two functions, A => Attempt[B] and B => Attempt[A].

    Transforms using two functions, A => Attempt[B] and B => Attempt[A].

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  17. def exmapc[B](f: (A) => Attempt[B])(g: (B) => Attempt[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Curried version of exmap.

    Curried version of exmap.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  18. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  19. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toStringFormat[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @inline()
  20. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  23. def narrow[B](f: (A) => Attempt[B], g: (B) => A): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using two functions, A => Attempt[B] and B => A.

    Transforms using two functions, A => Attempt[B] and B => A.

    The supplied functions form an injection from B to A. Hence, this method converts from a larger to a smaller type. Hence, the name narrow.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  24. def narrowc[B](f: (A) => Attempt[B])(g: (B) => A): CoproductBuilderKeyDiscriminators[C, L, B]

    Curried version of narrow.

    Curried version of narrow.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. val self: CoproductBuilderKeyDiscriminators[C, L, A]
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  29. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  30. def toString(): String
    Definition Classes
    AnyRef → Any
  31. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  32. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  33. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  34. def widen[B](f: (A) => B, g: (B) => Attempt[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using two functions, A => B and B => Attempt[A].

    Transforms using two functions, A => B and B => Attempt[A].

    The supplied functions form an injection from A to B. Hence, this method converts from a smaller to a larger type. Hence, the name widen.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  35. def widenOpt[B](f: (A) => B, g: (B) => Option[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using two functions, A => B and B => Option[A].

    Transforms using two functions, A => B and B => Option[A].

    Particularly useful when combined with case class apply/unapply. E.g., widenOpt(fa, Foo.apply, Foo.unapply).

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  36. def widenOptc[B](f: (A) => B)(g: (B) => Option[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Curried version of widenOpt.

    Curried version of widenOpt.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  37. def widenc[B](f: (A) => B)(g: (B) => Attempt[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Curried version of widen.

    Curried version of widen.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  38. def xmap[B](f: (A) => B, g: (B) => A): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using the isomorphism described by two functions, A => B and B => A.

    Transforms using the isomorphism described by two functions, A => B and B => A.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  39. def xmapc[B](f: (A) => B)(g: (B) => A): CoproductBuilderKeyDiscriminators[C, L, B]

    Curried version of xmap.

    Curried version of xmap.

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
  40. def ~[B](b: B): (CoproductBuilderKeyDiscriminators[C, L, A], B)
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toValueEnrichedWithTuplingSupport[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method ValueEnrichedWithTuplingSupport in scodec.codecs.
    Definition Classes
    ValueEnrichedWithTuplingSupport

Deprecated Value Members

  1. def pxmap[B](f: (A) => B, g: (B) => Option[A]): CoproductBuilderKeyDiscriminators[C, L, B]

    Transforms using two functions, A => B and B => Option[A].

    Transforms using two functions, A => B and B => Option[A].

    Particularly useful when combined with case class apply/unapply. E.g., pxmap(fa, Foo.apply, Foo.unapply).

    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toTransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A] performed by method TransformSyntax in scodec.This conversion will take place only if an implicit value of type Transform[[A]CoproductBuilderKeyDiscriminators[C, L, A]] is in scope.
    Definition Classes
    TransformSyntax
    Annotations
    @deprecated
    Deprecated

    (Since version 1.7.0) Use widenOpt instead

  2. def [B](y: B): (CoproductBuilderKeyDiscriminators[C, L, A], B)
    Implicit
    This member is added by an implicit conversion from CoproductBuilderKeyDiscriminators[C, L, A] toArrowAssoc[CoproductBuilderKeyDiscriminators[C, L, A]] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @deprecated
    Deprecated

    (Since version 2.13.0) Use -> instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion ValueEnrichedWithTuplingSupport fromCoproductBuilderKeyDiscriminators[C, L, A] to ValueEnrichedWithTuplingSupport[CoproductBuilderKeyDiscriminators[C, L, A]]

Inherited by implicit conversion TransformSyntax fromCoproductBuilderKeyDiscriminators[C, L, A] to TransformSyntax[[A]CoproductBuilderKeyDiscriminators[C, L, A], A]

Inherited by implicit conversion any2stringadd fromCoproductBuilderKeyDiscriminators[C, L, A] to any2stringadd[CoproductBuilderKeyDiscriminators[C, L, A]]

Inherited by implicit conversion StringFormat fromCoproductBuilderKeyDiscriminators[C, L, A] to StringFormat[CoproductBuilderKeyDiscriminators[C, L, A]]

Inherited by implicit conversion Ensuring fromCoproductBuilderKeyDiscriminators[C, L, A] to Ensuring[CoproductBuilderKeyDiscriminators[C, L, A]]

Inherited by implicit conversion ArrowAssoc fromCoproductBuilderKeyDiscriminators[C, L, A] to ArrowAssoc[CoproductBuilderKeyDiscriminators[C, L, A]]

Combinators

Ungrouped