Safe Haskell | None |
---|---|
Language | Haskell2010 |
Spark.Core.Types
- data DataType
- data Nullable
- class TupleEquivalence to tup | to -> tup where
- data NameTuple to = NameTuple [String]
- data SQLType a
- columnType :: SQLType a -> DataType
- class SQLTypeable a
- buildType :: SQLTypeable a => SQLType a
- data StructField
- data StructType
- castType :: forall a b. SQLTypeable b => SQLType a -> Try (SQLType b)
- catNodePath :: NodePath -> Text
Documentation
All the data types supported by the Spark engine. The data types can either be nullable (they may contain null values) or strict (all the values are present). There are a couple of differences with the algebraic data types in Haskell: Maybe (Maybe a) ~ Maybe a which implies that arbitrary nesting of values will be flattened to a top-level Nullable Similarly, [[]] ~ []
Represents the choice between a strict and a nullable field
class TupleEquivalence to tup | to -> tup where Source #
A class that expresses the fact that a certain type (that is well-formed) is equivalent to a tuple of points.
Useful for auto conversions between tuples of columns and data structures.
Minimal complete definition
Methods
tupleFieldNames :: NameTuple to Source #
Instances
TupleEquivalence (a1, a2) (a1, a2) Source # | |
A tagged datatype that encodes the sql types This is the main type information that should be used by users.
columnType :: SQLType a -> DataType Source #
class SQLTypeable a Source #
Instances
SQLTypeable Int Source # | |
SQLTypeable String Source # | |
SQLTypeable Text Source # | |
SQLTypeable a => SQLTypeable [a] Source # | |
SQLTypeable a => SQLTypeable (Maybe a) Source # | |
(SQLTypeable a2, SQLTypeable a1) => SQLTypeable (a1, a2) Source # | |
buildType :: SQLTypeable a => SQLType a Source #
castType :: forall a b. SQLTypeable b => SQLType a -> Try (SQLType b) Source #
Description of types supported in DataSets Krapsh supports a restrictive subset of Algebraic Datatypes that is amenable to SQL transformations. This file contains the description of all the supported types, and some conversion tools.
catNodePath :: NodePath -> Text Source #
The concatenated path. This is the inverse function of fieldPath.