Module

Shoronpo

Package: purescript-shoronpo
Repository: justinwoo/purescript-shoronpo

#formatSymbol Source

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

#FormatSymbolParsed Source

class FormatSymbolParsed (flist :: FList) (row :: 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 Source

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

#intercalateRecordLabels Source

intercalateRecordLabels :: forall out x row. IntercalateRowLabels row x out => Proxy (Record row) -> SProxy x -> SProxy out

#IntercalateRowLabels Source

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

Instances

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

#IntercalateRowLabelsImpl Source

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 Source

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

#intercalateRecordValues Source

intercalateRecordValues :: forall out x row. IntercalateRowValues row x out => Proxy (Record row) -> SProxy x -> SProxy out

#IntercalateRowValues Source

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

Instances

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

#IntercalateRowValuesImpl Source

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

Modules: Shoronpo