sv-core-0.5: Encode and decode separated values (CSV, PSV, ...)

Description

Synopsis

# Documentation

Does the CSV have a Header or not? A header is a row at the beginning of a file which contains the string names of each of the columns.

If a header is present, it must not be decoded with the rest of the data.

Constructors

Classy lens for Headedness