package core_extended
Module Read.HeaderSource
Header parsing control
Source
type t = [ | `No| `Yes| `Require of string list| `Replace of string list| `Add of string list| `Transform of string list -> string list| `Filter_map of string list -> string option list
]Control how headers are parsed
`No: File has no headers; columns can only be accessed by index.`Yes: File has headers.`Require: File has headers; assert that at least the given headers appear.`Replace: File has headers, which are ignored; the given headers are used instead.`Add: File has no headers. Use the given ones for header access.`Transform: File has headers; each will be transformed with the given function.`Filter_map: similar to`TransformbutNoneheaders are ignored.