Safe Haskell	None
Language	Haskell2010

Data.Thyme.Calendar.WeekDate

Contents

ISO 8601 Week Date
Weeks starting Sunday
Weeks starting Monday
Orphan instances

Description

Various Week Date formats

Synopsis

type Year = Int
type WeekOfYear = Int
type DayOfWeek = Int
data WeekDate = WeekDate {
- wdYear :: !Year
- wdWeek :: !WeekOfYear
- wdDay :: !DayOfWeek
}
weekDate :: Iso' Day WeekDate
weekDateValid :: WeekDate -> Maybe Day
showWeekDate :: Day -> String
data SundayWeek = SundayWeek {
- swYear :: !Year
- swWeek :: !WeekOfYear
- swDay :: !DayOfWeek
}
sundayWeek :: Iso' Day SundayWeek
sundayWeekValid :: SundayWeek -> Maybe Day
data MondayWeek = MondayWeek {
- mwYear :: !Year
- mwWeek :: !WeekOfYear
- mwDay :: !DayOfWeek
}
mondayWeek :: Iso' Day MondayWeek
mondayWeekValid :: MondayWeek -> Maybe Day
_wdYear :: Lens' WeekDate Year
_wdWeek :: Lens' WeekDate WeekOfYear
_wdDay :: Lens' WeekDate DayOfWeek
_swYear :: Lens' SundayWeek Year
_swWeek :: Lens' SundayWeek WeekOfYear
_swDay :: Lens' SundayWeek DayOfWeek
_mwYear :: Lens' MondayWeek Year
_mwWeek :: Lens' MondayWeek WeekOfYear
_mwDay :: Lens' MondayWeek DayOfWeek

Documentation

type Year = Int #

type WeekOfYear = Int #

type DayOfWeek = Int #

ISO 8601 Week Date

data WeekDate #

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 wdYear :: !Year wdWeek :: !WeekOfYear wdDay :: !DayOfWeek

Instances

Bounded WeekDate #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods minBound :: WeekDate # maxBound :: WeekDate #
Eq WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods (==) :: WeekDate -> WeekDate -> Bool # (/=) :: WeekDate -> WeekDate -> Bool #
Data WeekDate #
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 #
Instance details 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 #
Show WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods showsPrec :: Int -> WeekDate -> ShowS # show :: WeekDate -> String # showList :: [WeekDate] -> ShowS #
Generic WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal Associated Types type Rep WeekDate :: Type -> Type # Methods from :: WeekDate -> Rep WeekDate x # to :: Rep WeekDate x -> WeekDate #
Arbitrary WeekDate #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods arbitrary :: Gen WeekDate # shrink :: WeekDate -> [WeekDate] #
CoArbitrary WeekDate #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods coarbitrary :: WeekDate -> Gen b -> Gen b #
NFData WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods rnf :: WeekDate -> () #
Random WeekDate #
Instance details 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] # randomRIO :: (WeekDate, WeekDate) -> IO WeekDate # randomIO :: IO WeekDate #
Unbox WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal
ParseTime WeekDate #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> WeekDate #
FormatTime WeekDate #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> WeekDate -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector WeekDate #
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 #
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 #
Instance details Defined in Data.Thyme.Calendar.Internal type Rep WeekDate = D1 (MetaData "WeekDate" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #
Instance details Defined in Data.Thyme.Calendar.Internal newtype Vector WeekDate = V_WeekDate (Vector Int)
newtype MVector s WeekDate #
Instance details Defined in Data.Thyme.Calendar.Internal newtype MVector s WeekDate = MV_WeekDate (MVector s Int)

weekDate :: Iso' Day WeekDate #

weekDateValid :: WeekDate -> Maybe Day #

showWeekDate :: Day -> String #

Weeks starting Sunday

data SundayWeek #

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 swYear :: !Year swWeek :: !WeekOfYear swDay :: !DayOfWeek

Instances

Bounded SundayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods minBound :: SundayWeek # maxBound :: SundayWeek #
Eq SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods (==) :: SundayWeek -> SundayWeek -> Bool # (/=) :: SundayWeek -> SundayWeek -> Bool #
Data SundayWeek #
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 #
Instance details 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 #
Show SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods showsPrec :: Int -> SundayWeek -> ShowS # show :: SundayWeek -> String # showList :: [SundayWeek] -> ShowS #
Generic SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Associated Types type Rep SundayWeek :: Type -> Type # Methods from :: SundayWeek -> Rep SundayWeek x # to :: Rep SundayWeek x -> SundayWeek #
Arbitrary SundayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods arbitrary :: Gen SundayWeek # shrink :: SundayWeek -> [SundayWeek] #
CoArbitrary SundayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods coarbitrary :: SundayWeek -> Gen b -> Gen b #
NFData SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods rnf :: SundayWeek -> () #
Random SundayWeek #
Instance details 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] # randomRIO :: (SundayWeek, SundayWeek) -> IO SundayWeek # randomIO :: IO SundayWeek #
Unbox SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal
ParseTime SundayWeek #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> SundayWeek #
FormatTime SundayWeek #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> SundayWeek -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) SundayWeek -> m (Vector SundayWeek) # basicUnsafeThaw :: PrimMonad m => Vector SundayWeek -> m (Mutable Vector (PrimState m) SundayWeek) # basicLength :: Vector SundayWeek -> Int # basicUnsafeSlice :: Int -> Int -> Vector SundayWeek -> Vector SundayWeek # basicUnsafeIndexM :: Monad m => Vector SundayWeek -> Int -> m SundayWeek # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) SundayWeek -> Vector SundayWeek -> m () # elemseq :: Vector SundayWeek -> SundayWeek -> b -> b #
MVector MVector SundayWeek #
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 #
Instance details Defined in Data.Thyme.Calendar.Internal type Rep SundayWeek = D1 (MetaData "SundayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #
Instance details Defined in Data.Thyme.Calendar.Internal newtype Vector SundayWeek = V_SundayWeek (Vector Int)
newtype MVector s SundayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal newtype MVector s SundayWeek = MV_SundayWeek (MVector s Int)

sundayWeek :: Iso' Day SundayWeek #

sundayWeekValid :: SundayWeek -> Maybe Day #

Weeks starting Monday

data MondayWeek #

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 mwYear :: !Year mwWeek :: !WeekOfYear mwDay :: !DayOfWeek

Instances

Bounded MondayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods minBound :: MondayWeek # maxBound :: MondayWeek #
Eq MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods (==) :: MondayWeek -> MondayWeek -> Bool # (/=) :: MondayWeek -> MondayWeek -> Bool #
Data MondayWeek #
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 #
Instance details 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 #
Show MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods showsPrec :: Int -> MondayWeek -> ShowS # show :: MondayWeek -> String # showList :: [MondayWeek] -> ShowS #
Generic MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Associated Types type Rep MondayWeek :: Type -> Type # Methods from :: MondayWeek -> Rep MondayWeek x # to :: Rep MondayWeek x -> MondayWeek #
Arbitrary MondayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods arbitrary :: Gen MondayWeek # shrink :: MondayWeek -> [MondayWeek] #
CoArbitrary MondayWeek #
Instance details Defined in Data.Thyme.Calendar.WeekDate Methods coarbitrary :: MondayWeek -> Gen b -> Gen b #
NFData MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods rnf :: MondayWeek -> () #
Random MondayWeek #
Instance details 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] # randomRIO :: (MondayWeek, MondayWeek) -> IO MondayWeek # randomIO :: IO MondayWeek #
Unbox MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal
ParseTime MondayWeek #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> MondayWeek #
FormatTime MondayWeek #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> MondayWeek -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) MondayWeek -> m (Vector MondayWeek) # basicUnsafeThaw :: PrimMonad m => Vector MondayWeek -> m (Mutable Vector (PrimState m) MondayWeek) # basicLength :: Vector MondayWeek -> Int # basicUnsafeSlice :: Int -> Int -> Vector MondayWeek -> Vector MondayWeek # basicUnsafeIndexM :: Monad m => Vector MondayWeek -> Int -> m MondayWeek # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) MondayWeek -> Vector MondayWeek -> m () # elemseq :: Vector MondayWeek -> MondayWeek -> b -> b #
MVector MVector MondayWeek #
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 #
Instance details Defined in Data.Thyme.Calendar.Internal type Rep MondayWeek = D1 (MetaData "MondayWeek" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" 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 #
Instance details Defined in Data.Thyme.Calendar.Internal newtype Vector MondayWeek = V_MondayWeek (Vector Int)
newtype MVector s MondayWeek #
Instance details Defined in Data.Thyme.Calendar.Internal newtype MVector s MondayWeek = MV_MondayWeek (MVector s Int)

mondayWeek :: Iso' Day MondayWeek #

mondayWeekValid :: MondayWeek -> Maybe Day #

_wdYear :: Lens' WeekDate Year #

_wdWeek :: Lens' WeekDate WeekOfYear #

_wdDay :: Lens' WeekDate DayOfWeek #

_swYear :: Lens' SundayWeek Year #

_swWeek :: Lens' SundayWeek WeekOfYear #

_swDay :: Lens' SundayWeek DayOfWeek #

_mwYear :: Lens' MondayWeek Year #

_mwWeek :: Lens' MondayWeek WeekOfYear #

_mwDay :: Lens' MondayWeek DayOfWeek #

Orphan instances

Bounded MondayWeek #
Instance details Methods minBound :: MondayWeek # maxBound :: MondayWeek #
Bounded SundayWeek #
Instance details Methods minBound :: SundayWeek # maxBound :: SundayWeek #
Bounded WeekDate #
Instance details Methods minBound :: WeekDate # maxBound :: WeekDate #
Arbitrary MondayWeek #
Instance details Methods arbitrary :: Gen MondayWeek # shrink :: MondayWeek -> [MondayWeek] #
Arbitrary SundayWeek #
Instance details Methods arbitrary :: Gen SundayWeek # shrink :: SundayWeek -> [SundayWeek] #
Arbitrary WeekDate #
Instance details Methods arbitrary :: Gen WeekDate # shrink :: WeekDate -> [WeekDate] #
CoArbitrary MondayWeek #
Instance details Methods coarbitrary :: MondayWeek -> Gen b -> Gen b #
CoArbitrary SundayWeek #
Instance details Methods coarbitrary :: SundayWeek -> Gen b -> Gen b #
CoArbitrary WeekDate #
Instance details Methods coarbitrary :: WeekDate -> Gen b -> Gen b #
Random MondayWeek #
Instance details 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] # randomRIO :: (MondayWeek, MondayWeek) -> IO MondayWeek # randomIO :: IO MondayWeek #
Random SundayWeek #
Instance details 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] # randomRIO :: (SundayWeek, SundayWeek) -> IO SundayWeek # randomIO :: IO SundayWeek #
Random WeekDate #
Instance details 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] # randomRIO :: (WeekDate, WeekDate) -> IO WeekDate # randomIO :: IO WeekDate #