Mochi

class ConstructRecord ty fn | ty -> fn where

Members

• constructRecord :: forall proxy. proxy ty -> fn

Instances

• (RowToList row rl, ConstructRL rl row fn) => ConstructRecord (Record row) fn

data Placeholder

class ConstructRL (rl :: RowList) (row :: Row Type) fn | rl -> row fn where

Members

• unsafeConstruct :: forall proxy. proxy rl -> Object Placeholder -> fn

Instances

• ConstructRL Nil row (Record row)
• (IsSymbol name, Cons name a row' row, ConstructRL tail row fn) => ConstructRL (Cons name a tail) row (a -> fn)