Trait/Object

kantan.codecs.laws

CodecLaws

Related Docs: object CodecLaws | package laws

Permalink

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

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. All

Abstract Value Members

  1. abstract def decoder: Decoder[E, D, F, T]

    Permalink
    Definition Classes
    DecoderLaws

  2. abstract def encoder: Encoder[E, D, T]

    Permalink
    Definition Classes
    EncoderLaws

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  6. implicit lazy val codec: Codec[E, D, F, Nothing]

    Permalink

  7. def contramapComposition[A, B](b: B, f: (A) ⇒ D, g: (B) ⇒ A): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  8. def contramapEncodedComposition[A, B](b: B, f: (A) ⇒ E, g: (B) ⇒ A): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  9. def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  10. def contramapIdentity(d: D): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  11. def decode(v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  12. def decodeFailure(v: IllegalValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  13. def encode(v: LegalValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  14. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  17. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  19. def imapCompositionDecoding[A, B](v: CodecValue[E, D, T], f1: (D) ⇒ A, f2: (A) ⇒ D, g1: (A) ⇒ B, g2: (B) ⇒ A): Boolean

    Permalink

  20. def imapCompositionEncoding[A, B](b: B, f1: (D) ⇒ A, f2: (A) ⇒ D, g1: (A) ⇒ B, g2: (B) ⇒ A): Boolean

    Permalink

  21. def imapEncodedCompositionDecoding[A, B](b: B, f1: (E) ⇒ A, f2: (A) ⇒ E, g1: (A) ⇒ B, g2: (B) ⇒ A): Boolean

    Permalink

  22. def imapEncodedCompositionEncoding[A, B](d: D, f1: (E) ⇒ A, f2: (A) ⇒ E, g1: (A) ⇒ B, g2: (B) ⇒ A): Boolean

    Permalink

  23. def imapEncodedIdentityDecoding(v: CodecValue[E, D, T]): Boolean

    Permalink

  24. def imapEncodedIdentityEncoding(d: D): Boolean

    Permalink

  25. def imapIdentityDecoding(d: D): Boolean

    Permalink

  26. def imapIdentityEncoding(v: CodecValue[E, D, T]): Boolean

    Permalink

  27. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  28. def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) ⇒ A, g: (A) ⇒ B): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  29. def mapEncodedComposition[A, B](d: D, f: (E) ⇒ A, g: (A) ⇒ B): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  30. def mapEncodedIdentity(d: D): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  31. def mapErrorComposition[A, B](v: CodecValue[E, D, T], f: (F) ⇒ A, g: (A) ⇒ B): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  32. def mapErrorCompositionEncoding[A, B](d: D, f: (F) ⇒ A, g: (A) ⇒ B): Boolean

    Permalink

  33. def mapErrorIdentity[A](v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  34. def mapErrorIdentityEncoding[A](d: D): Boolean

    Permalink

  35. def mapIdentity(v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  36. def mapResultComposition[A, B](v: CodecValue[E, D, T], f: (D) ⇒ Result[F, A], g: (A) ⇒ Result[F, B]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  37. def mapResultIdentity(v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  38. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  39. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  40. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  41. def roundTripDecoding(e: E): Boolean

    Permalink

  42. def roundTripEncoding(d: D): Boolean

    Permalink

  43. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  44. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  45. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  46. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  47. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from EncoderLaws[E, D, T]

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

Inherited from AnyRef

Inherited from Any

Ungrouped