time-1.14: A time library

Safe Haskell	Safe
Language	Haskell2010

Data.Time.Calendar.Month

Description

An absolute count of common calendar months.

Synopsis

newtype Month = MkMonth Integer
addMonths :: Integer -> Month -> Month
diffMonths :: Month -> Month -> Integer
pattern YearMonth :: Year -> MonthOfYear -> Month
fromYearMonthValid :: Year -> MonthOfYear -> Maybe Month
pattern MonthDay :: Month -> DayOfMonth -> Day
fromMonthDayValid :: Month -> DayOfMonth -> Maybe Day

Documentation

newtype Month Source #

An absolute count of common calendar months. Number is equal to (year * 12) + (monthOfYear - 1).

Constructors

MkMonth Integer

Instances

Instances details

NFData Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

rnf :: Month -> () Source #

Data Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

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

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

toConstr :: Month -> Constr #

dataTypeOf :: Month -> DataType #

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

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

gmapT :: (forall b. Data b => b -> b) -> Month -> Month #

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

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

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

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

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

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

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

Enum Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

succ :: Month -> Month #

pred :: Month -> Month #

toEnum :: Int -> Month #

fromEnum :: Month -> Int #

enumFrom :: Month -> [Month] #

enumFromThen :: Month -> Month -> [Month] #

enumFromTo :: Month -> Month -> [Month] #

enumFromThenTo :: Month -> Month -> Month -> [Month] #

Generic Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Associated Types

type Rep Month
Instance details Defined in Data.Time.Calendar.Month type Rep Month = D1 ('MetaData "Month" "Data.Time.Calendar.Month" "time-1.14-f7e9" 'True) (C1 ('MetaCons "MkMonth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: Month -> Rep Month x #

to :: Rep Month x -> Month #

Ix Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

range :: (Month, Month) -> [Month] #

index :: (Month, Month) -> Month -> Int #

unsafeIndex :: (Month, Month) -> Month -> Int #

inRange :: (Month, Month) -> Month -> Bool #

rangeSize :: (Month, Month) -> Int #

unsafeRangeSize :: (Month, Month) -> Int #

Read Month Source #

Read as yyyy-mm.

Instance details

Defined in Data.Time.Calendar.Month

Methods

readsPrec :: Int -> ReadS Month #

readList :: ReadS [Month] #

readPrec :: ReadPrec Month #

readListPrec :: ReadPrec [Month] #

Show Month Source #

Show as yyyy-mm.

Instance details

Defined in Data.Time.Calendar.Month

Methods

showsPrec :: Int -> Month -> ShowS #

show :: Month -> String #

showList :: [Month] -> ShowS #

Eq Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

(==) :: Month -> Month -> Bool #

(/=) :: Month -> Month -> Bool #

Ord Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

compare :: Month -> Month -> Ordering #

(<) :: Month -> Month -> Bool #

(<=) :: Month -> Month -> Bool #

(>) :: Month -> Month -> Bool #

(>=) :: Month -> Month -> Bool #

max :: Month -> Month -> Month #

min :: Month -> Month -> Month #

DayPeriod Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

periodFirstDay :: Month -> Day Source #

periodLastDay :: Month -> Day Source #

dayPeriod :: Day -> Month Source #

FormatTime Month Source #

Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> Month -> String) Source #

ParseTime Month Source #

Instance details

Defined in Data.Time.Format.Parse.Instances

Methods

substituteTimeSpecifier :: Proxy Month -> TimeLocale -> Char -> Maybe String Source #

parseTimeSpecifier :: Proxy Month -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String Source #

buildTime :: TimeLocale -> [(Char, String)] -> Maybe Month Source #

Lift Month Source #

Instance details

Defined in Data.Time.Calendar.Month

Methods

lift :: Quote m => Month -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => Month -> Code m Month #

type Rep Month Source #

Instance details

Defined in Data.Time.Calendar.Month

type Rep Month = D1 ('MetaData "Month" "Data.Time.Calendar.Month" "time-1.14-f7e9" 'True) (C1 ('MetaCons "MkMonth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

addMonths :: Integer -> Month -> Month Source #

diffMonths :: Month -> Month -> Integer Source #

pattern YearMonth :: Year -> MonthOfYear -> Month Source #

Bidirectional abstract constructor. Invalid months of year will be clipped to the correct range.

fromYearMonthValid :: Year -> MonthOfYear -> Maybe Month Source #

pattern MonthDay :: Month -> DayOfMonth -> Day Source #

Bidirectional abstract constructor. Invalid days of month will be clipped to the correct range.

fromMonthDayValid :: Month -> DayOfMonth -> Maybe Day Source #