Data.Sv.Syntax.Field

Documentation

data Field s

A Field is a single cell from a CSV document.

Its value is either Quoted, which indicates the type of quote surrounding the value, or it is Unquoted, containing only the value.

Constructors

Unquoted s

Quoted Quote (Unescaped s)

Instances

Functor Field

Methods

fmap :: (a -> b) -> Field a -> Field b

(<$) :: a -> Field b -> Field a

Foldable Field

Methods

fold :: Monoid m => Field m -> m

foldMap :: Monoid m => (a -> m) -> Field a -> m

foldr :: (a -> b -> b) -> b -> Field a -> b

foldr' :: (a -> b -> b) -> b -> Field a -> b

foldl :: (b -> a -> b) -> b -> Field a -> b

foldl' :: (b -> a -> b) -> b -> Field a -> b

foldr1 :: (a -> a -> a) -> Field a -> a

foldl1 :: (a -> a -> a) -> Field a -> a

toList :: Field a -> [a]

null :: Field a -> Bool

length :: Field a -> Int

elem :: Eq a => a -> Field a -> Bool

maximum :: Ord a => Field a -> a

minimum :: Ord a => Field a -> a

sum :: Num a => Field a -> a

product :: Num a => Field a -> a

Traversable Field

Methods

traverse :: Applicative f => (a -> f b) -> Field a -> f (Field b)

sequenceA :: Applicative f => Field (f a) -> f (Field a)

mapM :: Monad m => (a -> m b) -> Field a -> m (Field b)

sequence :: Monad m => Field (m a) -> m (Field a)

Eq s => Eq (Field s)

Methods

(==) :: Field s -> Field s -> Bool

(/=) :: Field s -> Field s -> Bool

Ord s => Ord (Field s)

Methods

compare :: Field s -> Field s -> Ordering

(<) :: Field s -> Field s -> Bool

(<=) :: Field s -> Field s -> Bool

(>) :: Field s -> Field s -> Bool

(>=) :: Field s -> Field s -> Bool

max :: Field s -> Field s -> Field s

min :: Field s -> Field s -> Field s

Show s => Show (Field s)

Methods

showsPrec :: Int -> Field s -> ShowS

show :: Field s -> String

showList :: [Field s] -> ShowS

Generic (Field s)

Associated Types

type Rep (Field s) :: * -> *

Methods

from :: Field s -> Rep (Field s) x

to :: Rep (Field s) x -> Field s

NFData s => NFData (Field s)

Methods

rnf :: Field s -> ()

AsField (Field a) a

Methods

_Field :: Prism' (Field a) (Field a)

_Unquoted :: Prism' (Field a) a

_Quoted :: Prism' (Field a) (Quote, Unescaped a)

MonadReader (Vector (SpacedField s)) (DecodeState s)

Methods

ask :: DecodeState s (Vector (SpacedField s))

local :: (Vector (SpacedField s) -> Vector (SpacedField s)) -> DecodeState s a -> DecodeState s a

reader :: (Vector (SpacedField s) -> a) -> DecodeState s a

HasFields (Field s) (Field t) s t

Methods

fields :: Traversal (Field s) (Field t) (Field s) (Field t)

type Rep (Field s)

type Rep (Field s) = D1 * (MetaData "Field" "Data.Sv.Syntax.Field" "sv-0.1-LEjGD2ajzYS6ZNIUObPicZ" False) ((:+:) * (C1 * (MetaCons "Unquoted" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * s))) (C1 * (MetaCons "Quoted" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Quote)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Unescaped s))))))

type SpacedField a = Spaced (Field a)

Fields are often surrounded by spaces

data Spaced a

Spaced is a value with zero or many horizontal spaces around it on both sides.

Constructors

Spaced Spaces Spaces a

Instances

Functor Spaced

Methods

fmap :: (a -> b) -> Spaced a -> Spaced b

(<$) :: a -> Spaced b -> Spaced a

Applicative Spaced

Appends the right parameter on the inside of the left parameter

Spaced "   " () " " *> Spaced "\t\t\t" () "\t \t" == Spaced "   \t\t\t" () "\t \t "

Methods

pure :: a -> Spaced a

(<*>) :: Spaced (a -> b) -> Spaced a -> Spaced b

liftA2 :: (a -> b -> c) -> Spaced a -> Spaced b -> Spaced c

(*>) :: Spaced a -> Spaced b -> Spaced b

(<*) :: Spaced a -> Spaced b -> Spaced a

Foldable Spaced

Methods

fold :: Monoid m => Spaced m -> m

foldMap :: Monoid m => (a -> m) -> Spaced a -> m

foldr :: (a -> b -> b) -> b -> Spaced a -> b

foldr' :: (a -> b -> b) -> b -> Spaced a -> b

foldl :: (b -> a -> b) -> b -> Spaced a -> b

foldl' :: (b -> a -> b) -> b -> Spaced a -> b

foldr1 :: (a -> a -> a) -> Spaced a -> a

foldl1 :: (a -> a -> a) -> Spaced a -> a

toList :: Spaced a -> [a]

null :: Spaced a -> Bool

length :: Spaced a -> Int

elem :: Eq a => a -> Spaced a -> Bool

maximum :: Ord a => Spaced a -> a

minimum :: Ord a => Spaced a -> a

sum :: Num a => Spaced a -> a

product :: Num a => Spaced a -> a

Traversable Spaced

Methods

traverse :: Applicative f => (a -> f b) -> Spaced a -> f (Spaced b)

sequenceA :: Applicative f => Spaced (f a) -> f (Spaced a)

mapM :: Monad m => (a -> m b) -> Spaced a -> m (Spaced b)

sequence :: Monad m => Spaced (m a) -> m (Spaced a)

Eq a => Eq (Spaced a)

Methods

(==) :: Spaced a -> Spaced a -> Bool

(/=) :: Spaced a -> Spaced a -> Bool

Ord a => Ord (Spaced a)

Methods

compare :: Spaced a -> Spaced a -> Ordering

(<) :: Spaced a -> Spaced a -> Bool

(<=) :: Spaced a -> Spaced a -> Bool

(>) :: Spaced a -> Spaced a -> Bool

(>=) :: Spaced a -> Spaced a -> Bool

max :: Spaced a -> Spaced a -> Spaced a

min :: Spaced a -> Spaced a -> Spaced a

Show a => Show (Spaced a)

Methods

showsPrec :: Int -> Spaced a -> ShowS

show :: Spaced a -> String

showList :: [Spaced a] -> ShowS

Generic (Spaced a)

Associated Types

type Rep (Spaced a) :: * -> *

Methods

from :: Spaced a -> Rep (Spaced a) x

to :: Rep (Spaced a) x -> Spaced a

NFData a => NFData (Spaced a)

Methods

rnf :: Spaced a -> ()

MonadReader (Vector (SpacedField s)) (DecodeState s)

Methods

ask :: DecodeState s (Vector (SpacedField s))

local :: (Vector (SpacedField s) -> Vector (SpacedField s)) -> DecodeState s a -> DecodeState s a

reader :: (Vector (SpacedField s) -> a) -> DecodeState s a

HasSpaced (Spaced a) (Spaced b) a b

Methods

spaced :: Lens (Spaced a) (Spaced b) (Spaced a) (Spaced b)

after :: Lens (Spaced a) (Spaced b) Spaces Spaces

before :: Lens (Spaced a) (Spaced b) Spaces Spaces

spacedValue :: Lens (Spaced a) (Spaced b) a b

type Rep (Spaced a)

type Rep (Spaced a) = D1 * (MetaData "Spaced" "Text.Space" "sv-0.1-LEjGD2ajzYS6ZNIUObPicZ" False) (C1 * (MetaCons "Spaced" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_before") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Spaces)) ((:*:) * (S1 * (MetaSel (Just Symbol "_after") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Spaces)) (S1 * (MetaSel (Just Symbol "_value") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)))))

class HasFields c d s t | c -> s, d -> t, c t -> d, d s -> c where

Classy Traversal' for things containing Fields

Minimal complete definition

fields

Methods

fields :: Traversal c d (Field s) (Field t)

Instances

HasFields (Field s) (Field t) s t

Methods

fields :: Traversal (Field s) (Field t) (Field s) (Field t)

HasFields (Record a) (Record b) a b

Methods

fields :: Traversal (Record a) (Record b) (Field a) (Field b)

HasFields (Header a) (Header b) a b

Methods

fields :: Traversal (Header a) (Header b) (Field a) (Field b)

class HasFields s s a a => AsField s a | s -> a where

Classy prisms for Field

Minimal complete definition

_Field

Methods

_Field :: Prism' s (Field a)

_Unquoted :: Prism' s a

_Quoted :: Prism' s (Quote, Unescaped a)

Instances

AsField (Field a) a

Methods

_Field :: Prism' (Field a) (Field a)

_Unquoted :: Prism' (Field a) a

_Quoted :: Prism' (Field a) (Quote, Unescaped a)

unescapedField :: Quote -> s -> Field s

Build a quoted field with a normal string

foldField :: (s -> b) -> (Quote -> Unescaped s -> b) -> Field s -> b

The catamorphism for Field'

fieldContents :: Lens (Field s) (Field t) s t

Lens into the contents of a Field, regardless of whether it's quoted or unquoted