Polysemy.Db

Documentation

The Polysemy effects Store and Query provide a high-level abstraction of database operations for CRUD and arbitrary queries.

Effects

data QStore f q d :: Effect

type Store i d = QStore Maybe i (Uid i d)

insert :: forall f i d r. Member (QStore f i d) r => d -> Sem r ()

upsert :: forall f i d r. Member (QStore f i d) r => d -> Sem r ()

delete :: forall f i d r. Member (QStore f i d) r => i -> Sem r (f d)

deleteAll :: forall f i d r. Member (QStore f i d) r => Sem r [d]

fetch :: forall f i d r. Member (QStore f i d) r => i -> Sem r (f d)

fetchAll :: forall f i d r. Member (QStore f i d) r => Sem r [d]

elem :: forall i d r. Member (Store i d) r => i -> Sem r Bool

fetchPayload :: forall i d r. Member (Store i d) r => i -> Sem r (Maybe d)

alter :: forall i d r. Member (Store i d) r => i -> (d -> d) -> Sem r ()

data Query q o :: Effect

query :: forall q o r. Member (Query q o) r => q -> Sem r o

data Random a :: Effect

random :: forall a r. Member (Random a) r => Sem r a

randomR :: forall a r. Member (Random a) r => (a, a) -> Sem r a

data Id i :: Effect

newId :: forall i r. Member (Id i) r => Sem r i

Interpreters

interpretStoreConc :: forall i a r. Ord i => Show i => Member (Embed IO) r => PureStore i a -> InterpretersFor [Store i a !! DbError, AtomicState (PureStore i a)] r

interpretStoreLocal :: forall i a r. Ord i => Show i => PureStore i a -> InterpretersFor [Store i a !! DbError, State (PureStore i a)] r

interpretStoreAtomicState :: forall i a r. Ord i => Show i => Member (AtomicState (PureStore i a)) r => InterpreterFor (Store i a !! DbError) r

interpretStoreState :: forall i a r. Ord i => Show i => Member (State (PureStore i a)) r => InterpreterFor (Store i a !! DbError) r

interpretStoreNull :: InterpreterFor (Store i a !! e) r

newtype PureStore i a

Constructors

PureStore (Map i (Uid i a))

Instances

Ord i => Monoid (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Methods

mempty :: PureStore i a

mappend :: PureStore i a -> PureStore i a -> PureStore i a

mconcat :: [PureStore i a] -> PureStore i a

Ord i => Semigroup (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Methods

(<>) :: PureStore i a -> PureStore i a -> PureStore i a

sconcat :: NonEmpty (PureStore i a) -> PureStore i a

stimes :: Integral b => b -> PureStore i a -> PureStore i a

Generic (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Associated Types

type Rep (PureStore i a) :: Type -> Type

Methods

from :: PureStore i a -> Rep (PureStore i a) x

to :: Rep (PureStore i a) x -> PureStore i a

(Show i, Show a) => Show (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Methods

showsPrec :: Int -> PureStore i a -> ShowS

show :: PureStore i a -> String

showList :: [PureStore i a] -> ShowS

Default (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Methods

def :: PureStore i a

(Eq i, Eq a) => Eq (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

Methods

(==) :: PureStore i a -> PureStore i a -> Bool

(/=) :: PureStore i a -> PureStore i a -> Bool

type Rep (PureStore i a)

Defined in Polysemy.Db.Interpreter.Store

type Rep (PureStore i a) = D1 ('MetaData "PureStore" "Polysemy.Db.Interpreter.Store" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "PureStore" 'PrefixI 'True) (S1 ('MetaSel ('Just "records") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map i (Uid i a)))))

pureStore :: Ord i => [Uid i a] -> PureStore i a

interpretQueryConc :: Ord i => QueryCheckResult f => Member (Embed IO) r => (q -> Uid i a -> Maybe d) -> [Uid i a] -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryConst :: Ord q => QueryCheckResult f => Map q [d] -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryAtomicState :: forall i a d q f r. Member (AtomicState (PureStore i a)) r => QueryCheckResult f => (q -> Uid i a -> Maybe d) -> InterpreterFor (Query q (f d) !! DbError) r

interpretQueryStoreConc :: Ord i => Show i => QueryCheckResult f => Member (Embed IO) r => (q -> Uid i a -> Maybe d) -> [Uid i a] -> InterpretersFor [Query q (f d) !! DbError, Store i a !! DbError, AtomicState (PureStore i a)] r

interpretQueryStoreAny :: forall q d i e r. Member (Store i d !! e) r => (q -> d -> Bool) -> InterpreterFor (Query q Bool !! e) r

interpretRandom :: forall a r. Random a => Member (Embed IO) r => InterpreterFor (Random a) r

interpretRandomAtomic :: forall a q r. Random a => RandomGen q => Member (Embed IO) r => q -> InterpreterFor (Random a) r

interpretRandomState :: forall a q r. Random a => RandomGen q => q -> InterpreterFor (Random a) r

interpretRandomAtomicState :: forall a q r. Random a => RandomGen q => Member (AtomicState q) r => InterpreterFor (Random a) r

interpretIdUuid :: Member (Random UUID) r => InterpreterFor (Id UUID) r

interpretIdUuidIO :: Member (Embed IO) r => InterpreterFor (Id UUID) r

interpretIdAtomicState :: forall i r. Members [AtomicState [i], Error Text] r => InterpreterFor (Id i) r

interpretIdNum :: forall i r. Member (Embed IO) r => Num i => InterpreterFor (Id i) r

interpretIdNumFrom :: forall i r. Member (Embed IO) r => Num i => i -> InterpreterFor (Id i) r

interpretIdNumLocal :: forall i r. Num i => InterpreterFor (Id i) r

interpretIdList :: forall i r. Members [Error Text, Embed IO] r => [i] -> InterpreterFor (Id i) r

interpretIdConst :: forall i r. i -> InterpreterFor (Id i) r

interpretIdUuidZero :: InterpreterFor (Id UUID) r

interpretAtomicStateStore :: forall tag d err r. Members [QStore Maybe () d !! err, Lock @@ tag] r => Sem (Stop err ': r) d -> InterpreterFor (AtomicState d !! err) r

Interpret AtomicState as a singleton table.

Given an action that produces an initial value, every action reads the value from the database and writes it back.

interpretAtomicStateStoreAs :: forall tag d err r. Members [QStore Maybe () d !! err, Lock @@ tag] r => d -> InterpreterFor (AtomicState d !! err) r

Interpret AtomicState as a singleton table.

Given an initial value, every action reads the value from the database and writes it back.

interpretAtomicStateStoreScoped :: forall tag param d err r. Members [Scoped param (QStore Maybe () d !! err) !! err, Lock @@ tag] r => Sem (Stop err ': r) d -> InterpreterFor (Scoped param (AtomicState d !! err) !! err) r

interpretAtomicStateStoreScopedAs :: forall tag param d err r. Members [Scoped param (QStore Maybe () d !! err) !! err, Lock @@ tag] r => d -> InterpreterFor (Scoped param (AtomicState d !! err) !! err) r

interpretAtomicStatesStore :: forall tag param d err r. Members [QStore Maybe () d !! err, Scoped param (QStore Maybe () d !! err) !! err, Lock @@ tag] r => Sem (Stop err ': r) d -> InterpretersFor [AtomicState d !! err, Scoped param (AtomicState d !! err) !! err] r

interpretReaderStore :: forall d e r. Member (QStore Maybe () d !! e) r => Sem r d -> InterpreterFor (Reader d !! e) r

Interpret Reader as a singleton table.

Given an initial value, every action reads the value from the database, potentially writing it on first access.

interpretReaderStoreAs :: forall d e r. Member (QStore Maybe () d !! e) r => d -> InterpreterFor (Reader d !! e) r

Config

data DbConfig

Connection information for a database. >>> DbConfig "localhost" 5432 "users" "post" "gres"

Constructors

DbConfig DbHost DbPort DbName DbUser DbPassword

Instances

FromJSON DbConfig

Defined in Polysemy.Db.Data.DbConfig

Methods

parseJSON :: Value -> Parser DbConfig

parseJSONList :: Value -> Parser [DbConfig]

ToJSON DbConfig

Defined in Polysemy.Db.Data.DbConfig

Methods

toJSON :: DbConfig -> Value

toEncoding :: DbConfig -> Encoding

toJSONList :: [DbConfig] -> Value

toEncodingList :: [DbConfig] -> Encoding

Generic DbConfig

Defined in Polysemy.Db.Data.DbConfig

Associated Types

type Rep DbConfig :: Type -> Type

Methods

from :: DbConfig -> Rep DbConfig x

to :: Rep DbConfig x -> DbConfig

Show DbConfig

Defined in Polysemy.Db.Data.DbConfig

Methods

showsPrec :: Int -> DbConfig -> ShowS

show :: DbConfig -> String

showList :: [DbConfig] -> ShowS

Eq DbConfig

Defined in Polysemy.Db.Data.DbConfig

Methods

(==) :: DbConfig -> DbConfig -> Bool

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

type Rep DbConfig

Defined in Polysemy.Db.Data.DbConfig

type Rep DbConfig = D1 ('MetaData "DbConfig" "Polysemy.Db.Data.DbConfig" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'False) (C1 ('MetaCons "DbConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "host") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DbHost) :*: S1 ('MetaSel ('Just "port") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DbPort)) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DbName) :*: (S1 ('MetaSel ('Just "user") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DbUser) :*: S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DbPassword)))))

newtype DbHost

Constructors

DbHost

Fields

• unDbHost :: Text

Instances

FromJSON DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

parseJSON :: Value -> Parser DbHost

parseJSONList :: Value -> Parser [DbHost]

ToJSON DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

toJSON :: DbHost -> Value

toEncoding :: DbHost -> Encoding

toJSONList :: [DbHost] -> Value

toEncodingList :: [DbHost] -> Encoding

IsString DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

fromString :: String -> DbHost

Generic DbHost

Defined in Polysemy.Db.Data.DbHost

Associated Types

type Rep DbHost :: Type -> Type

Methods

from :: DbHost -> Rep DbHost x

to :: Rep DbHost x -> DbHost

Show DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

showsPrec :: Int -> DbHost -> ShowS

show :: DbHost -> String

showList :: [DbHost] -> ShowS

Default DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

def :: DbHost

Eq DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

(==) :: DbHost -> DbHost -> Bool

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

Ord DbHost

Defined in Polysemy.Db.Data.DbHost

Methods

compare :: DbHost -> DbHost -> Ordering

(<) :: DbHost -> DbHost -> Bool

(<=) :: DbHost -> DbHost -> Bool

(>) :: DbHost -> DbHost -> Bool

(>=) :: DbHost -> DbHost -> Bool

max :: DbHost -> DbHost -> DbHost

min :: DbHost -> DbHost -> DbHost

type Rep DbHost

Defined in Polysemy.Db.Data.DbHost

type Rep DbHost = D1 ('MetaData "DbHost" "Polysemy.Db.Data.DbHost" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "DbHost" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDbHost") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype DbPort

Constructors

DbPort

Fields

• unDbPort :: Int

Instances

FromJSON DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

parseJSON :: Value -> Parser DbPort

parseJSONList :: Value -> Parser [DbPort]

ToJSON DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

toJSON :: DbPort -> Value

toEncoding :: DbPort -> Encoding

toJSONList :: [DbPort] -> Value

toEncodingList :: [DbPort] -> Encoding

Enum DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

succ :: DbPort -> DbPort

pred :: DbPort -> DbPort

toEnum :: Int -> DbPort

fromEnum :: DbPort -> Int

enumFrom :: DbPort -> [DbPort]

enumFromThen :: DbPort -> DbPort -> [DbPort]

enumFromTo :: DbPort -> DbPort -> [DbPort]

enumFromThenTo :: DbPort -> DbPort -> DbPort -> [DbPort]

Generic DbPort

Defined in Polysemy.Db.Data.DbPort

Associated Types

type Rep DbPort :: Type -> Type

Methods

from :: DbPort -> Rep DbPort x

to :: Rep DbPort x -> DbPort

Num DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

(+) :: DbPort -> DbPort -> DbPort

(-) :: DbPort -> DbPort -> DbPort

(*) :: DbPort -> DbPort -> DbPort

negate :: DbPort -> DbPort

abs :: DbPort -> DbPort

signum :: DbPort -> DbPort

fromInteger :: Integer -> DbPort

Read DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

readsPrec :: Int -> ReadS DbPort

readList :: ReadS [DbPort]

readPrec :: ReadPrec DbPort

readListPrec :: ReadPrec [DbPort]

Integral DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

quot :: DbPort -> DbPort -> DbPort

rem :: DbPort -> DbPort -> DbPort

div :: DbPort -> DbPort -> DbPort

mod :: DbPort -> DbPort -> DbPort

quotRem :: DbPort -> DbPort -> (DbPort, DbPort)

divMod :: DbPort -> DbPort -> (DbPort, DbPort)

toInteger :: DbPort -> Integer

Real DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

toRational :: DbPort -> Rational

Show DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

showsPrec :: Int -> DbPort -> ShowS

show :: DbPort -> String

showList :: [DbPort] -> ShowS

Default DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

def :: DbPort

Eq DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

(==) :: DbPort -> DbPort -> Bool

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

Ord DbPort

Defined in Polysemy.Db.Data.DbPort

Methods

compare :: DbPort -> DbPort -> Ordering

(<) :: DbPort -> DbPort -> Bool

(<=) :: DbPort -> DbPort -> Bool

(>) :: DbPort -> DbPort -> Bool

(>=) :: DbPort -> DbPort -> Bool

max :: DbPort -> DbPort -> DbPort

min :: DbPort -> DbPort -> DbPort

type Rep DbPort

Defined in Polysemy.Db.Data.DbPort

type Rep DbPort = D1 ('MetaData "DbPort" "Polysemy.Db.Data.DbPort" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "DbPort" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDbPort") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype DbName

Constructors

DbName

Fields

• unDbName :: Text

Instances

FromJSON DbName

Defined in Polysemy.Db.Data.DbName

Methods

parseJSON :: Value -> Parser DbName

parseJSONList :: Value -> Parser [DbName]

ToJSON DbName

Defined in Polysemy.Db.Data.DbName

Methods

toJSON :: DbName -> Value

toEncoding :: DbName -> Encoding

toJSONList :: [DbName] -> Value

toEncodingList :: [DbName] -> Encoding

IsString DbName

Defined in Polysemy.Db.Data.DbName

Methods

fromString :: String -> DbName

Generic DbName

Defined in Polysemy.Db.Data.DbName

Associated Types

type Rep DbName :: Type -> Type

Methods

from :: DbName -> Rep DbName x

to :: Rep DbName x -> DbName

Show DbName

Defined in Polysemy.Db.Data.DbName

Methods

showsPrec :: Int -> DbName -> ShowS

show :: DbName -> String

showList :: [DbName] -> ShowS

Eq DbName

Defined in Polysemy.Db.Data.DbName

Methods

(==) :: DbName -> DbName -> Bool

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

Ord DbName

Defined in Polysemy.Db.Data.DbName

Methods

compare :: DbName -> DbName -> Ordering

(<) :: DbName -> DbName -> Bool

(<=) :: DbName -> DbName -> Bool

(>) :: DbName -> DbName -> Bool

(>=) :: DbName -> DbName -> Bool

max :: DbName -> DbName -> DbName

min :: DbName -> DbName -> DbName

type Rep DbName

Defined in Polysemy.Db.Data.DbName

type Rep DbName = D1 ('MetaData "DbName" "Polysemy.Db.Data.DbName" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "DbName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDbName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype DbUser

Constructors

DbUser

Fields

• unDbUser :: Text

Instances

FromJSON DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

parseJSON :: Value -> Parser DbUser

parseJSONList :: Value -> Parser [DbUser]

ToJSON DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

toJSON :: DbUser -> Value

toEncoding :: DbUser -> Encoding

toJSONList :: [DbUser] -> Value

toEncodingList :: [DbUser] -> Encoding

IsString DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

fromString :: String -> DbUser

Generic DbUser

Defined in Polysemy.Db.Data.DbUser

Associated Types

type Rep DbUser :: Type -> Type

Methods

from :: DbUser -> Rep DbUser x

to :: Rep DbUser x -> DbUser

Show DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

showsPrec :: Int -> DbUser -> ShowS

show :: DbUser -> String

showList :: [DbUser] -> ShowS

Eq DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

(==) :: DbUser -> DbUser -> Bool

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

Ord DbUser

Defined in Polysemy.Db.Data.DbUser

Methods

compare :: DbUser -> DbUser -> Ordering

(<) :: DbUser -> DbUser -> Bool

(<=) :: DbUser -> DbUser -> Bool

(>) :: DbUser -> DbUser -> Bool

(>=) :: DbUser -> DbUser -> Bool

max :: DbUser -> DbUser -> DbUser

min :: DbUser -> DbUser -> DbUser

type Rep DbUser

Defined in Polysemy.Db.Data.DbUser

type Rep DbUser = D1 ('MetaData "DbUser" "Polysemy.Db.Data.DbUser" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "DbUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDbUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype DbPassword

Constructors

DbPassword

Fields

• unDbPassword :: Text

Instances

FromJSON DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

parseJSON :: Value -> Parser DbPassword

parseJSONList :: Value -> Parser [DbPassword]

ToJSON DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

toJSON :: DbPassword -> Value

toEncoding :: DbPassword -> Encoding

toJSONList :: [DbPassword] -> Value

toEncodingList :: [DbPassword] -> Encoding

IsString DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

fromString :: String -> DbPassword

Generic DbPassword

Defined in Polysemy.Db.Data.DbPassword

Associated Types

type Rep DbPassword :: Type -> Type

Methods

from :: DbPassword -> Rep DbPassword x

to :: Rep DbPassword x -> DbPassword

Show DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

showsPrec :: Int -> DbPassword -> ShowS

show :: DbPassword -> String

showList :: [DbPassword] -> ShowS

Eq DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

(==) :: DbPassword -> DbPassword -> Bool

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

Ord DbPassword

Defined in Polysemy.Db.Data.DbPassword

Methods

compare :: DbPassword -> DbPassword -> Ordering

(<) :: DbPassword -> DbPassword -> Bool

(<=) :: DbPassword -> DbPassword -> Bool

(>) :: DbPassword -> DbPassword -> Bool

(>=) :: DbPassword -> DbPassword -> Bool

max :: DbPassword -> DbPassword -> DbPassword

min :: DbPassword -> DbPassword -> DbPassword

type Rep DbPassword

Defined in Polysemy.Db.Data.DbPassword

type Rep DbPassword = D1 ('MetaData "DbPassword" "Polysemy.Db.Data.DbPassword" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "DbPassword" 'PrefixI 'True) (S1 ('MetaSel ('Just "unDbPassword") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Errors

data DbError

Instances

IsString DbError

Defined in Polysemy.Db.Data.DbError

Methods

fromString :: String -> DbError

Show DbError

Defined in Polysemy.Db.Data.DbError

Methods

showsPrec :: Int -> DbError -> ShowS

show :: DbError -> String

showList :: [DbError] -> ShowS

Eq DbError

Defined in Polysemy.Db.Data.DbError

Methods

(==) :: DbError -> DbError -> Bool

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

newtype InitDbError

Constructors

InitDbError

Fields

• unInitDbError :: Text

Instances

IsString InitDbError

Defined in Polysemy.Db.Data.InitDbError

Methods

fromString :: String -> InitDbError

Generic InitDbError

Defined in Polysemy.Db.Data.InitDbError

Associated Types

type Rep InitDbError :: Type -> Type

Methods

from :: InitDbError -> Rep InitDbError x

to :: Rep InitDbError x -> InitDbError

Show InitDbError

Defined in Polysemy.Db.Data.InitDbError

Methods

showsPrec :: Int -> InitDbError -> ShowS

show :: InitDbError -> String

showList :: [InitDbError] -> ShowS

Eq InitDbError

Defined in Polysemy.Db.Data.InitDbError

Methods

(==) :: InitDbError -> InitDbError -> Bool

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

Ord InitDbError

Defined in Polysemy.Db.Data.InitDbError

Methods

compare :: InitDbError -> InitDbError -> Ordering

(<) :: InitDbError -> InitDbError -> Bool

(<=) :: InitDbError -> InitDbError -> Bool

(>) :: InitDbError -> InitDbError -> Bool

(>=) :: InitDbError -> InitDbError -> Bool

max :: InitDbError -> InitDbError -> InitDbError

min :: InitDbError -> InitDbError -> InitDbError

type Rep InitDbError

Defined in Polysemy.Db.Data.InitDbError

type Rep InitDbError = D1 ('MetaData "InitDbError" "Polysemy.Db.Data.InitDbError" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'True) (C1 ('MetaCons "InitDbError" 'PrefixI 'True) (S1 ('MetaSel ('Just "unInitDbError") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data DbConnectionError

Instances

Generic DbConnectionError

Defined in Polysemy.Db.Data.DbConnectionError

Associated Types

type Rep DbConnectionError :: Type -> Type

Methods

from :: DbConnectionError -> Rep DbConnectionError x

to :: Rep DbConnectionError x -> DbConnectionError

Show DbConnectionError

Defined in Polysemy.Db.Data.DbConnectionError

Methods

showsPrec :: Int -> DbConnectionError -> ShowS

show :: DbConnectionError -> String

showList :: [DbConnectionError] -> ShowS

Eq DbConnectionError

Defined in Polysemy.Db.Data.DbConnectionError

Methods

(==) :: DbConnectionError -> DbConnectionError -> Bool

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

type Rep DbConnectionError

Defined in Polysemy.Db.Data.DbConnectionError

type Rep DbConnectionError = D1 ('MetaData "DbConnectionError" "Polysemy.Db.Data.DbConnectionError" "polysemy-db-0.0.1.0-EOjm8REiHHR4cimfBw4Ew6" 'False) ((C1 ('MetaCons "Acquire" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Release" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "Query" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Limit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))