info.hupel.isabelle

Codec

object Codec

Combinators for codecs.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Codec
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. abstract class Variant[A] extends Codec[A]

    Template for a codec for a sum type A.

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. def apply[A](implicit A: Codec[A]): Codec[A]

    Obtain an instance of a codec from the implicit scope.

    Obtain an instance of a codec from the implicit scope.

    Example usage

    Codec[Int].encode(env)(3)
  7. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  8. implicit def boolean: Codec[Boolean]

  9. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  10. implicit def either[A, B](implicit arg0: Codec[A], arg1: Codec[B]): Codec[Either[A, B]]

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

    Definition Classes
    AnyRef
  12. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  13. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  14. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  15. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  16. implicit def integer: Codec[BigInt]

  17. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  18. implicit def list[A](implicit arg0: Codec[A]): Codec[List[A]]

  19. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  22. implicit def option[A](implicit arg0: Codec[A]): Codec[Option[A]]

  23. implicit def string: Codec[String]

  24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  25. def toString(): String

    Definition Classes
    AnyRef → Any
  26. implicit def tree: Codec[Tree]

  27. implicit def triple[A, B, C](implicit arg0: Codec[A], arg1: Codec[B], arg2: Codec[C]): Codec[(A, B, C)]

  28. implicit def tuple[A, B](implicit arg0: Codec[A], arg1: Codec[B]): Codec[(A, B)]

  29. implicit def unit: Codec[Unit]

  30. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  32. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped