Node.HTTP.Request

Reexports

Definitions

record Options : Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkOptions : Maybe Agent -> Maybe String -> Maybe Int -> IpAddressFamily -> Maybe h -> Maybe String -> Bool -> Maybe String -> Maybe Int -> Maybe Int -> String -> Maybe String -> Maybe Int -> String -> Bool -> Maybe String -> Maybe Int -> Options h

Projections:

.agent : Options h -> Maybe Agent

.auth : Options h -> Maybe String

.defaultPort : Options h -> Maybe Int

.family : Options h -> IpAddressFamily

.headers : Options h -> Maybe h

.hostname : Options h -> Maybe String

.insecureHTTPParser : Options h -> Bool

.localAddress : Options h -> Maybe String

.localPort : Options h -> Maybe Int

.maxHeaderSize : Options h -> Maybe Int

.method : Options h -> String

.path : Options h -> Maybe String

.port : Options h -> Maybe Int

.protocol : Options h -> String

.setHost : Options h -> Bool

.socketPath : Options h -> Maybe String

.timeout : Options h -> Maybe Int

.agent : Options h -> Maybe Agent

Visibility: public export

agent : Options h -> Maybe Agent

Visibility: public export

.auth : Options h -> Maybe String

Visibility: public export

auth : Options h -> Maybe String

Visibility: public export

.defaultPort : Options h -> Maybe Int

Visibility: public export

defaultPort : Options h -> Maybe Int

Visibility: public export

.family : Options h -> IpAddressFamily

Visibility: public export

family : Options h -> IpAddressFamily

Visibility: public export

.headers : Options h -> Maybe h

Visibility: public export

headers : Options h -> Maybe h

Visibility: public export

.hostname : Options h -> Maybe String

Visibility: public export

hostname : Options h -> Maybe String

Visibility: public export

.insecureHTTPParser : Options h -> Bool

Visibility: public export

insecureHTTPParser : Options h -> Bool

Visibility: public export

.localAddress : Options h -> Maybe String

Visibility: public export

localAddress : Options h -> Maybe String

Visibility: public export

.localPort : Options h -> Maybe Int

Visibility: public export

localPort : Options h -> Maybe Int

Visibility: public export

.maxHeaderSize : Options h -> Maybe Int

Visibility: public export

maxHeaderSize : Options h -> Maybe Int

Visibility: public export

.method : Options h -> String

Visibility: public export

method : Options h -> String

Visibility: public export

.path : Options h -> Maybe String

Visibility: public export

path : Options h -> Maybe String

Visibility: public export

.port : Options h -> Maybe Int

Visibility: public export

port : Options h -> Maybe Int

Visibility: public export

.protocol : Options h -> String

Visibility: public export

protocol : Options h -> String

Visibility: public export

.setHost : Options h -> Bool

Visibility: public export

setHost : Options h -> Bool

Visibility: public export

.socketPath : Options h -> Maybe String

Visibility: public export

socketPath : Options h -> Maybe String

Visibility: public export

.timeout : Options h -> Maybe Int

Visibility: public export

timeout : Options h -> Maybe Int

Visibility: public export

defaultOptions : Options h

Visibility: export

convertOptions : Options h -> Node (Options h)

Visibility: export

record Options : SocketType -> Type

Totality: total
Visibility: public export
Constructor: 

MkOptions : Options Headers -> Maybe (options t) -> Options t

Projections:

.request : Options t -> Options Headers

.socket : Options t -> Maybe (options t)

.request : Options t -> Options Headers

Visibility: public export

request : Options t -> Options Headers

Visibility: public export

.socket : Options t -> Maybe (options t)

Visibility: public export

socket : Options t -> Maybe (options t)

Visibility: public export

defaultOptions : {auto t : SocketType} -> Options t

Visibility: export

convertOptions : (t : SocketType) -> Options t -> Node (Options t)

Visibility: export