Module

Record.Prefix

Package: purescript-record-prefix
Repository: dariooddenino/purescript-record-prefix

#PrefixProps Source

data PrefixProps sym

Instances

(IsSymbol newsym, Append presym sym newsym, Lacks newsym rb, Cons newsym a rb rc) => FoldingWithIndex (PrefixProps presym) (SProxy sym) (Builder (Record ra) (Record rb)) a (Builder (Record ra) (Record rc))

#addPrefix Source

addPrefix :: forall pre rout rin. HFoldlWithIndex (PrefixProps pre) (Builder (Record ()) (Record ())) (Record rin) (Builder (Record ()) (Record rout)) => SProxy pre -> Record rin -> Record rout

Modules: Record.Prefix