Record.ExtraSrghma.ZipRecord

class ZipRecord (rla :: RowList Type) (ra :: Row Type) (rlb :: RowList Type) (rb :: Row Type) (from :: Row Type) (to :: Row Type) | rla -> ra from to, rlb -> rb from to where

Members

• zipRecordImpl :: Proxy rla -> Record ra -> Proxy rlb -> Record rb -> Builder (Record from) (Record to)

Instances

• ZipRecord Nil trashA Nil trashB () ()
• (IsSymbol k, Cons k a trashA ra, Cons k b trashB rb, Cons k (Tuple a b) from' to, Lacks k from', ZipRecord ta ra tb rb from from') => ZipRecord (Cons k a ta) ra (Cons k b tb) rb from to

zipRecord :: forall ta ra tb rb rc. RowToList ra ta => RowToList rb tb => ZipRecord ta ra tb rb () rc => Record ra -> Record rb -> Record rc