pipez/pipez.internal/SumCaseGeneration/InSubtypeLogic

InSubtypeLogic

object InSubtypeLogic
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case class DefaultSubtype[InSubtype <: In]() extends InSubtypeLogic[InSubtype]
final case class PipeProvided[InSubtype <: In, OutSubtype <: Out](outSubtype: Type[OutSubtype], pipe: Expr[Pipe[InSubtype, OutSubtype]]) extends InSubtypeLogic[InSubtype]
final case class SubtypeRemoved[InSubtype <: In](pipe: Expr[Pipe[InSubtype, Out]]) extends InSubtypeLogic[InSubtype]
final case class SubtypeRenamed[InSubtype <: In, OutSubtype <: Out](outSubtype: Type[OutSubtype]) extends InSubtypeLogic[InSubtype]

Types

type OutSubtype <: Out

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def resolve[InSubtype <: In : Type](settings: Settings): InSubtypeLogic[InSubtype]
def resolveSubtype[InSubtype <: In : Type](settings: Settings, outData: EnumData[Out], inSubtypeName: String): DerivationResult[InputSubtype]