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]) @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. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  19. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  20. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  21. def imapCompositionDecoding[A, B](v: CodecValue[E, D, T], f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
  22. def imapCompositionEncoding[A, B](b: B, f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
  23. def imapEncodedCompositionDecoding[A, B](b: B, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
  24. def imapEncodedCompositionEncoding[A, B](d: D, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
  25. def imapEncodedIdentityDecoding(v: CodecValue[E, D, T]): Boolean
  26. def imapEncodedIdentityEncoding(d: D): Boolean
  27. def imapIdentityDecoding(d: D): Boolean
  28. def imapIdentityEncoding(v: CodecValue[E, D, T]): Boolean
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
    Definition Classes
    DecoderLaws
  31. def leftMapCompositionEncoding[A, B](d: D, f: (F) => A, g: (A) => B): Boolean
  32. def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  33. def leftMapIdentityEncoding[A](d: D): Boolean
  34. def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
    Definition Classes
    DecoderLaws
  35. def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
    Definition Classes
    EncoderLaws
  36. def mapEncodedIdentity(d: D): Boolean
    Definition Classes
    EncoderLaws
  37. def mapIdentity(v: CodecValue[E, D, T]): Boolean
    Definition Classes
    DecoderLaws
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. def roundTripDecoding(v: LegalValue[E, D, T]): Boolean
  42. def roundTripEncoding(d: D): Boolean
  43. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  44. def toString(): String
    Definition Classes
    AnyRef → Any
  45. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  46. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  47. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from EncoderLaws[E, D, T]

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

Inherited from AnyRef

Inherited from Any

Ungrouped