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

MapAligns1

org.hungerford.generic.schema.utilities.MapAligns1
trait MapAligns1

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object MapAlign.type

Members list

Concise view

Givens

Givens

given noZI1MINothing[D <: Dir, P <: Pred, O1, HZ2, TZ2 <: Tuple, O2, NextMO <: Tuple](using next: Aux[D, P, EmptyTuple, O1, TZ2, O2, Nothing, NextMO, EmptyTuple]): noZI1MINothing[D, P, O1, HZ2, TZ2, O2, NextMO]
given noZI1MITup[D <: Dir, P <: Pred, O1, Z2 <: Tuple, O2, MI <: Tuple]: noZI1MITup[D, P, O1, Z2, O2, MI]
given skip[D <: Dir, P <: Pred, ZI1 <: Tuple, O1, HZ2, TZ2 <: Tuple, O2, HMI <: Nat, TMI <: Tuple, FoundI <: Nat | Nothing, NextMO <: Tuple, NextZI1 <: Tuple](using nextMa: Aux[D, P, ZI1, O1, TZ2, O2, TMI, NextMO, NextZI1]): skip[D, P, ZI1, O1, HZ2, TZ2, O2, HMI, TMI, FoundI, NextMO, NextZI1]
Generated with