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

AlignFilter

org.hungerford.generic.schema.utilities.AlignFilter$
See theAlignFilter companion trait
object AlignFilter

Attributes

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

Members list

Concise view

Type members

Types

type Aux[D <: Dir, RV1, R1, Outer1, RV2, R2, Outer2, RVO, RO] = AlignFilter[D, RV1, R1, Outer1, RV2, R2, Outer2] { type ROut = RO; type RVOut = RVO; }

Givens

Givens

given nameTypeAlign[D <: Dir, RV1 <: Tuple, R1 <: Tuple, ZI1 <: Tuple, Outer1, RV2 <: Tuple, R2 <: Tuple, Z2 <: Tuple, Outer2, Mone <: Tuple, ZI1one <: Tuple, Mtwo <: Tuple, ZI1two <: Tuple, Mthree <: Tuple, ZI1three <: Tuple, Mfour <: Tuple, ZI1four <: Tuple, RVO <: Tuple, RO <: Tuple](using zi1: Aux[_0, RV1, R1, ZI1], z2: Aux[RV2, R2, Z2], one: Aux[D, NameTypeEquiv, ZI1, Outer1, Z2, Outer2, Nothing, Mone, ZI1one], two: Aux[D, NameEquivCanMigrate, ZI1one, Outer1, Z2, Outer2, Mone, Mtwo, ZI1two], three: Aux[D, TypeEquiv, ZI1two, Outer1, Z2, Outer2, Mtwo, Mthree, ZI1three], four: Aux[D, CanMigrate, ZI1three, Outer1, Z2, Outer2, Mthree, Mfour, ZI1four], afm: Aux[Mfour, RV1, R1, RVO, RO]): nameTypeAlign[D, RV1, R1, ZI1, Outer1, RV2, R2, Z2, Outer2, Mone, ZI1one, Mtwo, ZI1two, Mthree, ZI1three, Mfour, ZI1four, RVO, RO]
Generated with