Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
(Functor f, KnownSymbol s, FromField (f x), FromNamedRecord (F f xs)) => FromNamedRecord (F f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Csv parseNamedRecord :: NamedRecord -> Parser (F f ((s :-> x) ': xs)) # | |
FromNamedRecord (F f ('[] :: [Type])) Source # | |
Defined in Composite.Csv parseNamedRecord :: NamedRecord -> Parser (F f '[]) # | |
(Functor f, KnownSymbol s, ToField (f x), ToNamedRecord (F f xs)) => ToNamedRecord (F f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Csv toNamedRecord :: F f ((s :-> x) ': xs) -> NamedRecord # | |
ToNamedRecord (F f ('[] :: [Type])) Source # | |
Defined in Composite.Csv toNamedRecord :: F f '[] -> NamedRecord # |
Instances
(Functor f, KnownSymbol s, FromField (f (s :-> x)), FromNamedRecord (TF f xs)) => FromNamedRecord (TF f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Csv parseNamedRecord :: NamedRecord -> Parser (TF f ((s :-> x) ': xs)) # | |
FromNamedRecord (TF f ('[] :: [Type])) Source # | |
Defined in Composite.Csv parseNamedRecord :: NamedRecord -> Parser (TF f '[]) # | |
(Functor f, KnownSymbol s, ToField (f (s :-> x)), ToNamedRecord (TF f xs)) => ToNamedRecord (TF f ((s :-> x) ': xs)) Source # | |
Defined in Composite.Csv toNamedRecord :: TF f ((s :-> x) ': xs) -> NamedRecord # | |
ToNamedRecord (TF f ('[] :: [Type])) Source # | |
Defined in Composite.Csv toNamedRecord :: TF f '[] -> NamedRecord # |