Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Db

Contents

Effects
Interpreters
Config
Errors

Synopsis

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
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 = PureStore (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
interpretAtomicStateStoreAs :: forall tag d err r. Members [QStore Maybe () d !! err, Lock @@ tag] r => d -> InterpreterFor (AtomicState d !! err) r
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
interpretReaderStoreAs :: forall d e r. Member (QStore Maybe () d !! e) r => d -> InterpreterFor (Reader d !! e) r
data DbConfig = DbConfig DbHost DbPort DbName DbUser DbPassword
newtype DbHost = DbHost {
- unDbHost :: Text
}
newtype DbPort = DbPort {
- unDbPort :: Int
}
newtype DbName = DbName {
- unDbName :: Text
}
newtype DbUser = DbUser {
- unDbUser :: Text
}
newtype DbPassword = DbPassword {
- unDbPassword :: Text
}
data DbError
newtype InitDbError = InitDbError {
- unInitDbError :: Text
}
data DbConnectionError

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 Source #

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

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

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

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

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

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

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

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

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

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

data Query q o :: Effect Source #

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

data Random a :: Effect Source #

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

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

data Id i :: Effect Source #

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

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 Source #

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

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

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

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

newtype PureStore i a Source #

Constructors

PureStore (Map i (Uid i a))

Instances

Instances details

Ord i => Monoid (PureStore i a) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Polysemy.Db.Interpreter.Store Methods def :: PureStore i a #
(Eq i, Eq a) => Eq (PureStore i a) Source #
Instance details 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) Source #
Instance details 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 Source #

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 Source #

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

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 Source #

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 Source #

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

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

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

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

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

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

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

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

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

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

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

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

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

interpretIdUuidZero :: InterpreterFor (Id UUID) r Source #

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

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 Source #

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 Source #

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 Source #

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 Source #

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

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 Source #

Config

data DbConfig Source #

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

Constructors

DbConfig DbHost DbPort DbName DbUser DbPassword

Instances

Instances details

FromJSON DbConfig Source #
Instance details Defined in Polysemy.Db.Data.DbConfig Methods parseJSON :: Value -> Parser DbConfig # parseJSONList :: Value -> Parser [DbConfig] #
ToJSON DbConfig Source #
Instance details Defined in Polysemy.Db.Data.DbConfig Methods toJSON :: DbConfig -> Value # toEncoding :: DbConfig -> Encoding # toJSONList :: [DbConfig] -> Value # toEncodingList :: [DbConfig] -> Encoding #
Generic DbConfig Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbConfig Methods showsPrec :: Int -> DbConfig -> ShowS # show :: DbConfig -> String # showList :: [DbConfig] -> ShowS #
Eq DbConfig Source #
Instance details Defined in Polysemy.Db.Data.DbConfig Methods (==) :: DbConfig -> DbConfig -> Bool # (/=) :: DbConfig -> DbConfig -> Bool #
type Rep DbConfig Source #
Instance details 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 Source #

Constructors

DbHost
Fields unDbHost :: Text

Instances

Instances details

FromJSON DbHost Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods parseJSON :: Value -> Parser DbHost # parseJSONList :: Value -> Parser [DbHost] #
ToJSON DbHost Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods toJSON :: DbHost -> Value # toEncoding :: DbHost -> Encoding # toJSONList :: [DbHost] -> Value # toEncodingList :: [DbHost] -> Encoding #
IsString DbHost Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods fromString :: String -> DbHost #
Generic DbHost Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods showsPrec :: Int -> DbHost -> ShowS # show :: DbHost -> String # showList :: [DbHost] -> ShowS #
Default DbHost Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods def :: DbHost #
Eq DbHost Source #
Instance details Defined in Polysemy.Db.Data.DbHost Methods (==) :: DbHost -> DbHost -> Bool # (/=) :: DbHost -> DbHost -> Bool #
Ord DbHost Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

DbPort
Fields unDbPort :: Int

Instances

Instances details

FromJSON DbPort Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods parseJSON :: Value -> Parser DbPort # parseJSONList :: Value -> Parser [DbPort] #
ToJSON DbPort Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods toJSON :: DbPort -> Value # toEncoding :: DbPort -> Encoding # toJSONList :: [DbPort] -> Value # toEncodingList :: [DbPort] -> Encoding #
Enum DbPort Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods readsPrec :: Int -> ReadS DbPort # readList :: ReadS [DbPort] # readPrec :: ReadPrec DbPort # readListPrec :: ReadPrec [DbPort] #
Integral DbPort Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods toRational :: DbPort -> Rational #
Show DbPort Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods showsPrec :: Int -> DbPort -> ShowS # show :: DbPort -> String # showList :: [DbPort] -> ShowS #
Default DbPort Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods def :: DbPort #
Eq DbPort Source #
Instance details Defined in Polysemy.Db.Data.DbPort Methods (==) :: DbPort -> DbPort -> Bool # (/=) :: DbPort -> DbPort -> Bool #
Ord DbPort Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

DbName
Fields unDbName :: Text

Instances

Instances details

FromJSON DbName Source #
Instance details Defined in Polysemy.Db.Data.DbName Methods parseJSON :: Value -> Parser DbName # parseJSONList :: Value -> Parser [DbName] #
ToJSON DbName Source #
Instance details Defined in Polysemy.Db.Data.DbName Methods toJSON :: DbName -> Value # toEncoding :: DbName -> Encoding # toJSONList :: [DbName] -> Value # toEncodingList :: [DbName] -> Encoding #
IsString DbName Source #
Instance details Defined in Polysemy.Db.Data.DbName Methods fromString :: String -> DbName #
Generic DbName Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbName Methods showsPrec :: Int -> DbName -> ShowS # show :: DbName -> String # showList :: [DbName] -> ShowS #
Eq DbName Source #
Instance details Defined in Polysemy.Db.Data.DbName Methods (==) :: DbName -> DbName -> Bool # (/=) :: DbName -> DbName -> Bool #
Ord DbName Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

DbUser
Fields unDbUser :: Text

Instances

Instances details

FromJSON DbUser Source #
Instance details Defined in Polysemy.Db.Data.DbUser Methods parseJSON :: Value -> Parser DbUser # parseJSONList :: Value -> Parser [DbUser] #
ToJSON DbUser Source #
Instance details Defined in Polysemy.Db.Data.DbUser Methods toJSON :: DbUser -> Value # toEncoding :: DbUser -> Encoding # toJSONList :: [DbUser] -> Value # toEncodingList :: [DbUser] -> Encoding #
IsString DbUser Source #
Instance details Defined in Polysemy.Db.Data.DbUser Methods fromString :: String -> DbUser #
Generic DbUser Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbUser Methods showsPrec :: Int -> DbUser -> ShowS # show :: DbUser -> String # showList :: [DbUser] -> ShowS #
Eq DbUser Source #
Instance details Defined in Polysemy.Db.Data.DbUser Methods (==) :: DbUser -> DbUser -> Bool # (/=) :: DbUser -> DbUser -> Bool #
Ord DbUser Source #
Instance details 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 Source #
Instance details 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 Source #

Constructors

DbPassword
Fields unDbPassword :: Text

Instances

Instances details

FromJSON DbPassword Source #
Instance details Defined in Polysemy.Db.Data.DbPassword Methods parseJSON :: Value -> Parser DbPassword # parseJSONList :: Value -> Parser [DbPassword] #
ToJSON DbPassword Source #
Instance details Defined in Polysemy.Db.Data.DbPassword Methods toJSON :: DbPassword -> Value # toEncoding :: DbPassword -> Encoding # toJSONList :: [DbPassword] -> Value # toEncodingList :: [DbPassword] -> Encoding #
IsString DbPassword Source #
Instance details Defined in Polysemy.Db.Data.DbPassword Methods fromString :: String -> DbPassword #
Generic DbPassword Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbPassword Methods showsPrec :: Int -> DbPassword -> ShowS # show :: DbPassword -> String # showList :: [DbPassword] -> ShowS #
Eq DbPassword Source #
Instance details Defined in Polysemy.Db.Data.DbPassword Methods (==) :: DbPassword -> DbPassword -> Bool # (/=) :: DbPassword -> DbPassword -> Bool #
Ord DbPassword Source #
Instance details 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 Source #
Instance details 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 Source #

Instances

Instances details

IsString DbError Source #
Instance details Defined in Polysemy.Db.Data.DbError Methods fromString :: String -> DbError #
Show DbError Source #
Instance details Defined in Polysemy.Db.Data.DbError Methods showsPrec :: Int -> DbError -> ShowS # show :: DbError -> String # showList :: [DbError] -> ShowS #
Eq DbError Source #
Instance details Defined in Polysemy.Db.Data.DbError Methods (==) :: DbError -> DbError -> Bool # (/=) :: DbError -> DbError -> Bool #

newtype InitDbError Source #

Constructors

InitDbError
Fields unInitDbError :: Text

Instances

Instances details

IsString InitDbError Source #
Instance details Defined in Polysemy.Db.Data.InitDbError Methods fromString :: String -> InitDbError #
Generic InitDbError Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.InitDbError Methods showsPrec :: Int -> InitDbError -> ShowS # show :: InitDbError -> String # showList :: [InitDbError] -> ShowS #
Eq InitDbError Source #
Instance details Defined in Polysemy.Db.Data.InitDbError Methods (==) :: InitDbError -> InitDbError -> Bool # (/=) :: InitDbError -> InitDbError -> Bool #
Ord InitDbError Source #
Instance details 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 Source #
Instance details 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 Source #

Instances

Instances details

Generic DbConnectionError Source #
Instance details 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 Source #
Instance details Defined in Polysemy.Db.Data.DbConnectionError Methods showsPrec :: Int -> DbConnectionError -> ShowS # show :: DbConnectionError -> String # showList :: [DbConnectionError] -> ShowS #
Eq DbConnectionError Source #
Instance details Defined in Polysemy.Db.Data.DbConnectionError Methods (==) :: DbConnectionError -> DbConnectionError -> Bool # (/=) :: DbConnectionError -> DbConnectionError -> Bool #
type Rep DbConnectionError Source #
Instance details 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))))