Shoronpo

formatSymbol :: forall string flist row out proxyOrRec. Parse string flist => FormatSymbolParsed flist row "" out => SProxy string -> proxyOrRec row -> SProxy out

class FormatSymbolParsed (flist :: FList) (row :: # Type) (acc :: Symbol) (out :: Symbol) | flist -> row acc out

Instances

• FormatSymbolParsed FNil row out out
• (Append acc sym acc', Cons var (SProxy sym) row' row, FormatSymbolParsed tail row acc' out) => FormatSymbolParsed (FCons (Var var) tail) row acc out
• (Append acc lit acc', FormatSymbolParsed tail row acc' out) => FormatSymbolParsed (FCons (Lit lit) tail) row acc out

intercalateRowLabels :: forall row x out proxyOrRecord. IntercalateRowLabels row x out => proxyOrRecord row -> SProxy x -> SProxy out

intercalateRecordLabels :: forall row x out. IntercalateRowLabels row x out => Proxy {  | row } -> SProxy x -> SProxy out

class IntercalateRowLabels (row :: # Type) (x :: Symbol) (out :: Symbol) 

Instances

• (RowToList row rl, IntercalateRowLabelsImpl rl x "" out) => IntercalateRowLabels row x out

class IntercalateRowLabelsImpl (rl :: RowList) (x :: Symbol) (acc :: Symbol) (out :: Symbol) | rl -> x out

Instances

• IntercalateRowLabelsImpl Nil x out out
• (Append acc name acc') => IntercalateRowLabelsImpl (Cons name ty Nil) x acc acc'
• (Append name x s, Append acc s acc', IntercalateRowLabelsImpl tail x acc' out) => IntercalateRowLabelsImpl (Cons name ty tail) x acc out

intercalateRowValues :: forall row x out proxyOrRecord. IntercalateRowValues row x out => proxyOrRecord row -> SProxy x -> SProxy out

intercalateRecordValues :: forall row x out. IntercalateRowValues row x out => Proxy {  | row } -> SProxy x -> SProxy out

class IntercalateRowValues (row :: # Type) (x :: Symbol) (out :: Symbol) 

Instances

• (RowToList row rl, IntercalateRowValuesImpl rl x "" out) => IntercalateRowValues row x out

class IntercalateRowValuesImpl (rl :: RowList) (x :: Symbol) (acc :: Symbol) (out :: Symbol) | rl -> x out

Instances

• IntercalateRowValuesImpl Nil x out out
• (Append acc value acc') => IntercalateRowValuesImpl (Cons name (SProxy value) Nil) x acc acc'
• (Append value x s, Append acc s acc', IntercalateRowValuesImpl tail x acc' out) => IntercalateRowValuesImpl (Cons name (SProxy value) tail) x acc out