Up – Package index » awso » Library awso.geo-routes » Awso_geo_routes » Values » RoutePedestrianArrival

Module `Values.RoutePedestrianArrival`Source

Details corresponding to the arrival for a leg. Time format:YYYY-MM-DDThh:mm:ss.sssZ | YYYY-MM-DDThh:mm:ss.sss+hh:mm Examples: 2020-04-22T17:57:24Z 2020-04-22T17:57:24+02:00

Sourcetype nonrec t = {

place : RoutePedestrianPlace.t option;
(*
The place details.
*)
time : TimestampWithTimezoneOffset.t option;
(*
The time.
*)

}

Sourceval make : ?place:??? -> ?time:??? -> unit -> t

Source

val to_value : 
  t ->
  [> `Structure of
       (string
        * [> `String of TimestampWithTimezoneOffset.t
          | `Structure of
            (string
             * [> `Enum of string
               | `Integer of RoutePedestrianPlaceWaypointIndexInteger.t
               | `List of [> `Double of Double.t ] list
               | `String of SensitiveString.t ])
              list ])
         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