org.hungerford.generic.schema.utilities.MapAlign$
See theMapAlign companion trait
Attributes
Members list
Concise view
Type members
Givens
Givens
given next[D <: Dir, P <: Pred, ZI1 <: Tuple, O1, HZ2V, HZ2S, TZ2 <: Tuple, O2, FoundI <: Nat | Nothing, UpdatedZI1 <: Tuple, NextMO <: Tuple, NextZI1 <: Tuple](using find: Aux[D, P, HZ2V, HZ2S, O1, ZI1, O2, FoundI, UpdatedZI1], nextMa: Aux[D, P, UpdatedZI1, O1, TZ2, O2, Nothing, NextMO, NextZI1]): next[D, P, ZI1, O1, HZ2V, HZ2S, TZ2, O2, FoundI, UpdatedZI1, NextMO, NextZI1]
given nextMI[D <: Dir, P <: Pred, ZI1 <: Tuple, O1, HZ2V, HZ2S, TZ2 <: Tuple, O2, HMI <: Nat | Nothing, TMI <: Tuple, FoundI <: Nat | Nothing, UpdatedZI1 <: Tuple, NextMO <: Tuple, NextZI1 <: Tuple](using find: Aux[D, P, HZ2V, HZ2S, O1, ZI1, O2, FoundI, UpdatedZI1], nextMa: Aux[D, P, UpdatedZI1, O1, TZ2, O2, TMI, NextMO, NextZI1]): nextMI[D, P, ZI1, O1, HZ2V, HZ2S, TZ2, O2, HMI, TMI, FoundI, UpdatedZI1, NextMO, NextZI1]
Inherited 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]
Attributes
- Inherited from:
- MapAligns1
given noZI1MITup[D <: Dir, P <: Pred, O1, Z2 <: Tuple, O2, MI <: Tuple]: noZI1MITup[D, P, O1, Z2, O2, MI]
Attributes
- Inherited from:
- MapAligns1
Attributes
- Inherited from:
- MapAligns1