SumCaseGeneration

trait SumCaseGeneration[Pipe[_, _], In, Out]

Companion:: object

class Object

trait Matchable

class Any

trait Generators[Pipe, In, Out]

trait PlatformSumCaseGeneration[Pipe, In, Out]

Definitions[Pipe, In, Out] & Generators[Pipe, In, Out]

Type members

Classlikes

Stores information from what pieces Out is made

Companion:: object

Companion:: class

Final platform-independent result of matching inputs with outputs using resolved strategies

Companion:: object

Companion:: class

Companion:: class

Translation strategy for a particular input subtype

Companion:: object

Types

Value members

Abstract methods

Check is A =:= B in a platform-independent code

Platform-specific way of parsing In data

Should:

obtain a lift of subtypes OR enumeration values
form it into EnumData[In]

Platform-specific way of parsing Out data

Should:

obtain a lift of subtypes OR enumeration values
form it into EnumData[In]

Platform-specific way of generating code from resolved information

For subtype input should generate code like:

pipeDerivation.lift { (in: In, ctx: pipeDerivation.Context) =>
 in match {
   case inSubtype: In.Foo => pipeDerivation.unlift(fooPipe, inSubtype, updateContext(ctx, path))
   case inSubtype: In.Bar => pipeDerivation.unlift(barPipe, inSubtype, updateContext(ctx, path))
 }
}

True iff A is sealed

Concrete methods

Whether both In and Out are ADTs/Java Enums