Idris2Doc : Network.HTTP.Pool.Common

Network.HTTP.Pool.Common

(source)
Definitions
data Event : Type -> Type
  Totality: possibly not terminating due to call to $resolved25701
  Visibility: public export
  Constructors:
  
Request : ScheduleRequest e IO -> Event e
  
Kill : Maybe Condition -> Event e