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

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 :: (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 #

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 :: * -> * #

Methods

from :: WeekDate -> Rep WeekDate x #

to :: Rep WeekDate x -> WeekDate #

Arbitrary WeekDate # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary WeekDate # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

NFData WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: WeekDate -> () #

Random WeekDate # 
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

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) WeekDate -> m (Vector WeekDate) #

basicUnsafeThaw :: PrimMonad m => Vector WeekDate -> m (Mutable Vector (PrimState m) WeekDate) #

basicLength :: Vector WeekDate -> Int #

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

basicUnsafeIndexM :: Monad m => Vector WeekDate -> Int -> m WeekDate #

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) WeekDate -> Vector WeekDate -> m () #

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

MVector MVector WeekDate Source # 
Instance details

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 :: PrimMonad m => Int -> m (MVector (PrimState m) WeekDate) #

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

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

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

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

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

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

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

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

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

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-JHgKRAeOg9fE1a15UHy1aj" 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))))
data Vector WeekDate Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

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

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 :: (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 #

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 :: * -> * #

Arbitrary SundayWeek # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary SundayWeek # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

NFData SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: SundayWeek -> () #

Random SundayWeek # 
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 #

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

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

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

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

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

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

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

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

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

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

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

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

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-JHgKRAeOg9fE1a15UHy1aj" 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))))
data Vector SundayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

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

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 :: (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 #

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 :: * -> * #

Arbitrary MondayWeek # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

CoArbitrary MondayWeek # 
Instance details

Defined in Data.Thyme.Calendar.WeekDate

Methods

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

NFData MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

Methods

rnf :: MondayWeek -> () #

Random MondayWeek # 
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 #

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

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

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

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

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

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

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

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

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

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

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

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

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-JHgKRAeOg9fE1a15UHy1aj" 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))))
data Vector MondayWeek Source # 
Instance details

Defined in Data.Thyme.Calendar.Internal

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

CoArbitrary SundayWeek Source # 
Instance details

Methods

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

CoArbitrary WeekDate Source # 
Instance details

Methods

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

Random MondayWeek Source # 
Instance details

Random SundayWeek Source # 
Instance details

Random WeekDate Source # 
Instance details