Identy.Populater

class ObjectPopulatable (rl :: RowList Type) (from :: Row Type) (to :: Row Type) | rl -> from where

Members

• populateObjects :: Proxy rl -> Record from -> Record to -> Record to

Instances

• ObjectPopulatable Nil () to
• (IsSymbol sym, Cons sym fromom fromtail from, Cons sym toom totail to, ObjectUnion fromom toom, ObjectPopulatable rlfromtail fromtail to) => ObjectPopulatable (Cons sym fromom rlfromtail) from to

class ObjectUnion from to  where

Members

• unionObject :: from -> to -> to

Instances

• ObjectUnion (ObjectMap k v) (ObjectMap k v)
• (ObjectUnion from to) => ObjectUnion (Maybe from) to

populate :: forall rl1 rl2 r1 r2 r1' r2' from to. 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.