Packages

trait EncoderLaws[E, D, T] extends AnyRef

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

Abstract Value Members

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

Concrete Value Members

  1. def contramapComposition[A, B](b: B, f: (A) => D, g: (B) => A): Boolean
  2. def contramapIdentity(d: D): Boolean
  3. def encode(v: LegalValue[E, D, T]): Boolean
  4. def mapEncodedComposition[A, B](d: D, f: (E) => A, g: (A) => B): Boolean
  5. def mapEncodedIdentity(d: D): Boolean