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, T]

    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 emapComposition[A, B](v: CodecValue[E, D, T], f: (D) ⇒ Either[F, A], g: (A) ⇒ Either[F, B]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  14. def emapIdentity(v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

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

    Permalink
    Definition Classes
    EncoderLaws

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

    Permalink
    Definition Classes
    AnyRef

  17. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  18. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  20. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  26. def imapEncodedIdentityEncoding(d: D): Boolean

    Permalink

  27. def imapIdentityDecoding(d: D): Boolean

    Permalink

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

    Permalink

  29. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    DecoderLaws

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

    Permalink

  32. def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean

    Permalink
    Definition Classes
    DecoderLaws

  33. def leftMapIdentityEncoding[A](d: D): Boolean

    Permalink

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

    Permalink
    Definition Classes
    DecoderLaws

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

    Permalink
    Definition Classes
    EncoderLaws

  36. def mapEncodedIdentity(d: D): Boolean

    Permalink
    Definition Classes
    EncoderLaws

  37. def mapIdentity(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(v: LegalValue[E, D, T]): 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