Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (HasColumns table, GWritable (GetColumns table) (Rep record)) => WritableInto table record where Source #
Nothing
class GWritable (columns :: [Type]) f where Source #
Instances
GWritable columns (left1 :*: (left2 :*: right)) => GWritable columns ((left1 :*: left2) :*: right :: k -> Type) Source # | |
GWritable columns f => GWritable columns (D1 c (C1 c2 f) :: k -> Type) Source # | |
(ThereIsNoWriteRequiredColumns restColumns, Serializable (GetColumnType column), ToChType (GetColumnType column) inputType, CompiledColumn column, '(column, restColumns) ~ TakeColumn typeName columns) => GWritable columns (S1 ('MetaSel ('Just typeName) a b f) (Rec0 inputType) :: k -> Type) Source # | |
(Serializable (GetColumnType column), ToChType (GetColumnType column) inputType, CompiledColumn column, GWritable restColumns right, GWritable '[column] (S1 ('MetaSel ('Just typeName) a b f) (Rec0 inputType)), '(column, restColumns) ~ TakeColumn typeName columns) => GWritable columns (S1 ('MetaSel ('Just typeName) a b f) (Rec0 inputType) :*: right :: k1 -> Type) Source # | |
class Serializable chType where Source #
Instances
Serializable ChDateTime Source # | |
Defined in ClickHaskell.Writing serialize :: ChDateTime -> Builder Source # | |
Serializable ChInt128 Source # | |
Serializable ChInt16 Source # | |
Serializable ChInt32 Source # | |
Serializable ChInt64 Source # | |
Serializable ChInt8 Source # | |
Serializable ChString Source # | |
Serializable ChUInt128 Source # | |
Serializable ChUInt16 Source # | |
Serializable ChUInt32 Source # | |
Serializable ChUInt64 Source # | |
Serializable ChUInt8 Source # | |
Serializable ChUUID Source # | |
(Serializable chType, FromChType chType chType, IsLowCardinalitySupported chType) => Serializable (LowCardinality chType) Source # | |
Defined in ClickHaskell.Writing serialize :: LowCardinality chType -> Builder Source # | |
Serializable chType => Serializable (Nullable chType) Source # | |