| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.Hasql.Queue.Data.Queue
Documentation
type family InputConn (queue :: Symbol) :: Symbol where ... Source #
Equations
| InputConn queue = AppendSymbol queue "-input" |
type family OutputConn (queue :: Symbol) :: Symbol where ... Source #
Equations
| OutputConn queue = AppendSymbol queue "-output" |
type family Queue (queue :: Symbol) t :: Constraint where ... Source #
Equations
| Queue queue t = (Ord t, KnownSymbol queue, KnownSymbol (InputConn queue), KnownSymbol (OutputConn queue)) |
type family QueueInput (queue :: Symbol) t :: Constraint where ... Source #
Equations
| QueueInput queue t = (Ord t, KnownSymbol (InputConn queue)) |
type family QueueOutput (queue :: Symbol) t :: Constraint where ... Source #
Equations
| QueueOutput queue t = (Ord t, KnownSymbol (OutputConn queue)) |
Constructors
| QueueName | |
Fields
| |
Instances
| IsString QueueName Source # | |
Defined in Polysemy.Hasql.Queue.Data.Queue Methods fromString :: String -> QueueName # | |
| Generic QueueName Source # | |
| Show QueueName Source # | |
| Eq QueueName Source # | |
| Ord QueueName Source # | |
| type Rep QueueName Source # | |
Defined in Polysemy.Hasql.Queue.Data.Queue | |