
 0 | module Network.HTTP.Pool.Common
 1 | 
 2 | import System.Concurrency
 3 | import Network.HTTP.Scheduler
 4 | 
 5 | public export
 6 | data Event : Type -> Type where
 7 |   Request : ScheduleRequest e IO -> Event e
 8 |   Kill : Maybe Condition -> Event e
 9 |