Data.Svfactor.Structure.Headedness

Documentation

data Headedness

Does the Sv 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

Unheaded

Headed

Instances

Eq Headedness

Defined in Data.Svfactor.Structure.Headedness

Methods

(==) :: Headedness -> Headedness -> Bool

(/=) :: Headedness -> Headedness -> Bool

Ord Headedness

Defined in Data.Svfactor.Structure.Headedness

Methods

compare :: Headedness -> Headedness -> Ordering

(<) :: Headedness -> Headedness -> Bool

(<=) :: Headedness -> Headedness -> Bool

(>) :: Headedness -> Headedness -> Bool

(>=) :: Headedness -> Headedness -> Bool

max :: Headedness -> Headedness -> Headedness

min :: Headedness -> Headedness -> Headedness

Show Headedness

Defined in Data.Svfactor.Structure.Headedness

Methods

showsPrec :: Int -> Headedness -> ShowS

show :: Headedness -> String

showList :: [Headedness] -> ShowS

HasHeadedness Headedness

Defined in Data.Svfactor.Structure.Headedness

Methods

headedness :: Lens' Headedness Headedness

class HasHeadedness c where

Classy lens for Headedness

Minimal complete definition

headedness

Methods

headedness :: Lens' c Headedness

Instances

HasHeadedness Headedness

Defined in Data.Svfactor.Structure.Headedness

Methods

headedness :: Lens' Headedness Headedness

HasHeadedness (ParseOptions s)

Defined in Data.Svfactor.Parse.Options

Methods

headedness :: Lens' (ParseOptions s) Headedness