Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Beam.Backend.SQL.Row

Synopsis

data FromBackendRowF be f where
- ParseOneField :: (BackendFromField be a, Typeable a) => (a -> f) -> FromBackendRowF be f
- Alt :: FromBackendRowM be a -> FromBackendRowM be a -> (a -> f) -> FromBackendRowF be f
- FailParseWith :: BeamRowReadError -> FromBackendRowF be f
newtype FromBackendRowM be a = FromBackendRowM (F (FromBackendRowF be) a)
parseOneField :: (BackendFromField be a, Typeable a) => FromBackendRowM be a
peekField :: (Typeable a, BackendFromField be a) => FromBackendRowM be (Maybe a)
data ColumnParseError
- = ColumnUnexpectedNull
- | ColumnNotEnoughColumns !Int
- | ColumnTypeMismatch {
  - ctmHaskellType :: String
  - ctmSQLType :: String
  - ctmMessage :: String
  }
- | ColumnErrorInternal String
data BeamRowReadError = BeamRowReadError {
- brreColumn :: !(Maybe Int)
- brreError :: !ColumnParseError
}
class BeamBackend be => FromBackendRow be a where
- fromBackendRow :: FromBackendRowM be a
- valuesNeeded :: Proxy be -> Proxy a -> Int

Documentation

data FromBackendRowF be f where Source #

Constructors

ParseOneField :: (BackendFromField be a, Typeable a) => (a -> f) -> FromBackendRowF be f
Alt :: FromBackendRowM be a -> FromBackendRowM be a -> (a -> f) -> FromBackendRowF be f
FailParseWith :: BeamRowReadError -> FromBackendRowF be f

Instances

Instances details

Functor (FromBackendRowF be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fmap :: (a -> b) -> FromBackendRowF be a -> FromBackendRowF be b # (<$) :: a -> FromBackendRowF be b -> FromBackendRowF be a #

newtype FromBackendRowM be a Source #

Constructors

FromBackendRowM (F (FromBackendRowF be) a)

Instances

Instances details

MonadFail (FromBackendRowM be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fail :: String -> FromBackendRowM be a #
Alternative (FromBackendRowM be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods empty :: FromBackendRowM be a # (<\|>) :: FromBackendRowM be a -> FromBackendRowM be a -> FromBackendRowM be a # some :: FromBackendRowM be a -> FromBackendRowM be [a] # many :: FromBackendRowM be a -> FromBackendRowM be [a] #
Applicative (FromBackendRowM be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods pure :: a -> FromBackendRowM be a # (<>) :: FromBackendRowM be (a -> b) -> FromBackendRowM be a -> FromBackendRowM be b # liftA2 :: (a -> b -> c) -> FromBackendRowM be a -> FromBackendRowM be b -> FromBackendRowM be c # (>) :: FromBackendRowM be a -> FromBackendRowM be b -> FromBackendRowM be b # (<*) :: FromBackendRowM be a -> FromBackendRowM be b -> FromBackendRowM be a #
Functor (FromBackendRowM be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fmap :: (a -> b) -> FromBackendRowM be a -> FromBackendRowM be b # (<$) :: a -> FromBackendRowM be b -> FromBackendRowM be a #
Monad (FromBackendRowM be) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods (>>=) :: FromBackendRowM be a -> (a -> FromBackendRowM be b) -> FromBackendRowM be b # (>>) :: FromBackendRowM be a -> FromBackendRowM be b -> FromBackendRowM be b # return :: a -> FromBackendRowM be a #

parseOneField :: (BackendFromField be a, Typeable a) => FromBackendRowM be a Source #

peekField :: (Typeable a, BackendFromField be a) => FromBackendRowM be (Maybe a) Source #

data ColumnParseError Source #

The exact error encountered

Constructors

ColumnUnexpectedNull
ColumnNotEnoughColumns !Int
ColumnTypeMismatch
Fields ctmHaskellType :: String ctmSQLType :: String ctmMessage :: String
ColumnErrorInternal String

Instances

Instances details

Show ColumnParseError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods showsPrec :: Int -> ColumnParseError -> ShowS # show :: ColumnParseError -> String # showList :: [ColumnParseError] -> ShowS #
Eq ColumnParseError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods (==) :: ColumnParseError -> ColumnParseError -> Bool # (/=) :: ColumnParseError -> ColumnParseError -> Bool #
Ord ColumnParseError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods compare :: ColumnParseError -> ColumnParseError -> Ordering # (<) :: ColumnParseError -> ColumnParseError -> Bool # (<=) :: ColumnParseError -> ColumnParseError -> Bool # (>) :: ColumnParseError -> ColumnParseError -> Bool # (>=) :: ColumnParseError -> ColumnParseError -> Bool # max :: ColumnParseError -> ColumnParseError -> ColumnParseError # min :: ColumnParseError -> ColumnParseError -> ColumnParseError #

data BeamRowReadError Source #

An error that may occur when parsing a row. Contains an optional annotation of which column was being parsed (if available).

Constructors

BeamRowReadError
Fields brreColumn :: !(Maybe Int) brreError :: !ColumnParseError

Instances

Instances details

Exception BeamRowReadError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods toException :: BeamRowReadError -> SomeException # fromException :: SomeException -> Maybe BeamRowReadError # displayException :: BeamRowReadError -> String #
Show BeamRowReadError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods showsPrec :: Int -> BeamRowReadError -> ShowS # show :: BeamRowReadError -> String # showList :: [BeamRowReadError] -> ShowS #
Eq BeamRowReadError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods (==) :: BeamRowReadError -> BeamRowReadError -> Bool # (/=) :: BeamRowReadError -> BeamRowReadError -> Bool #
Ord BeamRowReadError Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods compare :: BeamRowReadError -> BeamRowReadError -> Ordering # (<) :: BeamRowReadError -> BeamRowReadError -> Bool # (<=) :: BeamRowReadError -> BeamRowReadError -> Bool # (>) :: BeamRowReadError -> BeamRowReadError -> Bool # (>=) :: BeamRowReadError -> BeamRowReadError -> Bool # max :: BeamRowReadError -> BeamRowReadError -> BeamRowReadError # min :: BeamRowReadError -> BeamRowReadError -> BeamRowReadError #

class BeamBackend be => FromBackendRow be a where Source #

Minimal complete definition

Nothing

Methods

fromBackendRow :: FromBackendRowM be a Source #

Parses a beam row. This should not fail, except in the case of an internal bug in beam deserialization code. If it does fail, this should throw a BeamRowParseError.

default fromBackendRow :: (Typeable a, BackendFromField be a) => FromBackendRowM be a Source #

valuesNeeded :: Proxy be -> Proxy a -> Int Source #

Instances

Instances details

BeamBackend be => FromBackendRow be () Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be () Source # valuesNeeded :: Proxy be -> Proxy () -> Int Source #
FromBackendRow be x => FromBackendRow be (SqlSerial x) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (SqlSerial x) Source # valuesNeeded :: Proxy be -> Proxy (SqlSerial x) -> Int Source #
(FromBackendRow be x, FromBackendRow be SqlNull) => FromBackendRow be (Maybe x) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (Maybe x) Source # valuesNeeded :: Proxy be -> Proxy (Maybe x) -> Int Source #
(BeamBackend be, Generic (tbl Identity), Generic (tbl Exposed), GFromBackendRow be (Rep (tbl Exposed)) (Rep (tbl Identity))) => FromBackendRow be (tbl Identity) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl Identity) Source # valuesNeeded :: Proxy be -> Proxy (tbl Identity) -> Int Source #
(BeamBackend be, Generic (tbl (Nullable Identity)), Generic (tbl (Nullable Exposed)), GFromBackendRow be (Rep (tbl (Nullable Exposed))) (Rep (tbl (Nullable Identity)))) => FromBackendRow be (tbl (Nullable Identity)) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (tbl (Nullable Identity)) Source # valuesNeeded :: Proxy be -> Proxy (tbl (Nullable Identity)) -> Int Source #
(BeamBackend be, KnownNat n, FromBackendRow be a) => FromBackendRow be (Vector n a) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (Vector n a) Source # valuesNeeded :: Proxy be -> Proxy (Vector n a) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b) => FromBackendRow be (a, b) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b) Source # valuesNeeded :: Proxy be -> Proxy (a, b) -> Int Source #
(BeamBackend be, FromBackendRow be t) => FromBackendRow be (Tagged tag t) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (Tagged tag t) Source # valuesNeeded :: Proxy be -> Proxy (Tagged tag t) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c) => FromBackendRow be (a, b, c) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d) => FromBackendRow be (a, b, c, d) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e) => FromBackendRow be (a, b, c, d, e) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f) => FromBackendRow be (a, b, c, d, e, f) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f, FromBackendRow be g) => FromBackendRow be (a, b, c, d, e, f, g) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f, g) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f, g) -> Int Source #
(BeamBackend be, FromBackendRow be a, FromBackendRow be b, FromBackendRow be c, FromBackendRow be d, FromBackendRow be e, FromBackendRow be f, FromBackendRow be g, FromBackendRow be h) => FromBackendRow be (a, b, c, d, e, f, g, h) Source #
Instance details Defined in Database.Beam.Backend.SQL.Row Methods fromBackendRow :: FromBackendRowM be (a, b, c, d, e, f, g, h) Source # valuesNeeded :: Proxy be -> Proxy (a, b, c, d, e, f, g, h) -> Int Source #