framework/time

Time values enter through the boundary; Logic has no clock.

Types

opaque </>

pub opaque type Date

opaque </>

pub opaque type Datetime

opaque </>

pub opaque type Time

</>

pub fn add_days(value: Datetime, days: Int) -> Datetime

</>

pub fn date(raw: String) -> Result(Date, Nil)

</>

pub fn date_le(left: Date, right: Date) -> Bool

</>

pub fn date_to_string(value: Date) -> String

</>

pub fn datetime(raw: String) -> Result(Datetime, Nil)

</>

pub fn datetime_le(left: Datetime, right: Datetime) -> Bool

</>

pub fn datetime_lt(left: Datetime, right: Datetime) -> Bool

</>

pub fn datetime_to_string(value: Datetime) -> String

</>

pub fn quarter_aligned(value: Datetime) -> Bool

True only on an absolute 15-minute boundary with zero seconds.

</>

pub fn time(raw: String) -> Result(Time, Nil)

</>

pub fn time_to_string(value: Time) -> String

</>

pub fn to_date(value: Datetime) -> Date

Convert an instant to the calendar date observed in Asia/Tokyo.