Type Members

1.  case class Builder[O, X[_]](build: (X[O]) => Option[O])(implicit evidence$4: Traverse[X]) extends Product with Serializable

   The building part of a junction, pattern matching and splitting to a given shape.

   The building part of a junction, pattern matching and splitting to a given shape. Crucially, the shape X[_] is determined, so junctions can be built from this, after possibly mapping.

2.  case class Empty[I, O]() extends Translator[I, O] with Product with Serializable

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

3.  case class Junction[I, O, X[_]](split: (I) => Option[X[I]], build: (X[O]) => Option[O])(implicit evidence$1: Traverse[X]) extends Translator[I, O] 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.

4.  case class Mapped[I, O, X](trans: Translator[I, O], fn: (O) => X, ufn: (X) => O) extends Translator[I, X] with Product with Serializable

   mapped translator

5.  case class MixedJunction[I, O, X[_]](split: (I) => Option[X[I]], build: (X[I], X[O]) => Option[O])(implicit evidence$2: Traverse[X]) extends Translator[I, O] with Product with Serializable

   A mixed junction given by splitting optionally to a given shape, and building from the same shape using both the input and its traslation.

   A mixed junction given by splitting optionally to a given shape, and building from the same shape using both the input and its traslation.

   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.

6.  case class OrElse[I, O](first: Translator[I, O], second: Translator[I, O]) extends Translator[I, O] 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.

7.  class Pattern[I, X[_]] extends AnyRef

   The splitting part of a junction, pattern matching and splitting to a given shape.

   The splitting part of a junction, pattern matching and splitting to a given shape. Crucially, the shape X[_] is determined, so junctions can be built from this, after possibly mapping.

8.  case class PolyJunction[I, O, X[_]](polySplit: (I) => Option[Vector[X[I]]], build: (X[O]) => Option[O])(implicit evidence$3: Traverse[X]) extends Translator[I, O] with Product with Serializable

   like a Junction but tries several cases.

9.  case class Simple[I, O](translate: (I) => Option[O]) extends Translator[I, O] with Product with Serializable

   non-recursive translation determined by a given optional function

10.  case class VarWord[X[_], S](word: X[S])(implicit evidence$16: Traverse[X]) extends Product with Serializable

    A word fixing the shape of patterns to which we match.

    A word fixing the shape of patterns to which we match. Should work fine for tuples, but problematic with Lists returned.