Record.ExtraSrghma.ZipRecord

class ZipRecord :: RowList Type -> RowList Type -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass ZipRecord (rowListL :: RowList Type) (rowListR :: RowList Type) (rowL :: Row Type) (rowR :: Row Type) (resultRowAcc :: Row Type) (resultRow :: Row Type) | rowListL -> rowL resultRowAcc resultRow, rowListR -> rowR resultRowAcc resultRow where

Zips two records (with matching keys) into a single record of Tuple values.

Members

• zipRecordImpl :: Record rowL -> Record rowR -> Builder (Record resultRowAcc) (Record resultRow)

Instances

• ZipRecord Nil Nil rowL rowR () ()
• (IsSymbol key, Cons key a restRowL rowL, Cons key b restRowR rowR, Cons key (Tuple a b) resultTail resultRow, Lacks key resultTail, ZipRecord tailL tailR rowL rowR resultRowAcc resultTail) => ZipRecord (Cons key a tailL) (Cons key b tailR) rowL rowR resultRowAcc resultRow

zipRecord :: forall rowListL rowL rowListR rowR zippedRow. RowToList rowL rowListL => RowToList rowR rowListR => ZipRecord rowListL rowListR rowL rowR () zippedRow => Record rowL -> Record rowR -> Record zippedRow