trait CodecLaws[E, D, F, T] extends DecoderLaws[E, D, F, T] with EncoderLaws[E, D, T]
Abstract Value Members
- abstract def decoder: Decoder[E, D, F, T]
- abstract def encoder: Encoder[E, D, T]
Concrete Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- implicit lazy val codec: Codec[E, D, F, T]
- def contramapComposition[A, B](b: B, f: (A) => D, g: (B) => A): Boolean
- def contramapEncodedComposition[A, B](b: B, f: (A) => E, g: (B) => A): Boolean
- def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean
- def contramapIdentity(d: D): Boolean
- def decode(v: CodecValue[E, D, T]): Boolean
- def decodeFailure(v: IllegalValue[E, D, T]): Boolean
- def emapComposition[A, B](v: CodecValue[E, D, T], f: (D) => Either[F, A], g: (A) => Either[F, B]): Boolean
- def emapIdentity(v: CodecValue[E, D, T]): Boolean
- def encode(v: LegalValue[E, D, T]): Boolean
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- def imapCompositionDecoding[A, B](v: CodecValue[E, D, T], f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
- def imapCompositionEncoding[A, B](b: B, f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedCompositionDecoding[A, B](b: B, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedCompositionEncoding[A, B](d: D, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedIdentityDecoding(v: CodecValue[E, D, T]): Boolean
- def imapEncodedIdentityEncoding(d: D): Boolean
- def imapIdentityDecoding(d: D): Boolean
- def imapIdentityEncoding(v: CodecValue[E, D, T]): Boolean
- final def isInstanceOf[T0]: Boolean
- def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
- def leftMapCompositionEncoding[A, B](d: D, f: (F) => A, g: (A) => B): Boolean
- def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
- def leftMapIdentityEncoding[A](d: D): Boolean
- def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
- def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
- def mapEncodedIdentity(d: D): Boolean
- def mapIdentity(v: CodecValue[E, D, T]): Boolean
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- def roundTripDecoding(v: LegalValue[E, D, T]): Boolean
- def roundTripEncoding(d: D): Boolean
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
Deprecated Value Members
- def finalize(): Unit
Inherited from EncoderLaws[E, D, T]
Value Members
- abstract def encoder: Encoder[E, D, T]
- def contramapComposition[A, B](b: B, f: (A) => D, g: (B) => A): Boolean
- def contramapIdentity(d: D): Boolean
- def encode(v: LegalValue[E, D, T]): Boolean
- def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
- def mapEncodedIdentity(d: D): Boolean
Inherited from DecoderLaws[E, D, F, T]
Value Members
- abstract def decoder: Decoder[E, D, F, T]
- def contramapEncodedComposition[A, B](b: B, f: (A) => E, g: (B) => A): Boolean
- def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean
- def decode(v: CodecValue[E, D, T]): Boolean
- def decodeFailure(v: IllegalValue[E, D, T]): Boolean
- def emapComposition[A, B](v: CodecValue[E, D, T], f: (D) => Either[F, A], g: (A) => Either[F, B]): Boolean
- def emapIdentity(v: CodecValue[E, D, T]): Boolean
- def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
- def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
- def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
- def mapIdentity(v: CodecValue[E, D, T]): Boolean
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Ungrouped
- abstract def decoder: Decoder[E, D, F, T]
- abstract def encoder: Encoder[E, D, T]
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- final def asInstanceOf[T0]: T0
- def clone(): AnyRef
- implicit lazy val codec: Codec[E, D, F, T]
- def contramapComposition[A, B](b: B, f: (A) => D, g: (B) => A): Boolean
- def contramapEncodedComposition[A, B](b: B, f: (A) => E, g: (B) => A): Boolean
- def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean
- def contramapIdentity(d: D): Boolean
- def decode(v: CodecValue[E, D, T]): Boolean
- def decodeFailure(v: IllegalValue[E, D, T]): Boolean
- def emapComposition[A, B](v: CodecValue[E, D, T], f: (D) => Either[F, A], g: (A) => Either[F, B]): Boolean
- def emapIdentity(v: CodecValue[E, D, T]): Boolean
- def encode(v: LegalValue[E, D, T]): Boolean
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- def imapCompositionDecoding[A, B](v: CodecValue[E, D, T], f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
- def imapCompositionEncoding[A, B](b: B, f1: (D) => A, f2: (A) => D, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedCompositionDecoding[A, B](b: B, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedCompositionEncoding[A, B](d: D, f1: (E) => A, f2: (A) => E, g1: (A) => B, g2: (B) => A): Boolean
- def imapEncodedIdentityDecoding(v: CodecValue[E, D, T]): Boolean
- def imapEncodedIdentityEncoding(d: D): Boolean
- def imapIdentityDecoding(d: D): Boolean
- def imapIdentityEncoding(v: CodecValue[E, D, T]): Boolean
- final def isInstanceOf[T0]: Boolean
- def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
- def leftMapCompositionEncoding[A, B](d: D, f: (F) => A, g: (A) => B): Boolean
- def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
- def leftMapIdentityEncoding[A](d: D): Boolean
- def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
- def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
- def mapEncodedIdentity(d: D): Boolean
- def mapIdentity(v: CodecValue[E, D, T]): Boolean
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- def roundTripDecoding(v: LegalValue[E, D, T]): Boolean
- def roundTripEncoding(d: D): Boolean
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit