Data.Record.ShowRecord

class ShowRowList (list :: RowList) (row :: Row Type) | list -> row where

Members

• showRowList :: RLProxy list -> Record row -> List String

Instances

• ShowRowList Nil ()
• (RowToList subrow sublist, ShowRowList sublist subrow, ShowRowList listRest rowRest, RowCons key (Record subrow) rowRest rowFull, RowLacks key rowRest, RowToList rowFull (Cons key (Record subrow) listRest), IsSymbol key) => ShowRowList (Cons key (Record subrow) listRest) rowFull
• (Show a, ShowRowList listRest rowRest, RowCons key a rowRest rowFull, RowLacks key rowRest, RowToList rowFull (Cons key a listRest), IsSymbol key) => ShowRowList (Cons key a listRest) rowFull

showRecord :: forall list row. RowToList row list => ShowRowList list row => Record row -> String