Node.TLS.Connect

Definitions

record Options : Type

Totality: total
Visibility: public export
Constructor: 

MkOptions : Maybe Bool -> Maybe String -> Maybe Int -> Maybe String -> Bool -> Bool -> Maybe String -> Maybe Buffer -> Maybe Int -> Maybe Int -> Options

Projections:

.allowHalfOpen : Options -> Bool

.enableTrace : Options -> Maybe Bool

.highWaterMark : Options -> Maybe Int

.host : Options -> Maybe String

.minDHSize : Options -> Maybe Int

.path : Options -> Maybe String

.port : Options -> Maybe Int

.rejectUnauthorized : Options -> Bool

.servername : Options -> Maybe String

.session : Options -> Maybe Buffer

.enableTrace : Options -> Maybe Bool

Visibility: public export

enableTrace : Options -> Maybe Bool

Visibility: public export

.host : Options -> Maybe String

Visibility: public export

host : Options -> Maybe String

Visibility: public export

.port : Options -> Maybe Int

Visibility: public export

port : Options -> Maybe Int

Visibility: public export

.path : Options -> Maybe String

Visibility: public export

path : Options -> Maybe String

Visibility: public export

.allowHalfOpen : Options -> Bool

Visibility: public export

allowHalfOpen : Options -> Bool

Visibility: public export

.rejectUnauthorized : Options -> Bool

Visibility: public export

rejectUnauthorized : Options -> Bool

Visibility: public export

.servername : Options -> Maybe String

Visibility: public export

servername : Options -> Maybe String

Visibility: public export

.session : Options -> Maybe Buffer

Visibility: public export

session : Options -> Maybe Buffer

Visibility: public export

.minDHSize : Options -> Maybe Int

Visibility: public export

minDHSize : Options -> Maybe Int

Visibility: public export

.highWaterMark : Options -> Maybe Int

Visibility: public export

highWaterMark : Options -> Maybe Int

Visibility: public export

defaultOptions : Options

Visibility: export

convertOptions : Options -> Node Options

Visibility: export