Canton developer docs / Application development

Complete documentation page mirrored and translated for learning. Attribution is shown at the bottom of each article.

阅读中文版

appdevreferencedaml-standard-libraryda-date

DA.Date

Documentation Index

Fetch the complete documentation index at: https://docs.canton.network/llms.txt Use this file to discover all available pages before exploring further.

DA.Date

Reference documentation for Daml module DA.Date.

DA.Date

This module provides a set of functions to manipulate Date values.

The bounds for Date are 0001-01-01T00:00:00.000000Z and

9999-12-31T23:59:59.999999Z.

Module Snapshot

Stable. Status: `active` Introduced in: `3.4.9` Removed in: `-` Warnings: `0` Deprecations: `0` Deprecated since: `-`

Data Types

data DayOfWeek

Constructors:

  • Monday
  • Tuesday
  • Wednesday
  • Thursday
  • Friday
  • Saturday
  • Sunday

Instances:

  • instance Eq DayOfWeek
  • instance Ord DayOfWeek
  • instance Bounded DayOfWeek
  • instance Enum DayOfWeek
  • instance Show DayOfWeek

data Month

The Month type represents a month in the Gregorian calendar.

Note that, while Month has an Enum instance, the toEnum and fromEnum functions start counting at 0, i.e. toEnum 1 :: Month is Feb.

Constructors:

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

Instances:

  • instance Eq Month
  • instance Ord Month
  • instance Bounded Month
  • instance Enum Month
  • instance Show Month

Functions

addDays

addDays : Date -> Int -> Date

Add the given number of days to a date.

subtractDays

subtractDays : Date -> Int -> Date

Subtract the given number of days from a date.

subtractDays d r is equivalent to addDays d (- r).

subDate

subDate : Date -> Date -> Int

Returns the number of days between the two given dates.

dayOfWeek

dayOfWeek : Date -> DayOfWeek

Returns the day of week for the given date.

fromGregorian

fromGregorian : (Int, Month, Int) -> Date

Constructs a Date from the triplet (year, month, days).

toGregorian

toGregorian : Date -> (Int, Month, Int)

Turn Date value into a (year, month, day) triple, according to the Gregorian calendar.

date

date : Int -> Month -> Int -> Date

Given the three values (year, month, day), constructs a Date value. date y m d turns the year y, month m, and day d into a Date value. Raises an error if d is outside the range 1 .. monthDayCount y m.

isLeapYear

isLeapYear : Int -> Bool

Returns True if the given year is a leap year.

fromMonth

fromMonth : Month -> Int

Get the number corresponding to given month. For example, Jan corresponds to 1, Feb corresponds to 2, and so on.

monthDayCount

monthDayCount : Int -> Month -> Int

Get number of days in the given month in the given year, according to Gregorian calendar. This does not take historical calendar changes into account (for example, the moves from Julian to Gregorian calendar), but does count leap years.

datetime

datetime : Int -> Month -> Int -> Int -> Int -> Int -> Time

Constructs an instant using year, month, day, hours, minutes, seconds.

toDateUTC

toDateUTC : Time -> Date

Extracts UTC date from UTC time.

This function will truncate Time to Date, but in many cases it will not return the date you really want. The reason for this is that usually the source of Time would be getTime, and getTime returns UTC, and most likely the date you want is something local to a location or an exchange. Consequently the date retrieved this way would be yesterday if retrieved when the market opens in say Singapore.

Orphan Typeclass Instances

  • instance Eq DayOfWeek

  • instance Ord DayOfWeek

  • instance Show DayOfWeek

  • instance Enum DayOfWeek

  • instance Bounded DayOfWeek

  • instance Eq Month

  • instance Ord Month

  • instance Show Month

  • instance Enum Month

  • instance Bounded Month

  • instance Enum Date

  • instance Bounded Date

Mirrored from Canton Network official documentation (CC-BY-4.0) by CC Privacy Club for learning purposes.