Database.PostgreSQL.Store.Errand

Errand

data ErrandError

Error during errand

Constructors

NoResult

No Result has been returned.

UserError String

A user has thrown an error.

ExecError ExecStatus ErrorCode ByteString ByteString ByteString

Query execution failed.

ParseError RowError

Result processing failed.

Instances

Eq ErrandError

Methods

(==) :: ErrandError -> ErrandError -> Bool

(/=) :: ErrandError -> ErrandError -> Bool

Show ErrandError

Methods

showsPrec :: Int -> ErrandError -> ShowS

show :: ErrandError -> String

showList :: [ErrandError] -> ShowS

MonadError ErrandError Errand

Methods

throwError :: ErrandError -> Errand a

catchError :: Errand a -> (ErrandError -> Errand a) -> Errand a

data ErrorCode

Error codes

Constructors

UnknownErrorCause ByteString

IntegrityViolation

RestrictViolation

NotNullViolation

ForeignKeyViolation

UniqueViolation

CheckViolation

ExclusionViolation

Instances

Eq ErrorCode

Methods

(==) :: ErrorCode -> ErrorCode -> Bool

(/=) :: ErrorCode -> ErrorCode -> Bool

Show ErrorCode

Methods

showsPrec :: Int -> ErrorCode -> ShowS

show :: ErrorCode -> String

showList :: [ErrorCode] -> ShowS

data Errand a

An interaction with the database

Instances

Monad Errand

Methods

(>>=) :: Errand a -> (a -> Errand b) -> Errand b

(>>) :: Errand a -> Errand b -> Errand b

return :: a -> Errand a

fail :: String -> Errand a

Functor Errand

Methods

fmap :: (a -> b) -> Errand a -> Errand b

(<$) :: a -> Errand b -> Errand a

Applicative Errand

Methods

pure :: a -> Errand a

(<*>) :: Errand (a -> b) -> Errand a -> Errand b

(*>) :: Errand a -> Errand b -> Errand b

(<*) :: Errand a -> Errand b -> Errand a

MonadIO Errand

Methods

liftIO :: IO a -> Errand a

MonadError ErrandError Errand

Methods

throwError :: ErrandError -> Errand a

catchError :: Errand a -> (ErrandError -> Errand a) -> Errand a

runErrand :: Connection -> Errand a -> IO (Either ErrandError a)

Run an errand.

execute :: Query a -> Errand Result

Execute a query and return the internal raw result.

execute' :: Query a -> Errand Int

Same as execute but instead of a Result it returns the number of affected rows.

query :: Entity a => Query a -> Errand [a]

Execute a query and process its result set.

queryWith :: Query a -> RowParser a -> Errand [a]

Execute a query and process its result set using the provided RowParser.

insert :: TableEntity a => a -> Errand Bool

Insert a row into a Table.

insertMany :: TableEntity a => [a] -> Errand Int

Insert many rows into a Table.

deleteAll :: TableEntity a => proxy a -> Errand Int

Delete all rows of a Table.

findAll :: TableEntity a => Errand [a]

Find every row of a Table.

create :: TableEntity a => proxy a -> Errand ()

Create the given Table type.