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

Instances

#ObjectUnion Source

class ObjectUnion from to  where

Members

Instances

#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.