{-# OPTIONS_HADDOCK not-home #-} {-# LANGUAGE ScopedTypeVariables #-} module Opaleye.Internal.PGTypes where import Opaleye.Internal.Column (Field, Field_(Column)) import qualified Opaleye.Internal.HaskellDB.PrimQuery as HPQ import Data.Proxy (Proxy(..)) import qualified Data.Text as SText import qualified Data.Text.Encoding as STextEncoding import qualified Data.Text.Lazy as LText import qualified Data.Text.Lazy.Encoding as LTextEncoding import qualified Data.ByteString as SByteString import qualified Data.ByteString.Lazy as LByteString import qualified Data.Time.Format.ISO8601.Compat as Time unsafePgFormatTime :: Time.ISO8601 t => HPQ.Name -> t -> Field c unsafePgFormatTime :: Name -> t -> Field c unsafePgFormatTime Name typeName = Name -> Name -> Field c forall (n :: Nullability) c. Name -> Name -> Field_ n c castToType Name typeName (Name -> Field c) -> (t -> Name) -> t -> Field c forall b c a. (b -> c) -> (a -> b) -> a -> c . t -> Name format where format :: t -> Name format = Name -> Name quote (Name -> Name) -> (t -> Name) -> t -> Name forall b c a. (b -> c) -> (a -> b) -> a -> c . t -> Name forall t. ISO8601 t => t -> Name Time.iso8601Show quote :: Name -> Name quote Name s = Name "'" Name -> Name -> Name forall a. [a] -> [a] -> [a] ++ Name s Name -> Name -> Name forall a. [a] -> [a] -> [a] ++ Name "'" literalColumn :: forall a. IsSqlType a => HPQ.Literal -> Field a literalColumn :: Literal -> Field a literalColumn = PrimExpr -> Field a forall (n :: Nullability) sqlType. PrimExpr -> Field_ n sqlType Column (PrimExpr -> Field a) -> (Literal -> PrimExpr) -> Literal -> Field a forall b c a. (b -> c) -> (a -> b) -> a -> c . Name -> PrimExpr -> PrimExpr HPQ.CastExpr (Proxy a -> Name forall sqlType (proxy :: * -> *). IsSqlType sqlType => proxy sqlType -> Name showSqlType (Proxy a forall k (t :: k). Proxy t Proxy :: Proxy a)) (PrimExpr -> PrimExpr) -> (Literal -> PrimExpr) -> Literal -> PrimExpr forall b c a. (b -> c) -> (a -> b) -> a -> c . Literal -> PrimExpr HPQ.ConstExpr castToType :: HPQ.Name -> String -> Field_ n c castToType :: Name -> Name -> Field_ n c castToType Name typeName = PrimExpr -> Field_ n c forall (n :: Nullability) sqlType. PrimExpr -> Field_ n sqlType Column (PrimExpr -> Field_ n c) -> (Name -> PrimExpr) -> Name -> Field_ n c forall b c a. (b -> c) -> (a -> b) -> a -> c . Name -> PrimExpr -> PrimExpr HPQ.CastExpr Name typeName (PrimExpr -> PrimExpr) -> (Name -> PrimExpr) -> Name -> PrimExpr forall b c a. (b -> c) -> (a -> b) -> a -> c . Literal -> PrimExpr HPQ.ConstExpr (Literal -> PrimExpr) -> (Name -> Literal) -> Name -> PrimExpr forall b c a. (b -> c) -> (a -> b) -> a -> c . Name -> Literal HPQ.OtherLit strictDecodeUtf8 :: SByteString.ByteString -> String strictDecodeUtf8 :: ByteString -> Name strictDecodeUtf8 = Text -> Name SText.unpack (Text -> Name) -> (ByteString -> Text) -> ByteString -> Name forall b c a. (b -> c) -> (a -> b) -> a -> c . ByteString -> Text STextEncoding.decodeUtf8 lazyDecodeUtf8 :: LByteString.ByteString -> String lazyDecodeUtf8 :: ByteString -> Name lazyDecodeUtf8 = Text -> Name LText.unpack (Text -> Name) -> (ByteString -> Text) -> ByteString -> Name forall b c a. (b -> c) -> (a -> b) -> a -> c . ByteString -> Text LTextEncoding.decodeUtf8 class IsSqlType sqlType where showSqlType :: proxy sqlType -> String {-# MINIMAL showSqlType #-}