Module

Identy.Populater

#ObjectPopulatable

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

Members

Instances

#ObjectUnion

class ObjectUnion from to  where

Members

Instances

#populate

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.

Modules