Up – Package index » awso » Library awso.iot » Awso_iot » Values_0 » ThingConnectivity

Module `Values_0.ThingConnectivity`Source

The connectivity status of the thing.

Sourcetype nonrec t = {

connected : Boolean.t option;
(*
True if the thing is connected to the Amazon Web Services IoT Core service; false if it is not connected.
*)
timestamp : ConnectivityTimestamp.t option;
(*
The epoch time (in milliseconds) when the thing last connected or disconnected. If the thing has been disconnected for approximately an hour, the time value might be missing.
*)
disconnectReason : DisconnectReason.t option;
(*
The reason why the client is disconnected. If the thing has been disconnected for approximately an hour, the disconnectReason value might be missing.
*)

}

val make : 
  ?connected:??? ->
  ?timestamp:??? ->
  ?disconnectReason:??? ->
  unit ->
  t

Source

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `Boolean of Boolean.t
          | `Long of ConnectivityTimestamp.t
          | `String of DisconnectReason.t ])
         list ]

Sourceval to_query : t -> Awso.Client.Query.t

Sourceval of_xml : Awso.Xml.t -> t

Sourceval of_string : string -> t

Sourceval of_json : Yojson.Safe.t -> t

Sourceval to_json : t -> Yojson.Safe.t