Data.Tax.ATO.Days

Types for representing a number of days in a year.

Documentation

data Days (n :: Year)

Some number of days in a year. Use days to construct.

Instances

Show (Days n)

Defined in Data.Tax.ATO.Days

Methods

showsPrec :: Int -> Days n -> ShowS

show :: Days n -> String

showList :: [Days n] -> ShowS

days :: forall a. DaysInYear a => Integer -> Days a

Construct a Days value. If out of range, the number of days is clamped to 0 or 365/366 (no runtime errors).

daysAll :: forall a. DaysInYear a => Days a

Every day of the year

daysNone :: Days a

Zero days of the year

getDays :: Days n -> Integer

Get the number of days, which is between 0 and 365/366 inclusive.

getFraction :: forall a frac. (DaysInYear a, Fractional frac) => Days a -> frac

Get the number of days as a fractional value. Information about the the year type is discarded.

type DaysInYear = KnownNat