Packages

object ContextTranslator

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

Type Members

  1. case class Empty[I, O, X[_], Ctx[_, _]]() extends ContextTranslator[I, O, X, Ctx] with Product with Serializable

    empty translator, matching nothing; only information is the type parameters, so may be good starting point.

  2. case class Junction[I, O, X[_], Ctx[_, _], Y[_], Z[_]](split: (Ctx[I, O]) => (X[I]) => Option[Y[I]], build: (Ctx[I, O]) => (Y[O]) => Option[X[O]])(implicit evidence$19: Traverse[Z], incl: Inclusion[Y, [A]Z[X[A]]], rest: OptRestriction[Y, [A]Z[X[A]]]) extends ContextTranslator[I, O, X, Ctx] with Product with Serializable

    A junction given by splitting optionally to a given shape, and building from the same shape.

    A junction given by splitting optionally to a given shape, and building from the same shape.

    The shape is functorial, typically made of tuples and lists, and Option gives a natural transformation. These allow applying the recursive translator on the components.

  3. case class OrElse[I, O, X[_], Ctx[_, _]](first: ContextTranslator[I, O, X, Ctx], second: ContextTranslator[I, O, X, Ctx]) extends ContextTranslator[I, O, X, Ctx] with Product with Serializable

    Tries the first translator at top level, then the second.

    Tries the first translator at top level, then the second. Is recursive.