Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (HasColumns hasColumns, GReadable (GetColumns hasColumns) (Rep record)) => ReadableFrom hasColumns record where Source #
Nothing
fromTsvLine :: StrictByteString -> record Source #
default fromTsvLine :: Generic record => StrictByteString -> record Source #
readingColumns :: Builder Source #
default readingColumns :: Generic record => Builder Source #
class GReadable (columns :: [Type]) f where Source #
gFromTsvBs :: StrictByteString -> f p Source #
Instances
GReadable columns (left1 :*: (left2 :*: right)) => GReadable columns ((left1 :*: left2) :*: right :: k -> Type) Source # | |
Defined in ClickHaskell.Reading gFromTsvBs :: forall (p :: k0). StrictByteString -> ((left1 :*: left2) :*: right) p Source # | |
(CompiledColumn column, '(column, restColumns) ~ TakeColumn selectorName columns, FromChType (GetColumnType column) inputType, Deserializable (GetColumnType column), GReadable restColumns right) => GReadable columns (S1 ('MetaSel ('Just selectorName) a b f) (Rec0 inputType) :*: right :: k -> Type) Source # | |
Defined in ClickHaskell.Reading gFromTsvBs :: forall (p :: k0). StrictByteString -> (S1 ('MetaSel ('Just selectorName) a b f) (Rec0 inputType) :*: right) p Source # | |
GReadable columns f => GReadable columns (D1 c (C1 c2 f) :: k -> Type) Source # | |
Defined in ClickHaskell.Reading gFromTsvBs :: forall (p :: k0). StrictByteString -> D1 c (C1 c2 f) p Source # | |
(CompiledColumn column, '(column, restColumns) ~ TakeColumn selectorName columns, Deserializable (GetColumnType column), FromChType (GetColumnType column) inputType) => GReadable columns (S1 ('MetaSel ('Just selectorName) a b f) (Rec0 inputType) :: k -> Type) Source # | |
Defined in ClickHaskell.Reading gFromTsvBs :: forall (p :: k0). StrictByteString -> S1 ('MetaSel ('Just selectorName) a b f) (Rec0 inputType) p Source # |
class Deserializable chType where Source #
deserialize :: StrictByteString -> chType Source #