Data.Repa.Bits.Date32

Documentation

data Date32

A date packed into a 32-bit word.

The bitwise format is:

  32             16       8      0 
  | year          | month | day  |
  

Pros: Packing and unpacking a Date32 is simpler than using other formats that represent dates as a number of days from some epoch. We can also avoid worrying about what the epoch should be, and the representation will not overflow until year 65536.

Cons: Computing a range of dates is slower than with representations using an epoch, as we cannot simply add one to get to the next valid date.

Instances

Eq Date32

Ord Date32

Show Date32

Storable Date32

Bulk A Date32

Windowable A Date32

Target A Date32

Show (Array A Date32)

Unpack (Buffer F Date32) t => Unpack (Buffer A Date32) t

data Array A Date32 = AArray_Date32 !(Array F Date32)

data Buffer A Date32 = ABuffer_Date32 !(Buffer F Date32)

pack :: (Word, Word, Word) -> Date32

Pack a year, month and day into a Word32.

If any components of the date are out-of-range then they will be bit-wise truncated so they fit in their destination fields.

unpack :: Date32 -> (Word, Word, Word)

Inverse of pack.

This function does a simple bit-wise unpacking of the given Word32, and does not guarantee that the returned fields are within a valid range for the given calendar date.

next :: Date32 -> Date32

Yield the next date in the series.

This assumes leap years occur every four years, which is valid after year 1900 and before year 2100.

range :: Date32 -> Date32 -> Array Date32

Yield an array containing a range of dates, inclusive of the end points.

pretty

Arguments

:: Char

Separator for components.

-> Date32

Date to pretty print.

-> Array Char

Pretty print a Date32

readYYYYsMMsDD :: Char -> Array Char -> Maybe Date32

Read a Date32 in ASCII YYYYsMMsDD format, using the given separator character s.

readDDsMMsYYYY :: Char -> Array Char -> Maybe Date32

Read a Date32 in ASCII DDsMMsYYYY format, using the given separator character s.