Node.HTTP.Agent

Definitions

data Agent : Type

Totality: total
Visibility: export

data Scheduling : Type

Totality: total
Visibility: public export
Constructors:

FIFO : Scheduling

LIFO : Scheduling

Hint: 

Show Scheduling

record Options : Type

Totality: total
Visibility: public export
Constructor: 

MkOptions : Bool -> Int -> Int -> Int -> Int -> Scheduling -> Options

Projections:

.keepAlive : Options -> Bool

.keepAliveMsecs : Options -> Int

.maxFreeSockets : Options -> Int

.maxSockets : Options -> Int

.maxTotalSockets : Options -> Int

.scheduling : Options -> Scheduling

.keepAlive : Options -> Bool

Visibility: public export

keepAlive : Options -> Bool

Visibility: public export

.keepAliveMsecs : Options -> Int

Visibility: public export

keepAliveMsecs : Options -> Int

Visibility: public export

.maxSockets : Options -> Int

Visibility: public export

maxSockets : Options -> Int

Visibility: public export

.maxTotalSockets : Options -> Int

Visibility: public export

maxTotalSockets : Options -> Int

Visibility: public export

.maxFreeSockets : Options -> Int

Visibility: public export

maxFreeSockets : Options -> Int

Visibility: public export

.scheduling : Options -> Scheduling

Visibility: public export

scheduling : Options -> Scheduling

Visibility: public export

defaultOptions : Options

Visibility: export

newAgent : Options -> Agent

Visibility: export