Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Enum Month Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Eq Month Source # | |
Data Month Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Month -> c Month # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Month # dataTypeOf :: Month -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Month) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Month) # gmapT :: (forall b. Data b => b -> b) -> Month -> Month # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Month -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Month -> r # gmapQ :: (forall d. Data d => d -> u) -> Month -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Month -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Month -> m Month # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Month -> m Month # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Month -> m Month # | |
Ord Month Source # | |
Read Month Source # | |
Show Month Source # | |
Instances
Enum YearType Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Eq YearType Source # | |
Ord YearType Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Show YearType Source # | |
Instances
Enum YearLeap Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Eq YearLeap Source # | |
Ord YearLeap Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Show YearLeap Source # | |
monthHebrew :: Month -> String Source #
Instances
Enum Chalakim Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Eq Chalakim Source # | |
Integral Chalakim Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Num Chalakim Source # | |
Ord Chalakim Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Real Chalakim Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal toRational :: Chalakim -> Rational # | |
Show Chalakim Source # | |
type TotalChalakim = Chalakim Source #
Instances
Enum Months Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Eq Months Source # | |
Integral Months Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal | |
Num Months Source # | |
Ord Months Source # | |
Real Months Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal toRational :: Months -> Rational # | |
Show Months Source # | |
daysFromWeeks :: Weeks -> Days Source #
shaotFromDays :: Days -> Shaot Source #
chalakimFromShaot :: Shaot -> Chalakim Source #
chalakimFromMonths :: Months -> Chalakim Source #
splitChalakim :: TotalChalakim -> (Weeks, Weekday, Shaot, Chalakim) Source #
joinChalakim :: Weeks -> Days -> Shaot -> Chalakim -> TotalChalakim Source #
isLeapYear :: Years -> YearLeap Source #
monthsTilTishrei :: Years -> Months Source #
moladTishrei :: Years -> TotalChalakim Source #
roshHashana :: Years -> TotalDays Source #
yearLength :: Years -> TotalDays Source #
data HebrewDate Source #
Instances
Eq HebrewDate Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal (==) :: HebrewDate -> HebrewDate -> Bool # (/=) :: HebrewDate -> HebrewDate -> Bool # | |
Data HebrewDate Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> HebrewDate -> c HebrewDate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c HebrewDate # toConstr :: HebrewDate -> Constr # dataTypeOf :: HebrewDate -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c HebrewDate) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c HebrewDate) # gmapT :: (forall b. Data b => b -> b) -> HebrewDate -> HebrewDate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> HebrewDate -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> HebrewDate -> r # gmapQ :: (forall d. Data d => d -> u) -> HebrewDate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> HebrewDate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> HebrewDate -> m HebrewDate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> HebrewDate -> m HebrewDate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> HebrewDate -> m HebrewDate # | |
Show HebrewDate Source # | |
Defined in Data.Time.Calendar.Hebrew.Internal showsPrec :: Int -> HebrewDate -> ShowS # show :: HebrewDate -> String # showList :: [HebrewDate] -> ShowS # |
epochOffset :: Integral i => i Source #
fromHebrew :: HebrewDate -> Day Source #
toHebrew :: Day -> HebrewDate Source #
clip :: HebrewDate -> HebrewDate Source #
:: Int | year |
-> HebrewDate | |
-> HebrewDate |
:: HebrewDate | so to say current date |
-> HebrewDate | date of event |
-> HebrewDate | first anniversary of event after current |
geHD :: HebrewDate -> HebrewDate -> Bool Source #