birl

Types

Day

pub type Day {
  Day(year: Int, month: Int, date: Int)
}

Constructors

```
Day(year: Int, month: Int, date: Int)
```

Month

</>

pub type Month {
  Jan
  Feb
  Mar
  Apr
  May
  Jun
  Jul
  Aug
  Sep
  Oct
  Nov
  Dec
}

Constructors

```
Jan
```
```
Feb
```
```
Mar
```
```
Apr
```
```
May
```
```
Jun
```
```
Jul
```
```
Aug
```
```
Sep
```
```
Oct
```
```
Nov
```
```
Dec
```

Time

</>

pub opaque type Time

TimeOfDay

</>

pub type TimeOfDay {
  TimeOfDay(
    hour: Int,
    minute: Int,
    second: Int,
    milli_second: Int,
  )
}

Constructors

TimeOfDay(hour: Int, minute: Int, second: Int, milli_second: Int)

Weekday

</>

pub type Weekday {
  Mon
  Tue
  Wed
  Thu
  Fri
  Sat
  Sun
}

Constructors

```
Mon
```
```
Tue
```
```
Wed
```
```
Thu
```
```
Fri
```
```
Sat
```
```
Sun
```

Constants

unix_epoch

</>

pub const unix_epoch: Time = Time(0, 0, option.None, option.None)

starting point of unix timestamps

Functions

add

</>

pub fn add(value: Time, duration: Duration) -> Time

compare

</>

pub fn compare(a: Time, b: Time) -> Order

difference

</>

pub fn difference(a: Time, b: Time) -> Duration

from_erlang_local_datetime

</>

pub fn from_erlang_local_datetime(
  erlang_datetime: #(#(Int, Int, Int), #(Int, Int, Int)),
) -> Time

calculates the DateTime value from the erlang datetime using the local offset of the system

from_erlang_universal_datetime

</>

pub fn from_erlang_universal_datetime(
  erlang_datetime: #(#(Int, Int, Int), #(Int, Int, Int)),
) -> Time

calculates the DateTime value from the erlang datetime in UTC

from_http

</>

pub fn from_http(value: String) -> Result(Time, Nil)

see here

also supports other similar formats:

Tue, 01-Nov-2016 08:49:37 GMT
Tue, 01 Nov 2016 08:49:37 +0630
Tue, 01-November-2016 08:49:37 Z
Tuesday, 01-Nov-2016 08:49:37 +330
Tuesday, 01 November 2016 08:49:37 +06:30

from_naive

</>

pub fn from_naive(value: String) -> Result(Time, Nil)

Accepts fromats similar to the ones listed for parse except that there shoundn’t be any offset information

from_unix

</>

pub fn from_unix(value: Int) -> Time

unix timestamps are the number of seconds that have elapsed since 00:00:00 UTC on January 1st, 1970

get_day

</>

pub fn get_day(value: Time) -> Day

get_offset

</>

pub fn get_offset(value: Time) -> String

get_time_of_day

</>

pub fn get_time_of_day(value: Time) -> TimeOfDay

get_timezone

</>

pub fn get_timezone(value: Time) -> Option(String)

legible_difference

</>

pub fn legible_difference(a: Time, b: Time) -> String

monotonic_now

</>

pub fn monotonic_now() -> Int

month

</>

pub fn month(value: Time) -> Month

now

</>

pub fn now() -> Time

use this to get the current time in the local timezone offset

now_with_offset

</>

pub fn now_with_offset(offset: String) -> Result(Time, Nil)

Use this to get the current time with a given offset.

Some examples of acceptable offsets:

"+330", "03:30", "-8:00","-7", "-0400", "03"

now_with_timezone

</>

pub fn now_with_timezone(timezone: String) -> Result(Time, Nil)

parse

</>

pub fn parse(value: String) -> Result(Time, Nil)

Supports formats like:

2019t14-4
20190326t1400-4
19051222T16:38-3
2019-03-26t14:00.9z
1905-12-22T163823+0330
2019-03-26T14:00:00.9Z
2019-03-26T14:00:00,4999Z
1905-12-22T16:38:23.000+03:30

range

</>

pub fn range(
  from a: Time,
  to b: Option(Time),
  step s: Duration,
) -> Iterator(Time)

can be used to create a time range starting from time a with step s

if b is option.None the range will be infinite

set_day

</>

pub fn set_day(value: Time, day: Day) -> Time

set_offset

</>

pub fn set_offset(
  value: Time,
  new_offset: String,
) -> Result(Time, Nil)

use this to change the offset of a given time value.

Some examples of acceptable offsets:

"+330", "03:30", "-8:00","-7", "-0400", "03", "Z"

set_time_of_day

</>

pub fn set_time_of_day(value: Time, time: TimeOfDay) -> Time

set_timezone

</>

pub fn set_timezone(
  value: Time,
  new_timezone: String,
) -> Result(Time, Nil)

short_string_month

</>

pub fn short_string_month(value: Time) -> String

short_string_weekday

</>

pub fn short_string_weekday(value: Time) -> String

string_month

</>

pub fn string_month(value: Time) -> String

string_weekday

</>

pub fn string_weekday(value: Time) -> String

subtract

</>

pub fn subtract(value: Time, duration: Duration) -> Time

to_erlang_datetime

</>

pub fn to_erlang_datetime(
  value: Time,
) -> #(#(Int, Int, Int), #(Int, Int, Int))

calculates erlang datetime using the offset in the DateTime value

to_erlang_universal_datetime

</>

pub fn to_erlang_universal_datetime(
  value: Time,
) -> #(#(Int, Int, Int), #(Int, Int, Int))

calculates the universal erlang datetime regardless of the offset in the DateTime value

to_http

</>

pub fn to_http(value: Time) -> String

see here

to_http_with_offset

</>

pub fn to_http_with_offset(value: Time) -> String

like to_http but assumes the offset in the DateTime value instead of GMT

to_iso8601

</>

pub fn to_iso8601(value: Time) -> String

to_naive

</>

pub fn to_naive(value: Time) -> String

the naive format is the same as ISO8601 except that it does not contain the offset

to_unix

</>

pub fn to_unix(value: Time) -> Int

unix timestamps are the number of seconds that have elapsed since 00:00:00 UTC on January 1st, 1970

utc_now

</>

pub fn utc_now() -> Time

Use this to get the current time in utc

weekday

</>

pub fn weekday(value: Time) -> Weekday