Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family Queue (queue :: Symbol) t :: Constraint where ... Source #
Queue queue t = (Ord t, KnownSymbol queue, KnownSymbol (InputConn queue), KnownSymbol (OutputConn queue)) |
Instances
Generic (Queued t a) Source # | |
(Show t, Show a) => Show (Queued t a) Source # | |
(Eq t, Eq a) => Eq (Queued t a) Source # | |
(CompName d ('TSel prefix inner), name ~ AppendSymbol "Queued" inner, sel ~ 'TSel 'NoPrefix name, MkTSel sel) => CompName (Queued t d) sel Source # | |
Defined in Polysemy.Hasql.Queue.Data.Queued | |
type Rep (Queued t a) Source # | |
Defined in Polysemy.Hasql.Queue.Data.Queued type Rep (Queued t a) = D1 ('MetaData "Queued" "Polysemy.Hasql.Queue.Data.Queued" "polysemy-hasql-0.0.1.0-J57ntdmSXbcGQB3s2TvhBu" 'False) (C1 ('MetaCons "Queued" 'PrefixI 'True) (S1 ('MetaSel ('Just "queue_created") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 t) :*: S1 ('MetaSel ('Just "queue_payload") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) |
data QueueOutputError Source #
Instances
Show QueueOutputError Source # | |
Defined in Polysemy.Hasql.Data.QueueOutputError showsPrec :: Int -> QueueOutputError -> ShowS # show :: QueueOutputError -> String # showList :: [QueueOutputError] -> ShowS # | |
Eq QueueOutputError Source # | |
Defined in Polysemy.Hasql.Data.QueueOutputError (==) :: QueueOutputError -> QueueOutputError -> Bool # (/=) :: QueueOutputError -> QueueOutputError -> Bool # |
interpretInputQueueDb :: forall qname u t dt d diff r. TimeUnit u => TimeUnit diff => Torsor t diff => Queue qname t => Members [Store UUID (Queued t d) !! DbError, Databases] r => Members [Time t dt, Log, Resource, Async, Race, Embed IO, Final IO] r => u -> ClockSkewConfig -> (DbError -> Sem r Bool) -> InterpreterFor (Input (Maybe d)) r Source #