Packages

trait CodecLaws[E, D, F, T] extends DecoderLaws[E, D, F, T] with EncoderLaws[E, D, T]

Source
CodecLaws.scala
Linear Supertypes
EncoderLaws[E, D, T], DecoderLaws[E, D, F, T], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CodecLaws
  2. EncoderLaws
  3. DecoderLaws
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def decoder: Decoder[E, D, F, T]
    Definition Classes
    DecoderLaws
  2. abstract def encoder: Encoder[E, D, T]
    Definition Classes
    EncoderLaws

Concrete 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @HotSpotIntrinsicCandidate() @native()
  6. implicit lazy val codec: Codec[E, D, F, T]
  7. def contramapComposition[A, B](b: B, f: (A) => D, g: (B) => A): Boolean
    Definition Classes
    EncoderLaws
  8. def contramapEncodedComposition[A, B](b: B, f: (A) => E, g: (B) => A): Boolean
    Definition Classes
    DecoderLaws
  9. def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  10. def contramapIdentity(d: D): Boolean
    Definition Classes
    EncoderLaws
  11. def decode(v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  12. def decodeFailure(v: IllegalValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  13. def emapComposition[A, B](v: CodecValue[E, D, T], f: (D) => Either[F, A], g: (A) => Either[F, B]): Boolean
    Definition Classes
    DecoderLaws
  14. def emapIdentity(v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  15. def encode(v: LegalValue[E, D, T]): Boolean
    Definition Classes
    EncoderLaws
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  18. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  19. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  20. def imapCompositionDecoding[A, B](v: CodecValue[E, D, T], f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
  21. def imapCompositionEncoding[A, B](b: B, f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
  22. def imapEncodedCompositionDecoding[A, B](b: B, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
  23. def imapEncodedCompositionEncoding[A, B](d: D, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
  24. def imapEncodedIdentityDecoding(v: CodecValue[E, D, T]): Boolean
  25. def imapEncodedIdentityEncoding(d: D): Boolean
  26. def imapIdentityDecoding(d: D): Boolean
  27. def imapIdentityEncoding(v: CodecValue[E, D, T]): Boolean
  28. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  29. def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
    Definition Classes
    DecoderLaws
  30. def leftMapCompositionEncoding[A, B](d: D, f: (F) => A, g: (A) => B): Boolean
  31. def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  32. def leftMapIdentityEncoding[A](d: D): Boolean
  33. def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
    Definition Classes
    DecoderLaws
  34. def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
    Definition Classes
    EncoderLaws
  35. def mapEncodedIdentity(d: D): Boolean
    Definition Classes
    EncoderLaws
  36. def mapIdentity(v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  37. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  38. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  39. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @native()
  40. def roundTripDecoding(v: LegalValue[E, D, T]): Boolean
  41. def roundTripEncoding(d: D): Boolean
  42. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  46. 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 EncoderLaws[E, D, T]

Inherited from DecoderLaws[E, D, F, T]

Inherited from AnyRef

Inherited from Any

Ungrouped