Module

Effect.Postgres.Error

Package: purescript-postgresql
Repository: cakekindel/purescript-postgresql

Re-exports from Effect.Postgres.Error.Common

#Error Source

data Error

Constructors

Instances

Generic Error _
Show Error

#E Source

type E = NonEmptyArray Error

#toString Source

toString :: Error -> String

#toException' Source

toException' :: Error -> Error

#toException Source

toException :: E -> Error

Re-exports from Effect.Postgres.Error.Except

#Except Source

type Except :: (Type -> Type) -> Type -> Typetype Except m = ExceptT E m

Re-exports from Effect.Postgres.Error.RE

#RE Source

newtype RE :: Type -> (Type -> Type) -> Type -> Typenewtype RE r m a

ReaderT with ExceptT E

ReaderT r (ExceptT (NonEmptyList Effect.Postgres.Error.Error) m) a

Constructors

RE (ReaderT r (ExceptT E m) a)

Instances

Newtype (RE r m a) _
(Monad m) => MonadAsk r (RE r m)
(Monad m) => MonadReader r (RE r m)
(Monad m) => Functor (RE r m)
(Monad m) => Apply (RE r m)
(Monad m) => Applicative (RE r m)
(Monad m) => Bind (RE r m)
(Monad m) => Monad (RE r m)
(Monad m) => MonadError E (RE r m)
(Monad m) => MonadThrow E (RE r m)
(MonadRec m) => MonadRec (RE r m)
(MonadEffect m) => MonadEffect (RE r m)
(MonadAff m) => MonadAff (RE r m)
(Monad m, Parallel p m) => Parallel (ParRE r p) (RE r m)
MonadTrans (RE r)
MFunctor (RE r)
MMonad (RE r)
(Monad m) => Alt (RE r m)
(MonadThrow Error m, MonadUnliftEffect m) => MonadUnliftEffect (RE r m)
(MonadThrow Error m, MonadUnliftAff m) => MonadUnliftAff (RE r m)
(MonadBase m (RE r m), MonadThrow Error m) => MonadUnlift m (RE r m)
(Monad m) => MonadBase m (RE r m)
(MonadThrow Error m, MonadFork f m) => MonadFork (Compose f (Either E)) (RE r m)
(MonadKill Error f m) => MonadKill E (Compose f (Either E)) (RE r m)
(MonadEffect m, MonadBracket Error f m) => MonadBracket E (Compose f (Either E)) (RE r m)

#ParRE Source

newtype ParRE :: Type -> (Type -> Type) -> Type -> Typenewtype ParRE r f a

Constructors

ParRE (ReaderT r (Compose f (Either E)) a)

Instances

Newtype (ParRE r m a) _
(Functor m) => Functor (ParRE r m)
(Apply m) => Apply (ParRE r m)
(Applicative m) => Applicative (ParRE r m)
(Alt m) => Alt (ParRE r m)
(Plus m) => Plus (ParRE r m)
(Alternative m) => Alternative (ParRE r m)
(Monad m, Parallel p m) => Parallel (ParRE r p) (RE r m)