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