Record.Prefix

data PrefixProps :: Symbol -> Typedata 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 :: forall rin rout pre. 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.

data UnPrefixProps :: Symbol -> Typedata 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 :: forall rin rout pre. 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.