NonEmpty list of worksheets

[amigalemming]

If I understand the ECMA standard correctly, then a Spreadsheet contains at least one worksheet.
Could we express this with types like so:

xlSheets :: Lens' Xlsx (NonEmpty (Text, Worksheet))

Maybe there are more occurrences of non-empty structures.

[qrilka]

Thanks, with NonEmpty now in base this seems to be a good thing to look into. First look confirms your point:

sml_CT_Sheets = element sheet { sml_CT_Sheet }+

[amigalemming]

For now I will use this conversion as workaround:

nonEmpty :: Lens.Iso' [a] (NonEmpty a)
nonEmpty = Lens.iso NonEmpty.fromList NonEmpty.toList

[qrilka]

It looks like this would be a rather large change as there are other places where the same holds, so looks to be a good idea for the next major version