thyme-0.3.5.5: A faster time library

Safe HaskellNone
LanguageHaskell2010

Data.Thyme.Calendar.WeekDate

Contents

Description

Various Week Date formats

Synopsis

Documentation

type Year = Int Source #

ISO 8601 Week Date

data WeekDate Source #

Weeks numbered 01 to 53, where week 01 is the first week that has at least 4 days in the new year. Days before week 01 are considered to belong to the previous year.

Constructors

WeekDate 

Fields

Instances
Bounded WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Eq WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Data WeekDate Source # 
Instance details

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 Source #

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

toConstr :: WeekDate -> Constr Source #

dataTypeOf :: WeekDate -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Show WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Generic WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep WeekDate :: Type -> Type Source #

Arbitrary WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: WeekDate -> Gen b -> Gen b Source #

NFData WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: WeekDate -> () Source #

Random WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Unbox WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

ParseTime WeekDate Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime WeekDate Source # 
Instance details

Defined in Data.Thyme.Format

Methods

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

Vector Vector WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

MVector MVector WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s WeekDate -> Int Source #

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

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

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) WeekDate) Source #

basicInitialize :: PrimMonad m => MVector (PrimState m) WeekDate -> m () Source #

basicUnsafeReplicate :: PrimMonad m => Int -> WeekDate -> m (MVector (PrimState m) WeekDate) Source #

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) WeekDate -> Int -> m WeekDate Source #

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) WeekDate -> Int -> WeekDate -> m () Source #

basicClear :: PrimMonad m => MVector (PrimState m) WeekDate -> m () Source #

basicSet :: PrimMonad m => MVector (PrimState m) WeekDate -> WeekDate -> m () Source #

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) WeekDate -> MVector (PrimState m) WeekDate -> m () Source #

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) WeekDate -> MVector (PrimState m) WeekDate -> m () Source #

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) WeekDate -> Int -> m (MVector (PrimState m) WeekDate) Source #

type Rep WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

type Rep WeekDate = D1 (MetaData "WeekDate" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-Fg1pPOWWkee1p55oP1P4W4" 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 Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

newtype MVector s WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Weeks starting Sunday

data SundayWeek Source #

Weeks numbered from 0 to 53, starting with the first Sunday of the year as the first day of week 1. The last week of a given year and week 0 of the next both refer to the same week, but not all DayOfWeek are valid. Year coincides with that of gregorian.

Constructors

SundayWeek 

Fields

Instances
Bounded SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Eq SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Data SundayWeek Source # 
Instance details

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 Source #

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

toConstr :: SundayWeek -> Constr Source #

dataTypeOf :: SundayWeek -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Show SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Generic SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep SundayWeek :: Type -> Type Source #

Arbitrary SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: SundayWeek -> Gen b -> Gen b Source #

NFData SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: SundayWeek -> () Source #

Random SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Unbox SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

ParseTime SundayWeek Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime SundayWeek Source # 
Instance details

Defined in Data.Thyme.Format

Vector Vector SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

MVector MVector SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s SundayWeek -> Int Source #

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

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

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) SundayWeek) Source #

basicInitialize :: PrimMonad m => MVector (PrimState m) SundayWeek -> m () Source #

basicUnsafeReplicate :: PrimMonad m => Int -> SundayWeek -> m (MVector (PrimState m) SundayWeek) Source #

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) SundayWeek -> Int -> m SundayWeek Source #

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) SundayWeek -> Int -> SundayWeek -> m () Source #

basicClear :: PrimMonad m => MVector (PrimState m) SundayWeek -> m () Source #

basicSet :: PrimMonad m => MVector (PrimState m) SundayWeek -> SundayWeek -> m () Source #

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) SundayWeek -> MVector (PrimState m) SundayWeek -> m () Source #

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) SundayWeek -> MVector (PrimState m) SundayWeek -> m () Source #

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) SundayWeek -> Int -> m (MVector (PrimState m) SundayWeek) Source #

type Rep SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

type Rep SundayWeek = D1 (MetaData "SundayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-Fg1pPOWWkee1p55oP1P4W4" 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 Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

newtype MVector s SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Weeks starting Monday

data MondayWeek Source #

Weeks numbered from 0 to 53, starting with the first Monday of the year as the first day of week 1. The last week of a given year and week 0 of the next both refer to the same week, but not all DayOfWeek are valid. Year coincides with that of gregorian.

Constructors

MondayWeek 

Fields

Instances
Bounded MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Eq MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Data MondayWeek Source # 
Instance details

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 Source #

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

toConstr :: MondayWeek -> Constr Source #

dataTypeOf :: MondayWeek -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Show MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Generic MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Associated Types

type Rep MondayWeek :: Type -> Type Source #

Arbitrary MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

coarbitrary :: MondayWeek -> Gen b -> Gen b Source #

NFData MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: MondayWeek -> () Source #

Random MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Unbox MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

ParseTime MondayWeek Source # 
Instance details

Defined in Data.Thyme.Format

FormatTime MondayWeek Source # 
Instance details

Defined in Data.Thyme.Format

Vector Vector MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

MVector MVector MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

basicLength :: MVector s MondayWeek -> Int Source #

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

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

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) MondayWeek) Source #

basicInitialize :: PrimMonad m => MVector (PrimState m) MondayWeek -> m () Source #

basicUnsafeReplicate :: PrimMonad m => Int -> MondayWeek -> m (MVector (PrimState m) MondayWeek) Source #

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) MondayWeek -> Int -> m MondayWeek Source #

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) MondayWeek -> Int -> MondayWeek -> m () Source #

basicClear :: PrimMonad m => MVector (PrimState m) MondayWeek -> m () Source #

basicSet :: PrimMonad m => MVector (PrimState m) MondayWeek -> MondayWeek -> m () Source #

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) MondayWeek -> MVector (PrimState m) MondayWeek -> m () Source #

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) MondayWeek -> MVector (PrimState m) MondayWeek -> m () Source #

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) MondayWeek -> Int -> m (MVector (PrimState m) MondayWeek) Source #

type Rep MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

type Rep MondayWeek = D1 (MetaData "MondayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-Fg1pPOWWkee1p55oP1P4W4" 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 Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

newtype MVector s MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Orphan instances

Bounded MondayWeek Source # 
Instance details

Bounded SundayWeek Source # 
Instance details

Bounded WeekDate Source # 
Instance details

Arbitrary MondayWeek Source # 
Instance details

Arbitrary SundayWeek Source # 
Instance details

Arbitrary WeekDate Source # 
Instance details

CoArbitrary MondayWeek Source # 
Instance details

Methods

coarbitrary :: MondayWeek -> Gen b -> Gen b Source #

CoArbitrary SundayWeek Source # 
Instance details

Methods

coarbitrary :: SundayWeek -> Gen b -> Gen b Source #

CoArbitrary WeekDate Source # 
Instance details

Methods

coarbitrary :: WeekDate -> Gen b -> Gen b Source #

Random MondayWeek Source # 
Instance details

Random SundayWeek Source # 
Instance details

Random WeekDate Source # 
Instance details