prefix.purs

data PrefixProps sym = PrefixProps (SProxy sym)

instance prefixProps ::
  ( IsSymbol newsym
  , Append presym sym newsym
  , Row.Lacks newsym rb
  , Row.Cons newsym a rb rc
  ) =>
  FoldingWithIndex
    (PrefixProps presym)
    (SProxy sym)
    (Builder { | ra } { | rb })
    a
    (Builder { | ra } { | rc })
  where
  foldingWithIndex (PrefixProps _) _ rin a =
    (_ >>> Builder.insert (SProxy :: SProxy newsym) a) rin

prefixRecord ::
  forall rin rout pre.
  HFoldlWithIndex (PrefixProps pre) (Builder {} {}) { | rin } (Builder {} { | rout }) =>
  SProxy pre ->
  { | rin } ->
  { | rout }
prefixRecord pre = flip Builder.build {} <<< hfoldlWithIndex (PrefixProps pre) identity