period.bend checks
raw source on the hub · import bend-datetime@0.4.0.1/period.bend as Period
2 imports
import Base import ./date.bend as D
Types
type Period.Error source · line 4 · raw
Data
OutOfRangePeriod.Error
type Period source · line 7 · raw
Data
Period@years:U32 -> @months:U32 -> @days:U32 -> Period
Definitions
def Period.from.y source · line 10 · raw
@+years:U32 -> @+extra:U32 -> @+months:U32 -> @+days:U32 -> @ok:Bool -> Result<&2, &2, Period.Error, Period>
def Period.from source · line 19 · raw
@+years:U32 -> @+months:U32 -> @+days:U32 -> Result<&2, &2, Period.Error, Period>
def Period.add_to.days source · line 28 · raw
@r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> @pd:U32 -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.from source · line 37 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.day source · line 42 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> @+dim:U32 -> @le:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.dim source · line 51 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> @dimr:Maybe<&2, U32> -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.y3 source · line 60 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> @ok:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.y2 source · line 69 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.mc source · line 74 · raw
@+y:U32 -> @+m:U32 -> @+d:U32 -> @+pd:U32 -> @ge:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.ya source · line 83 · raw
@+dy:U32 -> @+py:U32 -> @+dm:U32 -> @+pm:U32 -> @+dd:U32 -> @+pd:U32 -> @ok:Bool -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to.go source · line 94 · raw
@date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @p:Period -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.add_to source · line 103 · raw
@p:Period -> @date:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date>
def Period.emonth source · line 108 · raw
@+y:U32 -> @+m:U32 -> U32
def Period.between.ms.from source · line 111 · raw
@+end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+tm:U32 -> @r:Result<&2, &2, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date.Error, 0x5d092e40b48ee431bc4b160e8797f9d5/date.Date> -> Result<&2, &2, Period.Error, Period>
def Period.between.ms.add source · line 124 · raw
@+start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+tm:U32 -> @rp:Result<&2, &2, Period.Error, Period> -> Result<&2, &2, Period.Error, Period>
def Period.between.ms source · line 134 · raw
@+start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+tm:U32 -> Result<&2, &2, Period.Error, Period>
def Period.between.day source · line 139 · raw
@start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @sm:U32 -> @em:U32 -> @borrow:Bool -> Result<&2, &2, Period.Error, Period>
def Period.between.go source · line 148 · raw
@+start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, Period.Error, Period>
def Period.between.ord source · line 159 · raw
@start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @lt:Bool -> Result<&2, &2, Period.Error, Period>
def Period.between source · line 168 · raw
@+start:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> @+end:0x5d092e40b48ee431bc4b160e8797f9d5/date.Date -> Result<&2, &2, Period.Error, Period>