| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
DataFrame.Typed.TH
Synopsis
- deriveSchema :: String -> DataFrame -> DecsQ
- deriveSchemaFromCsvFile :: String -> String -> DecsQ
- data TypedDataFrame (cols :: [Type])
- data Column (name :: Symbol) a
Schema inference
Re-export for TH splices
data TypedDataFrame (cols :: [Type]) Source #
A phantom-typed wrapper over the untyped DataFrame.
The type parameter cols is a type-level list of Column name ty entries
that tracks the schema at compile time. All operations delegate to the
untyped core at runtime and update the phantom type at compile time.
Instances
| Show (TypedDataFrame cols) Source # | |
Defined in DataFrame.Typed.Types Methods showsPrec :: Int -> TypedDataFrame cols -> ShowS # show :: TypedDataFrame cols -> String # showList :: [TypedDataFrame cols] -> ShowS # | |
| Eq (TypedDataFrame cols) Source # | |
Defined in DataFrame.Typed.Types Methods (==) :: TypedDataFrame cols -> TypedDataFrame cols -> Bool # (/=) :: TypedDataFrame cols -> TypedDataFrame cols -> Bool # | |
data Column (name :: Symbol) a Source #
A phantom type that pairs a type-level column name (Symbol)
with its element type. Has no value-level constructors — used
purely at the type level to describe schemas.
Instances
| (KnownSymbol name, Typeable a, Columnable a, KnownSchema rest) => KnownSchema (Column name a ': rest) Source # | |
Defined in DataFrame.Typed.Schema Methods schemaEvidence :: [(Text, SomeTypeRep)] Source # | |