Safe Haskell | None |
---|---|
Language | Haskell2010 |
Data.Thyme.Calendar
Description
Synopsis
- type Years = Int
- type Months = Int
- type Days = Int
- newtype Day = ModifiedJulianDay {}
- modifiedJulianDay :: Iso' Day Int
- type Year = Int
- type Month = Int
- type DayOfMonth = Int
- data YearMonthDay = YearMonthDay {}
- isLeapYear :: Year -> Bool
- yearMonthDay :: Iso' OrdinalDate YearMonthDay
- gregorian :: Iso' Day YearMonthDay
- gregorianValid :: YearMonthDay -> Maybe Day
- showGregorian :: Day -> String
- gregorianMonthLength :: Year -> Month -> Days
- gregorianMonthsClip :: Months -> YearMonthDay -> YearMonthDay
- gregorianMonthsRollover :: Months -> YearMonthDay -> YearMonthDay
- gregorianYearsClip :: Years -> YearMonthDay -> YearMonthDay
- gregorianYearsRollover :: Years -> YearMonthDay -> YearMonthDay
- _ymdYear :: Lens' YearMonthDay Year
- _ymdMonth :: Lens' YearMonthDay Month
- _ymdDay :: Lens' YearMonthDay DayOfMonth
Documentation
Days
The Modified Julian Day is a standard count of days, with zero being the day 1858-11-17.
Constructors
ModifiedJulianDay | |
Fields |
Instances
Bounded Day # | |
Enum Day Source # | |
Eq Day Source # | |
Data Day Source # | |
Defined in Data.Thyme.Calendar.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Day -> c Day # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Day # dataTypeOf :: Day -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Day) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Day) # gmapT :: (forall b. Data b => b -> b) -> Day -> Day # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Day -> r # gmapQ :: (forall d. Data d => d -> u) -> Day -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Day -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Day -> m Day # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Day -> m Day # | |
Ord Day Source # | |
Read Day # | |
Show Day Source # | |
Ix Day Source # | |
Generic Day Source # | |
Arbitrary Day # | |
CoArbitrary Day Source # | |
Defined in Data.Thyme.Calendar.Internal Methods coarbitrary :: Day -> Gen b -> Gen b # | |
NFData Day Source # | |
Defined in Data.Thyme.Calendar.Internal | |
Random Day # | |
Unbox Day Source # | |
Defined in Data.Thyme.Calendar.Internal | |
AffineSpace Day Source # | |
ParseTime Day Source # | |
FormatTime Day Source # | |
Defined in Data.Thyme.Format | |
Vector Vector Day Source # | |
Defined in Data.Thyme.Calendar.Internal Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Day -> m (Vector Day) # basicUnsafeThaw :: PrimMonad m => Vector Day -> m (Mutable Vector (PrimState m) Day) # basicLength :: Vector Day -> Int # basicUnsafeSlice :: Int -> Int -> Vector Day -> Vector Day # basicUnsafeIndexM :: Monad m => Vector Day -> Int -> m Day # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Day -> Vector Day -> m () # | |
MVector MVector Day Source # | |
Defined in Data.Thyme.Calendar.Internal Methods basicLength :: MVector s Day -> Int # basicUnsafeSlice :: Int -> Int -> MVector s Day -> MVector s Day # basicOverlaps :: MVector s Day -> MVector s Day -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Day) # basicInitialize :: PrimMonad m => MVector (PrimState m) Day -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> Day -> m (MVector (PrimState m) Day) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Day -> Int -> m Day # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Day -> Int -> Day -> m () # basicClear :: PrimMonad m => MVector (PrimState m) Day -> m () # basicSet :: PrimMonad m => MVector (PrimState m) Day -> Day -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Day -> MVector (PrimState m) Day -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Day -> MVector (PrimState m) Day -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Day -> Int -> m (MVector (PrimState m) Day) # | |
Thyme Day Day Source # | |
type Rep Day Source # | |
Defined in Data.Thyme.Calendar.Internal | |
data Vector Day Source # | |
type Diff Day Source # | |
Defined in Data.Thyme.Calendar.Internal | |
data MVector s Day Source # | |
modifiedJulianDay :: Iso' Day Int Source #
Gregorian calendar
type DayOfMonth = Int Source #
data YearMonthDay Source #
Constructors
YearMonthDay | |
Instances
isLeapYear :: Year -> Bool Source #
Gregorian leap year?
yearMonthDay :: Iso' OrdinalDate YearMonthDay Source #
gregorian :: Iso' Day YearMonthDay Source #
gregorianValid :: YearMonthDay -> Maybe Day Source #
showGregorian :: Day -> String Source #
gregorianMonthsClip :: Months -> YearMonthDay -> YearMonthDay Source #
gregorianYearsClip :: Years -> YearMonthDay -> YearMonthDay Source #
_ymdYear :: Lens' YearMonthDay Year Source #
_ymdMonth :: Lens' YearMonthDay Month Source #
_ymdDay :: Lens' YearMonthDay DayOfMonth Source #
Orphan instances
Bounded YearMonthDay Source # | |
Bounded Day Source # | |
Arbitrary YearMonthDay Source # | |
Arbitrary Day Source # | |
CoArbitrary YearMonthDay Source # | |
Methods coarbitrary :: YearMonthDay -> Gen b -> Gen b # | |
Random YearMonthDay Source # | |
Methods randomR :: RandomGen g => (YearMonthDay, YearMonthDay) -> g -> (YearMonthDay, g) # random :: RandomGen g => g -> (YearMonthDay, g) # randomRs :: RandomGen g => (YearMonthDay, YearMonthDay) -> g -> [YearMonthDay] # randoms :: RandomGen g => g -> [YearMonthDay] # randomRIO :: (YearMonthDay, YearMonthDay) -> IO YearMonthDay # randomIO :: IO YearMonthDay # | |
Random Day Source # | |