Rearrange the encoders

This commit is contained in:
Nikita Volkov 2019-05-21 21:20:31 +03:00
parent 799fbca0ed
commit 5fc68b7d92
2 changed files with 30 additions and 30 deletions

View File

@ -16,8 +16,6 @@ module Hasql.Encoders
nullable, nullable,
-- * Value -- * Value
Value, Value,
array,
foldableArray,
bool, bool,
int2, int2,
int4, int4,
@ -42,6 +40,8 @@ module Hasql.Encoders
jsonbBytes, jsonbBytes,
enum, enum,
unknown, unknown,
array,
foldableArray,
-- * Array -- * Array
Array, Array,
element, element,

View File

@ -114,34 +114,6 @@ Value encoder.
newtype Value a = Value (Value.Value a) newtype Value a = Value (Value.Value a)
deriving (Contravariant) deriving (Contravariant)
{-|
Lift an array encoder into a parameter encoder.
-}
array :: Array a -> Value a
array (Array (Array.Array valueOID arrayOID arrayEncoder renderer)) = let
encoder env input = A.array (PTI.oidWord32 valueOID) (arrayEncoder env input)
in Value (Value.Value arrayOID arrayOID encoder renderer)
{-|
Lift a value encoder of element into a unidimensional array encoder of a foldable value.
E.g.,
@
vectorOfInts :: Value (Vector Int64)
vectorOfInts = 'foldableArray' ('nonNullable' 'int8')
@
This function is merely a shortcut for the following expression:
@
('array' . 'dimension' 'foldl'' . 'element')
@
-}
{-# INLINE foldableArray #-}
foldableArray :: Foldable foldable => NullableOrNot Value a -> Value (foldable a)
foldableArray = array . dimension foldl' . element
{-| {-|
Encoder of @BOOL@ values. Encoder of @BOOL@ values.
-} -}
@ -320,6 +292,34 @@ section of the Postgres' documentation.
unknown :: Value ByteString unknown :: Value ByteString
unknown = Value (Value.unsafePTIWithShow PTI.unknown (const A.bytea_strict)) unknown = Value (Value.unsafePTIWithShow PTI.unknown (const A.bytea_strict))
{-|
Lift an array encoder into a parameter encoder.
-}
array :: Array a -> Value a
array (Array (Array.Array valueOID arrayOID arrayEncoder renderer)) = let
encoder env input = A.array (PTI.oidWord32 valueOID) (arrayEncoder env input)
in Value (Value.Value arrayOID arrayOID encoder renderer)
{-|
Lift a value encoder of element into a unidimensional array encoder of a foldable value.
E.g.,
@
vectorOfInts :: Value (Vector Int64)
vectorOfInts = 'foldableArray' ('nonNullable' 'int8')
@
This function is merely a shortcut for the following expression:
@
('array' . 'dimension' 'foldl'' . 'element')
@
-}
{-# INLINE foldableArray #-}
foldableArray :: Foldable foldable => NullableOrNot Value a -> Value (foldable a)
foldableArray = array . dimension foldl' . element
-- * Array -- * Array
------------------------- -------------------------