public JSon listElements(JSon head, List <JSon> tail) { var values = new JList(head); values.AddRange(tail); return(values); }
public JSon ListElementsMany(JSon value, Token <JsonToken> comma, JList tail) { var elements = new JList(value); elements.AddRange(tail); return(elements); }
public JSon listElements(JSon head, List <Group <JsonToken, JSon> > tail) { var values = new JList(head); values.AddRange(tail.Select(group => group.Value(0)).ToList()); return(values); }
public JSon ListElementsMany(JSon value, object comma, JList tail) { var elements = new JList(value); elements.AddRange(tail); return(elements); }