Module

Record.ExtraSrghma.ZipRecord

#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

Instances

#zipRecord

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

Modules