Modulecomposite-cassava-0.0.3.1Haskell2010

Composite.Csv

Synopsis

newtypenewtype F (f :: Type -> Type) (xs :: [Type])

Instances4FromNamedRecord, ToNamedRecord

FromNamedRecord (F f '[])Defined in composite-cassava-0.0.3.1 · Composite.Csv
(Functor f, KnownSymbol s, FromField (f x), FromNamedRecord (F f xs)) => FromNamedRecord (F f ((s :-> x) ': xs))Defined in composite-cassava-0.0.3.1 · Composite.Csv
ToNamedRecord (F f '[])Defined in composite-cassava-0.0.3.1 · Composite.Csv
(Functor f, KnownSymbol s, ToField (f x), ToNamedRecord (F f xs)) => ToNamedRecord (F f ((s :-> x) ': xs))Defined in composite-cassava-0.0.3.1 · Composite.Csv

newtypenewtype TF (f :: Type -> Type) (xs :: [Type])

Instances4FromNamedRecord, ToNamedRecord

FromNamedRecord (TF f '[])Defined in composite-cassava-0.0.3.1 · Composite.Csv
(Functor f, KnownSymbol s, FromField (f (s :-> x)), FromNamedRecord (TF f xs)) => FromNamedRecord (TF f ((s :-> x) ': xs))Defined in composite-cassava-0.0.3.1 · Composite.Csv
ToNamedRecord (TF f '[])Defined in composite-cassava-0.0.3.1 · Composite.Csv
(Functor f, KnownSymbol s, ToField (f (s :-> x)), ToNamedRecord (TF f xs)) => ToNamedRecord (TF f ((s :-> x) ': xs))Defined in composite-cassava-0.0.3.1 · Composite.Csv

classclass ToHeader x where

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

Instances2ToHeader

ToHeader (Rec f '[])Defined in composite-cassava-0.0.3.1 · Composite.Csv
(KnownSymbol s, ToHeader (Rec f xs)) => ToHeader (Rec f ((s :-> x) ': xs))Defined in composite-cassava-0.0.3.1 · Composite.Csv