Module
Identy.Populater
- Package
- purescript-identy
- Repository
- oreshinya/purescript-identy
#ObjectPopulatable Source
class ObjectPopulatable (rl :: RowList) (from :: Row Type) (to :: Row Type) | rl -> from where
Members
populateObjects :: RLProxy rl -> Record from -> Record to -> Record to
Instances
ObjectPopulatable Nil () to
(IsSymbol sym, Cons sym (Object a) fromtail from, Cons sym (Object a) totail to, ObjectPopulatable rlfromtail fromtail to) => ObjectPopulatable (Cons sym (Object a) rlfromtail) from to
#populate Source
populate :: forall to from r2' r1' r2 r1 rl2 rl1. RowToList r1 rl1 => RowToList r2 rl2 => ObjectPopulatable rl1 r1 r1' => ObjectPopulatable rl2 r2 r2' => { associations :: Record r2, entities :: Record r1 | from } -> { associations :: Record r2', entities :: Record r1' | to } -> { associations :: Record r2', entities :: Record r1' | to }
Merge identy-style records.