Safe Haskell	Safe-Inferred
Language	Haskell2010

PostgreSQL.Binary.Decoding

Contents

Synopsis

valueParser ::Value a ->ByteString ->Either Text a
typeValue =BinaryParser
int :: (Integral a,Bits a) =>Value a
float4 ::Value Float
float8 ::Value Double
bool ::Value Bool
bytea_strict ::Value ByteString
bytea_lazy ::Value LazyByteString
text_strict ::Value Text
text_lazy ::Value LazyText
char ::Value Char
fn :: (ByteString ->Either Text a) ->Value a
numeric ::Value Scientific
uuid ::Value UUID
inet ::Value (NetAddr IP)
json_ast ::Value Value
json_bytes :: (ByteString ->Either Text a) ->Value a
jsonb_ast ::Value Value
jsonb_bytes :: (ByteString ->Either Text a) ->Value a
date ::Value Day
time_int ::Value TimeOfDay
time_float ::Value TimeOfDay
timetz_int ::Value (TimeOfDay,TimeZone)
timetz_float ::Value (TimeOfDay,TimeZone)
timestamp_int ::Value LocalTime
timestamp_float ::Value LocalTime
timestamptz_int ::Value UTCTime
timestamptz_float ::Value UTCTime
interval_int ::Value DiffTime
interval_float ::Value DiffTime
dataArray a
array ::Array a ->Value a
valueArray ::Value a ->Array a
nullableValueArray ::Value a ->Array (Maybe a)
dimensionArray :: (forall m.Monad m =>Int -> m a -> m b) ->Array a ->Array b
dataComposite a
composite ::Composite a ->Value a
valueComposite ::Value a ->Composite a
nullableValueComposite ::Value a ->Composite (Maybe a)
hstore :: (forall m.Monad m =>Int -> m (k,Maybe v) -> m r) ->Value k ->Value v ->Value r
enum :: (Text ->Maybe a) ->Value a
refine :: (a ->Either Text b) ->Value a ->Value b

Documentation

valueParser ::Value a ->ByteString ->Either Text aSource #

typeValue =BinaryParser Source #

Primitive

int :: (Integral a,Bits a) =>Value aSource #

float4 ::Value Float Source #

float8 ::Value Double Source #

bool ::Value Bool Source #

bytea_strict ::Value ByteString Source #

BYTEA or any other type in its undecoded form.

bytea_lazy ::Value LazyByteStringSource #

BYTEA or any other type in its undecoded form.

Textual

text_strict ::Value Text Source #

Any of the variable-length character types: BPCHAR, VARCHAR, NAME and TEXT.

text_lazy ::Value LazyTextSource #

Any of the variable-length character types: BPCHAR, VARCHAR, NAME and TEXT.

char ::Value Char Source #

A UTF-8-decoded char.

Misc

fn :: (ByteString ->Either Text a) ->Value aSource #

Lifts a custom decoder implementation.

numeric ::Value Scientific Source #

uuid ::Value UUID Source #

inet ::Value (NetAddr IP)Source #

json_ast ::Value Value Source #

json_bytes :: (ByteString ->Either Text a) ->Value aSource #

Given a function, which parses a plain UTF-8 JSON string encoded as a byte-array, produces a decoder.

jsonb_ast ::Value Value Source #

jsonb_bytes :: (ByteString ->Either Text a) ->Value aSource #

Given a function, which parses a plain UTF-8 JSON string encoded as a byte-array, produces a decoder.

For those wondering, yes, JSONB is encoded as plain JSON string in the binary format of Postgres. Sad, but true.

Time

date ::Value Day Source #

DATE values decoding.

time_int ::Value TimeOfDay Source #

TIME values decoding for servers, which haveinteger_datetimes enabled.

time_float ::Value TimeOfDay Source #

TIME values decoding for servers, which don't haveinteger_datetimes enabled.

timetz_int ::Value (TimeOfDay,TimeZone)Source #

TIMETZ values decoding for servers, which haveinteger_datetimes enabled.

timetz_float ::Value (TimeOfDay,TimeZone)Source #

TIMETZ values decoding for servers, which don't haveinteger_datetimes enabled.

timestamp_int ::Value LocalTime Source #

TIMESTAMP values decoding for servers, which haveinteger_datetimes enabled.

timestamp_float ::Value LocalTime Source #

TIMESTAMP values decoding for servers, which don't haveinteger_datetimes enabled.

timestamptz_int ::Value UTCTime Source #

TIMESTAMP values decoding for servers, which haveinteger_datetimes enabled.

timestamptz_float ::Value UTCTime Source #

TIMESTAMP values decoding for servers, which don't haveinteger_datetimes enabled.

interval_int ::Value DiffTime Source #

INTERVAL values decoding for servers, which don't haveinteger_datetimes enabled.

interval_float ::Value DiffTime Source #

INTERVAL values decoding for servers, which haveinteger_datetimes enabled.

Exotic

Array

dataArray aSource #

An efficient generic array decoder, which constructs the result value in place while parsing.

Here's how you can use it to produce a specific array value decoder:

x :: Value [ [ Text ] ]x =  array (dimensionArray replicateM (fmap catMaybes (dimensionArray replicateM (nullableValueArray text))))

Instances

Instances details

Functor ArraySource #
Instance details Defined inPostgreSQL.Binary.Decoding Methods fmap :: (a -> b) ->Array a ->Array b# (<$) :: a ->Array b ->Array a#

array ::Array a ->Value aSource #

Unlift anArray to a valueValue.

valueArray ::Value a ->Array aSource #

Lift a valueValue intoArray for parsing of non-nullable leaf values.

nullableValueArray ::Value a ->Array (Maybe a)Source #

Lift a valueValue intoArray for parsing of nullable leaf values.

dimensionArray :: (forall m.Monad m =>Int -> m a -> m b) ->Array a ->Array bSource #

A function for parsing a dimension of an array. Provides support for multi-dimensional arrays.

Accepts:

An implementation of thereplicateM function (Control.Monad.replicateM,Data.Vector.replicateM), which determines the output value.
A decoder of its components, which can be either anotherdimensionArray ornullableValueArray.

Composite

dataComposite aSource #

Instances

Instances details

MonadFail CompositeSource #
Instance details Defined inPostgreSQL.Binary.Decoding Methods fail ::String ->Composite a#
Applicative CompositeSource #
Instance details Defined inPostgreSQL.Binary.Decoding Methods pure :: a ->Composite a# (<>) ::Composite (a -> b) ->Composite a ->Composite b# liftA2 :: (a -> b -> c) ->Composite a ->Composite b ->Composite c# (>) ::Composite a ->Composite b ->Composite b# (<*) ::Composite a ->Composite b ->Composite a#
Functor CompositeSource #
Instance details Defined inPostgreSQL.Binary.Decoding Methods fmap :: (a -> b) ->Composite a ->Composite b# (<$) :: a ->Composite b ->Composite a#
Monad CompositeSource #
Instance details Defined inPostgreSQL.Binary.Decoding Methods (>>=) ::Composite a -> (a ->Composite b) ->Composite b# (>>) ::Composite a ->Composite b ->Composite b# return :: a ->Composite a#

composite ::Composite a ->Value aSource #

Unlift aComposite to a valueValue.

valueComposite ::Value a ->Composite aSource #

Lift a non-nullable valueValue intoComposite.

nullableValueComposite ::Value a ->Composite (Maybe a)Source #

Lift a valueValue intoComposite.

HStore

hstore :: (forall m.Monad m =>Int -> m (k,Maybe v) -> m r) ->Value k ->Value v ->Value rSource #

A function for generic in place parsing of an HStore value.

Accepts:

An implementation of thereplicateM function (Control.Monad.replicateM,Data.Vector.replicateM), which determines how to produce the final datastructure from the rows.
A decoder for keys.
A decoder for values.

Here's how you can use it to produce a parser to list:

hstoreAsList :: Value [ ( Text , Maybe Text ) ]hstoreAsList =  hstore replicateM text text

enum :: (Text ->Maybe a) ->Value aSource #

Given a partial mapping from text to value, produces a decoder of that value.

refine :: (a ->Either Text b) ->Value a ->Value bSource #

Given additional constraints when using an existing value decoder, produces a decoder of that value.

Movatterモバイル変換

Documentation

Primitive

Textual

Misc

Time

Exotic

Array

Instances

Composite

Instances

HStore