when using encodeGivenHeaders[A], if the number of elements in the headers argument is different to the number of columns that are encoded for values of A, it is probably something the user wants to know about and the Stream should probably fail with an error instead of encoding an invalid csv
when using
encodeGivenHeaders[A]
, if the number of elements in theheaders
argument is different to the number of columns that are encoded for values ofA
, it is probably something the user wants to know about and the Stream should probably fail with an error instead of encoding an invalid csv