interval

DO NOT CHANGE, THIS IS AN AUTO GENERATED FILE FROM generate.gleam

Types

Interval

Represents a time interval, encoded as a Timestamp start (inclusive) and a Timestamp end (exclusive). The start must be less than or equal to the end. When the start equals the end, the interval is empty (matches no time). When both start and end are unspecified, the interval matches any time.

pub type Interval {
  Interval(
    end_time: option.Option(String),
    start_time: option.Option(String),
  )
}

Constructors

Interval(
  end_time: option.Option(String),
  start_time: option.Option(String),
)

Values

decoder

</>

pub fn decoder() -> decode.Decoder(Interval)

to_json

</>

pub fn to_json(value: Interval) -> json.Json