Composite.Csv

Documentation

newtype F f xs

Constructors

F

Fields

• unF :: Rec f xs

Instances

(Functor f, KnownSymbol s, FromField (f x), FromNamedRecord (F f xs)) => FromNamedRecord (F f ((s :-> x) ': xs))

Defined in Composite.Csv

Methods

parseNamedRecord :: NamedRecord -> Parser (F f ((s :-> x) ': xs))

FromNamedRecord (F f ('[] :: [Type]))

Defined in Composite.Csv

Methods

parseNamedRecord :: NamedRecord -> Parser (F f '[])

(Functor f, KnownSymbol s, ToField (f x), ToNamedRecord (F f xs)) => ToNamedRecord (F f ((s :-> x) ': xs))

Defined in Composite.Csv

Methods

toNamedRecord :: F f ((s :-> x) ': xs) -> NamedRecord

ToNamedRecord (F f ('[] :: [Type]))

Defined in Composite.Csv

Methods

toNamedRecord :: F f '[] -> NamedRecord

newtype TF f xs

Constructors

TF

Fields

• unTF :: Rec f xs

Instances

(Functor f, KnownSymbol s, FromField (f (s :-> x)), FromNamedRecord (TF f xs)) => FromNamedRecord (TF f ((s :-> x) ': xs))

Defined in Composite.Csv

Methods

parseNamedRecord :: NamedRecord -> Parser (TF f ((s :-> x) ': xs))

FromNamedRecord (TF f ('[] :: [Type]))

Defined in Composite.Csv

Methods

parseNamedRecord :: NamedRecord -> Parser (TF f '[])

(Functor f, KnownSymbol s, ToField (f (s :-> x)), ToNamedRecord (TF f xs)) => ToNamedRecord (TF f ((s :-> x) ': xs))

Defined in Composite.Csv

Methods

toNamedRecord :: TF f ((s :-> x) ': xs) -> NamedRecord

ToNamedRecord (TF f ('[] :: [Type]))

Defined in Composite.Csv

Methods

toNamedRecord :: TF f '[] -> NamedRecord

class ToHeader x where

Extracts a Header from a composite Rec using the symbol names.

Since: 0.0.3.0

Methods

extractRecHeader :: Proxy x -> Vector Name

Instances

(KnownSymbol s, ToHeader (Rec f xs)) => ToHeader (Rec f ((s :-> x) ': xs))

Defined in Composite.Csv

Methods

extractRecHeader :: Proxy (Rec f ((s :-> x) ': xs)) -> Vector Name

ToHeader (Rec f ('[] :: [Type]))

Defined in Composite.Csv

Methods

extractRecHeader :: Proxy (Rec f '[]) -> Vector Name