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))

#add Source

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

Adds a common prefix to a Record's labels.

#UnPrefixProps Source

data UnPrefixProps sym

Instances

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

#remove Source

remove :: forall pre rout rin. HFoldlWithIndex (UnPrefixProps pre) (Builder (Record ()) (Record ())) (Record rin) (Builder (Record ()) (Record rout)) => SProxy pre -> Record rin -> Record rout

Removes a common prefix from a Record's labels.

Modules: Record.Prefix