core
API
Generated with
core/org.hungerford.generic.schema.utilities/CoproductShapeMigration

CoproductShapeMigration

org.hungerford.generic.schema.utilities.CoproductShapeMigration$
See theCoproductShapeMigration companion trait
object CoproductShapeMigration

Attributes

Companion:
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Types

type Aux[A, AS <: Tuple, OA, B, BS <: Tuple, OB] = CoproductShapeMigration[A, OA, B, OB] { type AShape = AS; type BShape = BS; }

Givens

Givens

given coproductNonEmptySubtypesTupleIso[A, OA, AST, AC <: SubOf[A, AST], ATail <: Tuple, B, OB, BST, BC <: SubOf[B, BST], BTail <: Tuple](using stIso: Aux[AST, AC, OA, BST, BC, OB], tailIso: => Aux[A, ATail, OA, B, BTail, OB]): coproductNonEmptySubtypesTupleIso[A, OA, AST, AC, ATail, B, OB, BST, BC, BTail]
given emptyCoproductIso[A, OA, B, OB]: emptyCoproductIso[A, OA, B, OB]
Generated with