Packages

trait DecoderLaws[E, D, F, T] extends AnyRef

Source
DecoderLaws.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
CodecLaws
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. DecoderLaws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

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

Concrete Value Members

  1. def contramapEncodedComposition[A, B](b: B, f: (A) => E, g: (B) => A): Boolean
  2. def contramapEncodedIdentity(v: CodecValue[E, D, T]): Boolean
  3. def decode(v: CodecValue[E, D, T]): Boolean
  4. def decodeFailure(v: IllegalValue[E, D, T]): Boolean
  5. def emapComposition[A, B](v: CodecValue[E, D, T], f: (D) => Either[F, A], g: (A) => Either[F, B]): Boolean
  6. def emapIdentity(v: CodecValue[E, D, T]): Boolean
  7. def leftMapComposition[A, B](v: CodecValue[E, D, T], f: (F) => A, g: (A) => B): Boolean
  8. def leftMapIdentity[A](v: CodecValue[E, D, T]): Boolean
  9. def mapComposition[A, B](v: CodecValue[E, D, T], f: (D) => A, g: (A) => B): Boolean
  10. def mapIdentity(v: CodecValue[E, D, T]): Boolean