Data.Thyme.Calendar.MonthDay

Calendar months and day-of-months.

Documentation

type Month = Int

Calendar month. January = 1

type DayOfMonth = Int

Calendar day-of-month, starting from 1.

data MonthDay

A strict pair of a Month and a DayOfMonth.

Constructors

MonthDay

Fields

• mdMonth :: !Month
• mdDay :: !DayOfMonth

Instances

Arbitrary MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

arbitrary :: Gen MonthDay

shrink :: MonthDay -> [MonthDay]

CoArbitrary MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

coarbitrary :: MonthDay -> Gen b -> Gen b

Data MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MonthDay -> c MonthDay

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MonthDay

toConstr :: MonthDay -> Constr

dataTypeOf :: MonthDay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c MonthDay)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MonthDay)

gmapT :: (forall b. Data b => b -> b) -> MonthDay -> MonthDay

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MonthDay -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MonthDay -> r

gmapQ :: (forall d. Data d => d -> u) -> MonthDay -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> MonthDay -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> MonthDay -> m MonthDay

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MonthDay -> m MonthDay

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MonthDay -> m MonthDay

Bounded MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

minBound :: MonthDay

maxBound :: MonthDay

Generic MonthDay

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep MonthDay :: Type -> Type

Methods

from :: MonthDay -> Rep MonthDay x

to :: Rep MonthDay x -> MonthDay

Show MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

showsPrec :: Int -> MonthDay -> ShowS

show :: MonthDay -> String

showList :: [MonthDay] -> ShowS

NFData MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: MonthDay -> ()

Eq MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

(==) :: MonthDay -> MonthDay -> Bool

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

Ord MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

compare :: MonthDay -> MonthDay -> Ordering

(<) :: MonthDay -> MonthDay -> Bool

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

(>) :: MonthDay -> MonthDay -> Bool

(>=) :: MonthDay -> MonthDay -> Bool

max :: MonthDay -> MonthDay -> MonthDay

min :: MonthDay -> MonthDay -> MonthDay

Hashable MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

hashWithSalt :: Int -> MonthDay -> Int

hash :: MonthDay -> Int

Random MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

randomR :: RandomGen g => (MonthDay, MonthDay) -> g -> (MonthDay, g)

random :: RandomGen g => g -> (MonthDay, g)

randomRs :: RandomGen g => (MonthDay, MonthDay) -> g -> [MonthDay]

randoms :: RandomGen g => g -> [MonthDay]

FormatTime MonthDay

Defined in Data.Thyme.Format

Methods

showsTime :: TimeLocale -> MonthDay -> (Char -> ShowS) -> Char -> ShowS

ParseTime MonthDay

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> MonthDay

Unbox MonthDay

Defined in Data.Thyme.Calendar.Internal

Vector Vector MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

basicUnsafeFreeze :: Mutable Vector s MonthDay -> ST s (Vector MonthDay)

basicUnsafeThaw :: Vector MonthDay -> ST s (Mutable Vector s MonthDay)

basicLength :: Vector MonthDay -> Int

basicUnsafeSlice :: Int -> Int -> Vector MonthDay -> Vector MonthDay

basicUnsafeIndexM :: Vector MonthDay -> Int -> Box MonthDay

basicUnsafeCopy :: Mutable Vector s MonthDay -> Vector MonthDay -> ST s ()

elemseq :: Vector MonthDay -> MonthDay -> b -> b

MVector MVector MonthDay

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s MonthDay -> Int

basicUnsafeSlice :: Int -> Int -> MVector s MonthDay -> MVector s MonthDay

basicOverlaps :: MVector s MonthDay -> MVector s MonthDay -> Bool

basicUnsafeNew :: Int -> ST s (MVector s MonthDay)

basicInitialize :: MVector s MonthDay -> ST s ()

basicUnsafeReplicate :: Int -> MonthDay -> ST s (MVector s MonthDay)

basicUnsafeRead :: MVector s MonthDay -> Int -> ST s MonthDay

basicUnsafeWrite :: MVector s MonthDay -> Int -> MonthDay -> ST s ()

basicClear :: MVector s MonthDay -> ST s ()

basicSet :: MVector s MonthDay -> MonthDay -> ST s ()

basicUnsafeCopy :: MVector s MonthDay -> MVector s MonthDay -> ST s ()

basicUnsafeMove :: MVector s MonthDay -> MVector s MonthDay -> ST s ()

basicUnsafeGrow :: MVector s MonthDay -> Int -> ST s (MVector s MonthDay)

type Rep MonthDay

Defined in Data.Thyme.Calendar.Internal

type Rep MonthDay = D1 ('MetaData "MonthDay" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-JF452LdbqmqKJs722uy8nN" 'False) (C1 ('MetaCons "MonthDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "mdMonth") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Month) :*: S1 ('MetaSel ('Just "mdDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DayOfMonth)))

newtype Vector MonthDay

Defined in Data.Thyme.Calendar.Internal

newtype Vector MonthDay = V_MonthDay (Vector Int)

newtype MVector s MonthDay

Defined in Data.Thyme.Calendar.Internal

newtype MVector s MonthDay = MV_MonthDay (MVector s Int)

_mdMonth :: Lens' MonthDay Month

_mdDay :: Lens' MonthDay DayOfMonth

monthDay

Arguments

:: Bool

isLeapYear?

-> Iso' DayOfYear MonthDay

Predicated on whether or not it's a leap year, convert between an ordinal DayOfYear and the corresponding Month and DayOfMonth.

> 60 ^. monthDay (isLeapYear 2015)
MonthDay {mdMonth = 3, mdDay = 1}

> 60 ^. monthDay (isLeapYear 2016)
MonthDay {mdMonth = 2, mdDay = 29}

> monthDay (isLeapYear 2016) # MonthDay 2 29
60

> monthDay (isLeapYear 2015) # MonthDay 2 28
59

Note that monthDay is an improper Iso, as the following example shows. To handle this case correctly, use monthDayValid.

> monthDay (isLeapYear 2015) # MonthDay 2 29
59

monthDayValid

Arguments

:: Bool

isLeapYear?

-> MonthDay

-> Maybe DayOfYear

Predicated on whether or not it's a leap year, convert a MonthDay to an ordinal DayOfYear.

> monthDayValid (isLeapYear 2016) (MonthDay 2 29)
Just 60

> monthDayValid (isLeapYear 2015) (MonthDay 2 29)
Nothing

monthLength

Arguments

:: Bool

isLeapYear?

-> Month

-> Days

Predicated on whether or not the year is a leap year, return the number of Days in the given Month.

> monthLength (isLeapYear 2015) 2
  28

> monthLength (isLeapYear 2016) 2
  29

monthAndDayToDayOfYear

Arguments

:: Bool

isLeapYear?

-> Month

-> DayOfMonth

-> DayOfYear

Predicated on whether or not it is a leap year, convert a Month and DayOfMonth to its corresponding ordinal DayOfYear. Does not validate the input.

monthAndDayToDayOfYear leap m d = monthDay leap # MonthDay m d

monthAndDayToDayOfYearValid

Arguments

:: Bool

isLeapYear?

-> Month

-> DayOfMonth

-> Maybe DayOfYear

Predicated on whether or not it is a leap year, convert a Month and DayOfMonth to its corresponding ordinal DayOfYear. Returns Nothing for invalid input.

monthAndDayToDayOfYearValid leap m d = monthDayValid leap (MonthDay m d)

dayOfYearToMonthAndDay

Arguments

:: Bool

isLeapYear?

-> DayOfYear

-> (Month, DayOfMonth)

Predicated on whether or not it is a leap year, convert an ordinal DayOfYear to its corresponding Month and DayOfMonth.

dayOfYearToMonthAndDay leap (view (monthDay leap) -> MonthDay m d) = (m, d)