iso8601.bend checks

raw source on the hub · import bend-datetime@0.4.0.1/iso8601.bend as Iso8601

4 imports

import Base
import 0xe49a3e6521e1b71e55654a885f27bcc1/parse.bend as P
import ./duration.bend as Dur
import ./period.bend as Per

Types

type Iso8601.Error source · line 5 · raw

Data

Unexpected

@offset:Nat -> @char:Char -> Iso8601.Error

Eof
```
@offset:Nat -> Iso8601.Error
```
Overflow
```
@offset:Nat -> Iso8601.Error
```

Extra

@offset:Nat -> @char:Char -> Iso8601.Error

Invalid
```
Iso8601.Error
```

type Iso8601.DurS source · line 11 · raw

Data

DurS

@days:U32 -> @h:U32 -> @mi:U32 -> @s:U32 -> @nanos:U32 -> @saw_d:Bool -> @saw_t:Bool -> @saw_h:Bool -> @saw_m:Bool -> @saw_s:Bool -> Iso8601.DurS

type Iso8601.DurM source · line 16 · raw

Data

DSeek
```
Iso8601.DurM
```
DNum
```
@acc:U32 -> Iso8601.DurM
```

DFrac

@sec:U32 -> @acc:U32 -> @left:Nat -> Iso8601.DurM

type Iso8601.DurC source · line 20 · raw

Data

DurFail
```
@e:Iso8601.Error -> Iso8601.DurC
```

DurCont

@st:Iso8601.DurS -> @mode:Iso8601.DurM -> Iso8601.DurC

type Iso8601.PerS source · line 23 · raw

Data

PerS

@years:U32 -> @months:U32 -> @days:U32 -> @saw_y:Bool -> @saw_m:Bool -> @saw_w:Bool -> @saw_d:Bool -> Iso8601.PerS

type Iso8601.PerM source · line 28 · raw

Data

PSeek
```
Iso8601.PerM
```
PNum
```
@acc:U32 -> Iso8601.PerM
```

type Iso8601.PerC source · line 31 · raw

Data

PerFail
```
@e:Iso8601.Error -> Iso8601.PerC
```

PerCont

@st:Iso8601.PerS -> @mode:Iso8601.PerM -> Iso8601.PerC

Definitions

def Iso8601.from_parse source · line 34 · raw

@e:0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Error -> Iso8601.Error

def Iso8601.digit source · line 44 · raw

@n:U32 -> Char

def Iso8601.pad_n.go source · line 46 · raw

@k:Nat -> @+n:U32 -> @acc:String -> String

def Iso8601.pad_n source · line 54 · raw

@n:U32 -> @k:Nat -> String

def Iso8601.lead0 source · line 56 · raw

@s:String -> Bool

def Iso8601.strip0 source · line 62 · raw

@k:Nat -> @s:String -> @z:Bool -> String

def Iso8601.show_u32 source · line 76 · raw

@+n:U32 -> String

def Iso8601.show.unit.go source · line 79 · raw

@+n:U32 -> @c:Char -> @z:Bool -> String

def Iso8601.show.unit source · line 85 · raw

@+n:U32 -> @c:Char -> String

def Iso8601.frac.strip.go source · line 87 · raw

@+k:Nat -> @+n:U32 -> @z:Bool -> Pair(U32, Nat)

def Iso8601.frac.strip source · line 101 · raw

@+n:U32 -> @k:Nat -> Pair(U32, Nat)

def Iso8601.show.frac2 source · line 103 · raw

@nk:Pair(U32, Nat) -> String

def Iso8601.show.frac source · line 106 · raw

@+nanos:U32 -> String

def Iso8601.show.s2 source · line 108 · raw

@+s:U32 -> @+nanos:U32 -> @z:Bool -> String

def Iso8601.show.s source · line 117 · raw

@+s:U32 -> @+nanos:U32 -> @need:Bool -> String

def Iso8601.show.t source · line 123 · raw

@+h:U32 -> @+mi:U32 -> @+s:U32 -> @+nanos:U32 -> String

def Iso8601.show_duration.go source · line 133 · raw

@+days:U32 -> @+h:U32 -> @+mi:U32 -> @+s:U32 -> @+nanos:U32 -> @has_d:Bool -> @has_t:Bool -> String

def Iso8601.show_duration.has source · line 151 · raw

@+days:U32 -> @+h:U32 -> @+mi:U32 -> @+s:U32 -> @+nanos:U32 -> String

def Iso8601.show_duration source · line 165 · raw

@d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> String

def Iso8601.show_period.body source · line 175 · raw

@+y:U32 -> @+m:U32 -> @+d:U32 -> String

def Iso8601.show_period.p source · line 180 · raw

@body:String -> String

def Iso8601.show_period source · line 186 · raw

@p:0x5d092e40b48ee431bc4b160e8797f9d5/period.Period -> String

def Iso8601.dur0 source · line 190 · raw

Iso8601.DurS

def Iso8601.per0 source · line 192 · raw

Iso8601.PerS

def Iso8601.or3 source · line 194 · raw

@+a:Bool -> @+b:Bool -> @+c:Bool -> Bool

def Iso8601.or4 source · line 196 · raw

@+a:Bool -> @+b:Bool -> @+c:Bool -> @+d:Bool -> Bool

def Iso8601.expect.map source · line 198 · raw

@r:Result<&2, &2, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Error, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur> -> Result<&2, &2, Iso8601.Error, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur>

def Iso8601.expect source · line 206 · raw

@cur:0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur -> @+c:Char -> Result<&2, &2, Iso8601.Error, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur>

def Iso8601.dur.mk.ns2 source · line 210 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.ns source · line 218 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.s source · line 226 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @+s:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.mi2 source · line 234 · raw

@d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> @rm:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @s:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.mi source · line 243 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @+mi:U32 -> @s:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.h2 source · line 251 · raw

@d:0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration -> @rh:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @mi:U32 -> @s:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk.h source · line 260 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration> -> @+h:U32 -> @mi:U32 -> @s:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.mk source · line 268 · raw

@st:Iso8601.DurS -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.valid3 source · line 274 · raw

@st:Iso8601.DurS -> @has:Bool -> @tok:Bool -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.valid source · line 286 · raw

@+st:Iso8601.DurS -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.eof source · line 294 · raw

@st:Iso8601.DurS -> @mode:Iso8601.DurM -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.dur.put_t2 source · line 304 · raw

@days:U32 -> @h:U32 -> @mi:U32 -> @s:U32 -> @nanos:U32 -> @saw_d:Bool -> @saw_h:Bool -> @saw_m:Bool -> @saw_s:Bool -> @dup:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_t source · line 313 · raw

@st:Iso8601.DurS -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_d2 source · line 319 · raw

@n:U32 -> @h:U32 -> @mi:U32 -> @s:U32 -> @nanos:U32 -> @saw_h:Bool -> @saw_m:Bool -> @saw_s:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_d source · line 328 · raw

@st:Iso8601.DurS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_h2 source · line 336 · raw

@days:U32 -> @n:U32 -> @mi:U32 -> @s:U32 -> @nanos:U32 -> @saw_d:Bool -> @saw_m:Bool -> @saw_s:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_h source · line 345 · raw

@st:Iso8601.DurS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_m2 source · line 354 · raw

@days:U32 -> @h:U32 -> @n:U32 -> @s:U32 -> @nanos:U32 -> @saw_d:Bool -> @saw_h:Bool -> @saw_s:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_m source · line 363 · raw

@st:Iso8601.DurS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_s2 source · line 372 · raw

@days:U32 -> @h:U32 -> @mi:U32 -> @n:U32 -> @nanos:U32 -> @saw_d:Bool -> @saw_h:Bool -> @saw_m:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.put_s source · line 381 · raw

@st:Iso8601.DurS -> @n:U32 -> @nanos:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.DurS>

def Iso8601.dur.frac.scale source · line 390 · raw

@+acc:U32 -> @got:Nat -> U32

def Iso8601.dur.cont_r source · line 392 · raw

@r:Result<&2, &2, Iso8601.Error, Iso8601.DurS> -> @mode:Iso8601.DurM -> Iso8601.DurC

def Iso8601.dur.ndig2 source · line 400 · raw

@off:Nat -> @st:Iso8601.DurS -> @+acc:U32 -> @+h:Char -> @s:0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.St -> Iso8601.DurC

def Iso8601.dur.ndig source · line 410 · raw

@off:Nat -> @st:Iso8601.DurS -> @+acc:U32 -> @+h:Char -> Iso8601.DurC

def Iso8601.dur.unit_dot source · line 414 · raw

@st:Iso8601.DurS -> @n:U32 -> @is_dot:Bool -> Iso8601.DurC

def Iso8601.dur.unit_s source · line 422 · raw

@st:Iso8601.DurS -> @n:U32 -> @+c:Char -> @is_s:Bool -> Iso8601.DurC

def Iso8601.dur.unit_m source · line 430 · raw

@st:Iso8601.DurS -> @n:U32 -> @+c:Char -> @is_m:Bool -> Iso8601.DurC

def Iso8601.dur.unit_h source · line 438 · raw

@st:Iso8601.DurS -> @n:U32 -> @+c:Char -> @is_h:Bool -> Iso8601.DurC

def Iso8601.dur.unit source · line 446 · raw

@st:Iso8601.DurS -> @n:U32 -> @+c:Char -> Iso8601.DurC

def Iso8601.dur.unit_d source · line 450 · raw

@st:Iso8601.DurS -> @n:U32 -> @+c:Char -> @is_d:Bool -> Iso8601.DurC

def Iso8601.dur.num source · line 458 · raw

@off:Nat -> @st:Iso8601.DurS -> @acc:U32 -> @+h:Char -> @is_dig:Bool -> Iso8601.DurC

def Iso8601.dur.frac.s2 source · line 466 · raw

@st:Iso8601.DurS -> @sec:U32 -> @acc:U32 -> @left:Nat -> @empty:Bool -> Iso8601.DurC

def Iso8601.dur.frac.s source · line 477 · raw

@st:Iso8601.DurS -> @sec:U32 -> @acc:U32 -> @+left:Nat -> @is_s:Bool -> Iso8601.DurC

def Iso8601.dur.frac.dig source · line 485 · raw

@st:Iso8601.DurS -> @sec:U32 -> @+acc:U32 -> @left:Nat -> @+h:Char -> Iso8601.DurC

def Iso8601.dur.frac source · line 493 · raw

@st:Iso8601.DurS -> @sec:U32 -> @acc:U32 -> @left:Nat -> @+h:Char -> @is_dig:Bool -> Iso8601.DurC

def Iso8601.dur.seek2 source · line 501 · raw

@off:Nat -> @st:Iso8601.DurS -> @+h:Char -> @is_dig:Bool -> Iso8601.DurC

def Iso8601.dur.seek source · line 509 · raw

@off:Nat -> @st:Iso8601.DurS -> @h:Char -> @is_t:Bool -> @is_dig:Bool -> Iso8601.DurC

def Iso8601.dur.act source · line 517 · raw

@off:Nat -> @st:Iso8601.DurS -> @mode:Iso8601.DurM -> @+h:Char -> @is_t:Bool -> @is_dig:Bool -> Iso8601.DurC

def Iso8601.dur.go source · line 527 · raw

@s:String -> @+off:Nat -> @c:Iso8601.DurC -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.read_duration.p source · line 542 · raw

@r:Result<&2, &2, Iso8601.Error, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur> -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.read_duration source · line 550 · raw

@text:String -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/duration.Duration>

def Iso8601.per.mk2 source · line 554 · raw

@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period> -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.per.valid2 source · line 562 · raw

@y:U32 -> @m:U32 -> @d:U32 -> @ok:Bool -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.per.valid source · line 570 · raw

@st:Iso8601.PerS -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.per.eof source · line 574 · raw

@st:Iso8601.PerS -> @mode:Iso8601.PerM -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.add_u32.go source · line 582 · raw

@+a:U32 -> @+b:U32 -> @ov:Bool -> Result<&2, &2, Iso8601.Error, U32>

def Iso8601.add_u32 source · line 588 · raw

@+a:U32 -> @+b:U32 -> Result<&2, &2, Iso8601.Error, U32>

def Iso8601.per.weeks2 source · line 590 · raw

@+n:U32 -> @ov:Bool -> Result<&2, &2, Iso8601.Error, U32>

def Iso8601.per.weeks source · line 596 · raw

@+n:U32 -> Result<&2, &2, Iso8601.Error, U32>

def Iso8601.per.put_y2 source · line 598 · raw

@n:U32 -> @m:U32 -> @d:U32 -> @saw_m:Bool -> @saw_w:Bool -> @saw_d:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_y source · line 606 · raw

@st:Iso8601.PerS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_m2 source · line 614 · raw

@y:U32 -> @n:U32 -> @d:U32 -> @saw_y:Bool -> @saw_w:Bool -> @saw_d:Bool -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_m source · line 622 · raw

@st:Iso8601.PerS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_w.go source · line 630 · raw

@y:U32 -> @m:U32 -> @saw_y:Bool -> @saw_m:Bool -> @rw:Result<&2, &2, Iso8601.Error, U32> -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_w2 source · line 639 · raw

@y:U32 -> @m:U32 -> @saw_y:Bool -> @saw_m:Bool -> @n:U32 -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_w source · line 647 · raw

@st:Iso8601.PerS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_d.go source · line 653 · raw

@y:U32 -> @m:U32 -> @saw_y:Bool -> @saw_m:Bool -> @saw_w:Bool -> @rd:Result<&2, &2, Iso8601.Error, U32> -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_d2 source · line 662 · raw

@y:U32 -> @m:U32 -> @d:U32 -> @saw_y:Bool -> @saw_m:Bool -> @saw_w:Bool -> @n:U32 -> @bad:Bool -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.put_d source · line 670 · raw

@st:Iso8601.PerS -> @n:U32 -> Result<&2, &2, Iso8601.Error, Iso8601.PerS>

def Iso8601.per.cont_r source · line 676 · raw

@r:Result<&2, &2, Iso8601.Error, Iso8601.PerS> -> @mode:Iso8601.PerM -> Iso8601.PerC

def Iso8601.per.ndig2 source · line 684 · raw

@off:Nat -> @st:Iso8601.PerS -> @+acc:U32 -> @+h:Char -> @s:0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.St -> Iso8601.PerC

def Iso8601.per.ndig source · line 694 · raw

@off:Nat -> @st:Iso8601.PerS -> @+acc:U32 -> @+h:Char -> Iso8601.PerC

def Iso8601.per.unit_d source · line 698 · raw

@st:Iso8601.PerS -> @n:U32 -> @is_d:Bool -> Iso8601.PerC

def Iso8601.per.unit_w source · line 706 · raw

@st:Iso8601.PerS -> @n:U32 -> @+c:Char -> @is_w:Bool -> Iso8601.PerC

def Iso8601.per.unit_m source · line 714 · raw

@st:Iso8601.PerS -> @n:U32 -> @+c:Char -> @is_m:Bool -> Iso8601.PerC

def Iso8601.per.unit source · line 722 · raw

@st:Iso8601.PerS -> @n:U32 -> @+c:Char -> Iso8601.PerC

def Iso8601.per.unit_y source · line 726 · raw

@st:Iso8601.PerS -> @n:U32 -> @+c:Char -> @is_y:Bool -> Iso8601.PerC

def Iso8601.per.num source · line 734 · raw

@off:Nat -> @st:Iso8601.PerS -> @acc:U32 -> @+h:Char -> @is_dig:Bool -> Iso8601.PerC

def Iso8601.per.seek2 source · line 742 · raw

@off:Nat -> @st:Iso8601.PerS -> @+h:Char -> @is_dig:Bool -> Iso8601.PerC

def Iso8601.per.seek source · line 750 · raw

@off:Nat -> @st:Iso8601.PerS -> @h:Char -> @is_t:Bool -> @is_dig:Bool -> Iso8601.PerC

def Iso8601.per.act source · line 758 · raw

@off:Nat -> @st:Iso8601.PerS -> @mode:Iso8601.PerM -> @+h:Char -> @is_t:Bool -> @is_dig:Bool -> Iso8601.PerC

def Iso8601.per.go source · line 766 · raw

@s:String -> @+off:Nat -> @c:Iso8601.PerC -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.read_period.p source · line 781 · raw

@r:Result<&2, &2, Iso8601.Error, 0xe49a3e6521e1b71e55654a885f27bcc1/parse.Parse.Cur> -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>

def Iso8601.read_period source · line 789 · raw

@text:String -> Result<&2, &2, Iso8601.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/period.Period>