Data.Thyme.Calendar.WeekDate

Various Week Date formats

Documentation

type Year = Int

Calendar year.

type WeekOfYear = Int

Week of the year.

Meaning of values depends on context; see wdWeek, swWeek, mwWeek.

type DayOfWeek = Int

Day of the week.

0

Sunday for SundayWeek

1…6

Monday…Saturday

7

Sunday for WeekDate, MondayWeek, and WeekdayOfMonth

ISO 8601 Week Date

data WeekDate

ISO 8601 Week Date.

Note that week 01 is defined as the week with the first Thursday, thus wdYear may differ from the Gregorian year between December 29th and January 3rd.

Constructors

WeekDate

Fields

• wdYear :: !Year
• wdWeek :: !WeekOfYear

  Numbered 01 to 53. Days before week 01 are considered to belong to the previous year.

• wdDay :: !DayOfWeek

  1 = Monday … 7 = Sunday.

Instances

Arbitrary WeekDate

Defined in Data.Thyme.Calendar.WeekDate

Methods

arbitrary :: Gen WeekDate

shrink :: WeekDate -> [WeekDate]

CoArbitrary WeekDate

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: WeekDate -> Gen b -> Gen b

Data WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

toConstr :: WeekDate -> Constr

dataTypeOf :: WeekDate -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded WeekDate

Defined in Data.Thyme.Calendar.WeekDate

Methods

minBound :: WeekDate

maxBound :: WeekDate

Generic WeekDate

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep WeekDate :: Type -> Type

Methods

from :: WeekDate -> Rep WeekDate x

to :: Rep WeekDate x -> WeekDate

Show WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

showsPrec :: Int -> WeekDate -> ShowS

show :: WeekDate -> String

showList :: [WeekDate] -> ShowS

NFData WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: WeekDate -> ()

Eq WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

(==) :: WeekDate -> WeekDate -> Bool

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

Ord WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

compare :: WeekDate -> WeekDate -> Ordering

(<) :: WeekDate -> WeekDate -> Bool

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

(>) :: WeekDate -> WeekDate -> Bool

(>=) :: WeekDate -> WeekDate -> Bool

max :: WeekDate -> WeekDate -> WeekDate

min :: WeekDate -> WeekDate -> WeekDate

Hashable WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

hashWithSalt :: Int -> WeekDate -> Int

hash :: WeekDate -> Int

Random WeekDate

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

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

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

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

FormatTime WeekDate

Defined in Data.Thyme.Format

Methods

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

ParseTime WeekDate

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> WeekDate

Unbox WeekDate

Defined in Data.Thyme.Calendar.Internal

Vector Vector WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

basicLength :: Vector WeekDate -> Int

basicUnsafeSlice :: Int -> Int -> Vector WeekDate -> Vector WeekDate

basicUnsafeIndexM :: Vector WeekDate -> Int -> Box WeekDate

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

elemseq :: Vector WeekDate -> WeekDate -> b -> b

MVector MVector WeekDate

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s WeekDate -> Int

basicUnsafeSlice :: Int -> Int -> MVector s WeekDate -> MVector s WeekDate

basicOverlaps :: MVector s WeekDate -> MVector s WeekDate -> Bool

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

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

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

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

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

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

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

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

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

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

type Rep WeekDate

Defined in Data.Thyme.Calendar.Internal

type Rep WeekDate = D1 ('MetaData "WeekDate" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-JF452LdbqmqKJs722uy8nN" 'False) (C1 ('MetaCons "WeekDate" 'PrefixI 'True) (S1 ('MetaSel ('Just "wdYear") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Year) :*: (S1 ('MetaSel ('Just "wdWeek") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "wdDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DayOfWeek))))

newtype Vector WeekDate

Defined in Data.Thyme.Calendar.Internal

newtype Vector WeekDate = V_WeekDate (Vector Int)

newtype MVector s WeekDate

Defined in Data.Thyme.Calendar.Internal

newtype MVector s WeekDate = MV_WeekDate (MVector s Int)

_wdYear :: Lens' WeekDate Year

_wdWeek :: Lens' WeekDate WeekOfYear

_wdDay :: Lens' WeekDate DayOfWeek

weekDate :: Iso' Day WeekDate

Convert between a Day and an ISO 8601 WeekDate.

> YearMonthDay 2016 1 1 ^. from gregorian . weekDate
WeekDate {wdYear = 2015, wdWeek = 53, wdDay = 5}

weekDateValid :: WeekDate -> Maybe Day

Convert a WeekDate to a Day, or Nothing for invalid WeekDate.

showWeekDate :: Day -> String

Shows a Day using the yyyy-Www-d ISO 8601 Week Date format.

> showWeekDate (gregorian # YearMonthDay 2006 11 15)
"2006-W46-3"

Weeks starting Sunday

data SundayWeek

Week-based calendar date with the first Sunday of the year as the first day of week 01. This corresponds to %U and %w of strftime(3).

The final week of a given year and week 00 of the next both refer to the same week.

Constructors

SundayWeek

Fields

• swYear :: !Year

  Coincides with that of gregorian.

• swWeek :: !WeekOfYear

  Weeks numbered from 00 to 53, starting with the first Sunday of the year as the first day of week 01.

• swDay :: !DayOfWeek

  0 = Sunday.

Instances

Arbitrary SundayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

arbitrary :: Gen SundayWeek

shrink :: SundayWeek -> [SundayWeek]

CoArbitrary SundayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: SundayWeek -> Gen b -> Gen b

Data SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

toConstr :: SundayWeek -> Constr

dataTypeOf :: SundayWeek -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded SundayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

minBound :: SundayWeek

maxBound :: SundayWeek

Generic SundayWeek

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep SundayWeek :: Type -> Type

Methods

from :: SundayWeek -> Rep SundayWeek x

to :: Rep SundayWeek x -> SundayWeek

Show SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

showsPrec :: Int -> SundayWeek -> ShowS

show :: SundayWeek -> String

showList :: [SundayWeek] -> ShowS

NFData SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: SundayWeek -> ()

Eq SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

(==) :: SundayWeek -> SundayWeek -> Bool

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

Ord SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

compare :: SundayWeek -> SundayWeek -> Ordering

(<) :: SundayWeek -> SundayWeek -> Bool

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

(>) :: SundayWeek -> SundayWeek -> Bool

(>=) :: SundayWeek -> SundayWeek -> Bool

max :: SundayWeek -> SundayWeek -> SundayWeek

min :: SundayWeek -> SundayWeek -> SundayWeek

Hashable SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

hashWithSalt :: Int -> SundayWeek -> Int

hash :: SundayWeek -> Int

Random SundayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

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

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

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

FormatTime SundayWeek

Defined in Data.Thyme.Format

Methods

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

ParseTime SundayWeek

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> SundayWeek

Unbox SundayWeek

Defined in Data.Thyme.Calendar.Internal

Vector Vector SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

basicLength :: Vector SundayWeek -> Int

basicUnsafeSlice :: Int -> Int -> Vector SundayWeek -> Vector SundayWeek

basicUnsafeIndexM :: Vector SundayWeek -> Int -> Box SundayWeek

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

elemseq :: Vector SundayWeek -> SundayWeek -> b -> b

MVector MVector SundayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s SundayWeek -> Int

basicUnsafeSlice :: Int -> Int -> MVector s SundayWeek -> MVector s SundayWeek

basicOverlaps :: MVector s SundayWeek -> MVector s SundayWeek -> Bool

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

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

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

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

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

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

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

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

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

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

type Rep SundayWeek

Defined in Data.Thyme.Calendar.Internal

type Rep SundayWeek = D1 ('MetaData "SundayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-JF452LdbqmqKJs722uy8nN" 'False) (C1 ('MetaCons "SundayWeek" 'PrefixI 'True) (S1 ('MetaSel ('Just "swYear") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Year) :*: (S1 ('MetaSel ('Just "swWeek") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "swDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DayOfWeek))))

newtype Vector SundayWeek

Defined in Data.Thyme.Calendar.Internal

newtype Vector SundayWeek = V_SundayWeek (Vector Int)

newtype MVector s SundayWeek

Defined in Data.Thyme.Calendar.Internal

newtype MVector s SundayWeek = MV_SundayWeek (MVector s Int)

_swYear :: Lens' SundayWeek Year

_swWeek :: Lens' SundayWeek WeekOfYear

_swDay :: Lens' SundayWeek DayOfWeek

sundayWeek :: Iso' Day SundayWeek

Conversion between Day and SundayWeek.

> YearMonthDay 2016 1 3 ^. from gregorian . sundayWeek
SundayWeek {swYear = 2016, swWeek = 1, swDay = 0}

sundayWeekValid :: SundayWeek -> Maybe Day

Convert a SundayWeek to a Day, or Nothing for invalid SundayWeek.

Weeks starting Monday

data MondayWeek

Week-based calendar date with the first Monday of the year as the first day of week 01. This corresponds to %W and %u of strftime(3).

The final week of a given year and week 00 of the next both refer to the same week.

Constructors

MondayWeek

Fields

• mwYear :: !Year

  Coincides with that of gregorian.

• mwWeek :: !WeekOfYear

  Weeks numbered from 00 to 53, starting with the first Monday of the year as the first day of week 01.

• mwDay :: !DayOfWeek

  7 = Sunday.

Instances

Arbitrary MondayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

arbitrary :: Gen MondayWeek

shrink :: MondayWeek -> [MondayWeek]

CoArbitrary MondayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: MondayWeek -> Gen b -> Gen b

Data MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

toConstr :: MondayWeek -> Constr

dataTypeOf :: MondayWeek -> DataType

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

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

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

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

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

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

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

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

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

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

Bounded MondayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

minBound :: MondayWeek

maxBound :: MondayWeek

Generic MondayWeek

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep MondayWeek :: Type -> Type

Methods

from :: MondayWeek -> Rep MondayWeek x

to :: Rep MondayWeek x -> MondayWeek

Show MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

showsPrec :: Int -> MondayWeek -> ShowS

show :: MondayWeek -> String

showList :: [MondayWeek] -> ShowS

NFData MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: MondayWeek -> ()

Eq MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

(==) :: MondayWeek -> MondayWeek -> Bool

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

Ord MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

compare :: MondayWeek -> MondayWeek -> Ordering

(<) :: MondayWeek -> MondayWeek -> Bool

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

(>) :: MondayWeek -> MondayWeek -> Bool

(>=) :: MondayWeek -> MondayWeek -> Bool

max :: MondayWeek -> MondayWeek -> MondayWeek

min :: MondayWeek -> MondayWeek -> MondayWeek

Hashable MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

hashWithSalt :: Int -> MondayWeek -> Int

hash :: MondayWeek -> Int

Random MondayWeek

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

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

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

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

FormatTime MondayWeek

Defined in Data.Thyme.Format

Methods

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

ParseTime MondayWeek

Defined in Data.Thyme.Format

Methods

buildTime :: TimeParse -> MondayWeek

Unbox MondayWeek

Defined in Data.Thyme.Calendar.Internal

Vector Vector MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

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

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

basicLength :: Vector MondayWeek -> Int

basicUnsafeSlice :: Int -> Int -> Vector MondayWeek -> Vector MondayWeek

basicUnsafeIndexM :: Vector MondayWeek -> Int -> Box MondayWeek

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

elemseq :: Vector MondayWeek -> MondayWeek -> b -> b

MVector MVector MondayWeek

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s MondayWeek -> Int

basicUnsafeSlice :: Int -> Int -> MVector s MondayWeek -> MVector s MondayWeek

basicOverlaps :: MVector s MondayWeek -> MVector s MondayWeek -> Bool

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

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

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

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

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

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

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

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

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

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

type Rep MondayWeek

Defined in Data.Thyme.Calendar.Internal

type Rep MondayWeek = D1 ('MetaData "MondayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.4.1-JF452LdbqmqKJs722uy8nN" 'False) (C1 ('MetaCons "MondayWeek" 'PrefixI 'True) (S1 ('MetaSel ('Just "mwYear") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Year) :*: (S1 ('MetaSel ('Just "mwWeek") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 WeekOfYear) :*: S1 ('MetaSel ('Just "mwDay") 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DayOfWeek))))

newtype Vector MondayWeek

Defined in Data.Thyme.Calendar.Internal

newtype Vector MondayWeek = V_MondayWeek (Vector Int)

newtype MVector s MondayWeek

Defined in Data.Thyme.Calendar.Internal

newtype MVector s MondayWeek = MV_MondayWeek (MVector s Int)

_mwYear :: Lens' MondayWeek Year

_mwWeek :: Lens' MondayWeek WeekOfYear

_mwDay :: Lens' MondayWeek DayOfWeek

mondayWeek :: Iso' Day MondayWeek

Conversion between Day and MondayWeek.

> YearMonthDay 2016 1 3 ^. from gregorian . mondayWeek
MondayWeek {mwYear = 2016, mwWeek = 0, mwDay = 7}

mondayWeekValid :: MondayWeek -> Maybe Day

Convert a MondayWeek to a Day, or Nothing for invalid MondayWeek.

toWeekDate :: Day -> (Year, WeekOfYear, DayOfWeek)

Converts a Day to an ISO week date.

toWeekDate (view weekDate -> WeekDate y w d) = (y, w, d)

fromWeekDate :: Year -> WeekOfYear -> DayOfWeek -> Day

Converts an ISO week date to a Day. Does not validate the input.

fromWeekDate y w d = weekDate # WeekDate y w d

fromWeekDateValid :: Year -> WeekOfYear -> DayOfWeek -> Maybe Day

Converts an ISO week date to a Day. Returns Nothing for invalid input.

fromWeekDateValid y w d = weekDateValid (WeekDate y w d)

Orphan instances

Arbitrary MondayWeek

Methods

arbitrary :: Gen MondayWeek

shrink :: MondayWeek -> [MondayWeek]

Arbitrary SundayWeek

Methods

arbitrary :: Gen SundayWeek

shrink :: SundayWeek -> [SundayWeek]

Arbitrary WeekDate

Methods

arbitrary :: Gen WeekDate

shrink :: WeekDate -> [WeekDate]

CoArbitrary MondayWeek

Methods

coarbitrary :: MondayWeek -> Gen b -> Gen b

CoArbitrary SundayWeek

Methods

coarbitrary :: SundayWeek -> Gen b -> Gen b

CoArbitrary WeekDate

Methods

coarbitrary :: WeekDate -> Gen b -> Gen b

Bounded MondayWeek

Methods

minBound :: MondayWeek

maxBound :: MondayWeek

Bounded SundayWeek

Methods

minBound :: SundayWeek

maxBound :: SundayWeek

Bounded WeekDate

Methods

minBound :: WeekDate

maxBound :: WeekDate

Random MondayWeek

Methods

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

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

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

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

Random SundayWeek

Methods

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

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

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

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

Random WeekDate

Methods

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

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

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

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