Database.Seakale.FromRow

Documentation

data RowParser backend :: Nat -> * -> *

A pseudo-monad in which parsing of rows is done. Because it is counting the number of fields consumed, it can't be made an instance of Monad.

Instances

Functor (RowParser backend n)

Methods

fmap :: (a -> b) -> RowParser backend n a -> RowParser backend n b

(<$) :: a -> RowParser backend n b -> RowParser backend n a

pmap :: (a -> b) -> RowParser backend n a -> RowParser backend n b

For consistency with the following functions, pmap is given in addition to fmap.

ppure :: a -> RowParser backend Zero a

Equivalent of pure and return.

preturn :: a -> RowParser backend Zero a

Equivalent of pure and return.

papply :: RowParser backend n (a -> b) -> RowParser backend m a -> RowParser backend (n :+ m) b

Equivalent of '(*)'

pbind :: RowParser backend n a -> (a -> RowParser backend m b) -> RowParser backend (n :+ m) b

Equivalent of '(>>=)'.

pfail :: String -> RowParser backend n a

Equivalent of fail from Monad.

pempty :: RowParser backend n a

Equivalent of empty from Alternative.

por :: RowParser backend n a -> RowParser backend n a -> RowParser backend n a

Equivalent of '(|)' from Alternative.

pbackend :: RowParser backend Zero backend

Return the underlying SQL backend.

pconsume :: RowParser backend One (ColumnInfo backend, Field backend)

Return the next column.

class FromRow backend n a | a -> n where

Methods

fromRow :: RowParser backend n a

fromRow :: (Generic a, GFromRow backend ReadCon n (Rep a), n ~ (n :+ Zero)) => RowParser backend n a

Instances

FromRow backend One Float

Methods

fromRow :: RowParser backend One Float

FromRow backend One Double

Methods

fromRow :: RowParser backend One Double

FromRow backend One Integer

Methods

fromRow :: RowParser backend One Integer

FromRow backend One Int64

Methods

fromRow :: RowParser backend One Int64

FromRow backend One Int32

Methods

fromRow :: RowParser backend One Int32

FromRow backend One Int16

Methods

fromRow :: RowParser backend One Int16

FromRow backend One Int8

Methods

fromRow :: RowParser backend One Int8

FromRow backend One Int

Methods

fromRow :: RowParser backend One Int

FromRow backend One Text

Methods

fromRow :: RowParser backend One Text

FromRow backend One Text

Methods

fromRow :: RowParser backend One Text

FromRow backend One ByteString

Methods

fromRow :: RowParser backend One ByteString

FromRow backend One ByteString

Methods

fromRow :: RowParser backend One ByteString

Backend backend => FromRow backend Zero ()

Methods

fromRow :: RowParser backend Zero ()

FromRow backend One Null

Methods

fromRow :: RowParser backend One Null

(FromRow backend k a, FromRow backend k (Vector k Null)) => FromRow backend k (Maybe a)

Methods

fromRow :: RowParser backend k (Maybe a)

(FromRow backend k (EntityID a), FromRow backend l a, (~) Nat ((:+) k l) i) => FromRow backend i (Entity a)

Methods

fromRow :: RowParser backend i (Entity a)

(FromRow backend k (Maybe (EntityID a)), FromRow backend l (Maybe (EntityID b)), (~) Nat ((:+) k l) i) => FromRow backend i (EntityID (FullJoin a b))

Methods

fromRow :: RowParser backend i (EntityID (FullJoin a b))

(FromRow backend k (EntityID a), FromRow backend l (EntityID b), (~) Nat ((:+) k l) i) => FromRow backend i (EntityID (InnerJoin a b))

Methods

fromRow :: RowParser backend i (EntityID (InnerJoin a b))

(FromRow backend k (Maybe (EntityID a)), FromRow backend l (EntityID b), (~) Nat ((:+) k l) i) => FromRow backend i (EntityID (RightJoin a b))

Methods

fromRow :: RowParser backend i (EntityID (RightJoin a b))

(FromRow backend k (EntityID a), FromRow backend l (Maybe (EntityID b)), (~) Nat ((:+) k l) i) => FromRow backend i (EntityID (LeftJoin a b))

Methods

fromRow :: RowParser backend i (EntityID (LeftJoin a b))

(FromRow backend k a, FromRow backend l b, (~) Nat ((:+) k l) i) => FromRow backend i (a, b)

Methods

fromRow :: RowParser backend i (a, b)

FromRow backend Zero (Vector Zero a)

Methods

fromRow :: RowParser backend Zero (Vector Zero a)

(FromRow backend k (Maybe a), FromRow backend l (Maybe b), (~) Nat ((:+) k l) i) => FromRow backend i (FullJoin a b)

Methods

fromRow :: RowParser backend i (FullJoin a b)

(FromRow backend k a, FromRow backend l b, (~) Nat ((:+) k l) i) => FromRow backend i (InnerJoin a b)

Methods

fromRow :: RowParser backend i (InnerJoin a b)

(FromRow backend k (Maybe a), FromRow backend l b, (~) Nat ((:+) k l) i) => FromRow backend i (RightJoin a b)

Methods

fromRow :: RowParser backend i (RightJoin a b)

(FromRow backend k a, FromRow backend l (Maybe b), (~) Nat ((:+) k l) i) => FromRow backend i (LeftJoin a b)

Methods

fromRow :: RowParser backend i (LeftJoin a b)

(FromRow backend k a, FromRow backend l b, FromRow backend i c, (~) Nat ((:+) ((:+) k l) i) j) => FromRow backend j (a, b, c)

Methods

fromRow :: RowParser backend j (a, b, c)

(FromRow backend One a, FromRow backend n (Vector n a)) => FromRow backend (S n) (Vector (S n) a)

Methods

fromRow :: RowParser backend (S n) (Vector (S n) a)

parseRows :: RowParser backend n a -> backend -> [ColumnInfo backend] -> [Row backend] -> Either String [a]

Try to parse rows given a row parser and the SQL backend.

parseRow :: RowParser backend n a -> backend -> [ColumnInfo backend] -> Row backend -> Either String a

maybeParser :: forall backend k a. FromRow backend k (Vector k Null) => RowParser backend k a -> RowParser backend k (Maybe a)