Packages

package laws

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. laws
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Package Members

  1. package discipline

Type Members

  1. trait CodecLaws[E, D, F, T] extends DecoderLaws[E, D, F, T] with EncoderLaws[E, D, T]
  2. sealed abstract class CodecValue[E, D, T] extends Product with Serializable
  3. trait DecoderLaws[E, D, F, T] extends AnyRef
  4. trait EncoderLaws[E, D, T] extends AnyRef
  5. type IllegalString[A] = IllegalValue[String, A, strings.codecs.type]
  6. type LegalString[A] = LegalValue[String, A, strings.codecs.type]
  7. trait OptionalLaws[A] extends AnyRef
  8. trait SerializableLaws[A] extends AnyRef

    Laws for serializable type class instances.

  9. type StringCodecLaws[A] = CodecLaws[String, A, DecodeError, strings.codecs.type]
  10. type StringDecoderLaws[A] = DecoderLaws[String, A, DecodeError, strings.codecs.type]
  11. type StringEncoderLaws[A] = EncoderLaws[String, A, strings.codecs.type]
  12. type StringValue[A] = CodecValue[String, A, strings.codecs.type]

Value Members

  1. object CodecLaws
  2. object CodecValue extends Serializable
  3. object DecoderLaws
  4. object EncoderLaws
  5. object OptionalLaws
  6. object SerializableLaws

Inherited from AnyRef

Inherited from Any

Ungrouped