Data.Repa.Scalar.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

Methods

(==) :: Date32 -> Date32 -> Bool

(/=) :: Date32 -> Date32 -> Bool

Ord Date32

Methods

compare :: Date32 -> Date32 -> Ordering

(<) :: Date32 -> Date32 -> Bool

(<=) :: Date32 -> Date32 -> Bool

(>) :: Date32 -> Date32 -> Bool

(>=) :: Date32 -> Date32 -> Bool

max :: Date32 -> Date32 -> Date32

min :: Date32 -> Date32 -> Date32

Show Date32

Methods

showsPrec :: Int -> Date32 -> ShowS

show :: Date32 -> String

showList :: [Date32] -> ShowS

Storable Date32

Methods

sizeOf :: Date32 -> Int

alignment :: Date32 -> Int

peekElemOff :: Ptr Date32 -> Int -> IO Date32

pokeElemOff :: Ptr Date32 -> Int -> Date32 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Date32

pokeByteOff :: Ptr b -> Int -> Date32 -> IO ()

peek :: Ptr Date32 -> IO Date32

poke :: Ptr Date32 -> Date32 -> IO ()

Projections

year :: Date32 -> Int

Take the year number of a Date32.

month :: Date32 -> Int

Take the month number of a Date32.

day :: Date32 -> Int

Take the day number of a Date32.

Packing and Unpacking

pack :: (Int, Int, Int) -> 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 -> (Int, Int, Int)

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.

Operators

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.

diffDays :: Date32 -> Date32 -> Integer

Take the number of days between two Date32s

Loading

loadYYYYsMMsDD

Arguments

:: Word8

Separating character.

-> Ptr Word8

Buffer.

-> Int

Length of buffer.

-> IO (Maybe (Date32, Int))

Result.

Read a date in YYYYsMMsDD format from the given buffer.

loadDDsMMsYYYY

Arguments

:: Word8

Separating character.

-> Ptr Word8

Buffer.

-> Int

Length of buffer.

-> IO (Maybe (Date32, Int))

Result.

Read a date in YYYYsMMsDD format from the given buffer.