Copyright	(C) 2017 Jason Johnson
License	BSD-style (see the file LICENSE)
Maintainer	Jason Johnson <jason.johnson.081@gmail.com>
Stability	experimental
Portability	POSIX, Windows
Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.HodaTime.Calendar.Coptic

Contents

Constructors
Types

Description

This is the module for CalendarDate and CalendarDateTime in the Coptic calendar, the liturgical calendar of the Coptic Orthodox Church whose era of the Martyrs (Anno Martyrum) counts years from AD 284. The year is twelve months of 30 days followed by a short thirteenth month (PiKogiEnavot, the epagomenal days) of five days, or six in a leap year. Leap years follow the same simple every-fourth-year rule as Julian (a Coptic year is leap when year `mod` 4 == 3), with the extra day added at the end of the year. Year 1 begins on 29.Aug.284 in the Julian calendar; dates share the same absolute timeline as every other calendar.

Synopsis

calendarDate :: DayOfMonth -> Month Coptic -> Year -> Maybe (CalendarDate Coptic)
fromNthDay :: DayNth -> DayOfWeek Coptic -> Month Coptic -> Year -> Maybe (CalendarDate Coptic)
fromWeekDate :: WeekNumber -> DayOfWeek Coptic -> Year -> Maybe (CalendarDate Coptic)
data family Month cal
data family DayOfWeek cal
data Coptic

Constructors

calendarDate :: DayOfMonth -> Month Coptic -> Year -> Maybe (CalendarDate Coptic) Source #

Smart constructor for a Coptic calendar date.

fromNthDay :: DayNth -> DayOfWeek Coptic -> Month Coptic -> Year -> Maybe (CalendarDate Coptic) Source #

Smart constructor for a Coptic calendar date given as a day relative to a month (e.g. the third Monday of the month). Returns Nothing if the resulting date is invalid.

fromWeekDate :: WeekNumber -> DayOfWeek Coptic -> Year -> Maybe (CalendarDate Coptic) Source #

Smart constructor for a Coptic calendar date given as a week date. Note that this method assumes weeks start on Sunday and the first week of the year is the one which has at least one day in the new year.

Types

data family Month cal Source #

Instances

Instances details

Bounded (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods minBound :: Month Coptic # maxBound :: Month Coptic #
Bounded (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods minBound :: Month Gregorian # maxBound :: Month Gregorian #
Bounded (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods minBound :: Month (Hebrew n) # maxBound :: Month (Hebrew n) #
Bounded (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods minBound :: Month (Islamic l) # maxBound :: Month (Islamic l) #
Bounded (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods minBound :: Month Julian # maxBound :: Month Julian #
Bounded (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods minBound :: Month Persian # maxBound :: Month Persian #
Enum (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods succ :: Month Coptic -> Month Coptic # pred :: Month Coptic -> Month Coptic # toEnum :: Int -> Month Coptic # fromEnum :: Month Coptic -> Int # enumFrom :: Month Coptic -> [Month Coptic] # enumFromThen :: Month Coptic -> Month Coptic -> [Month Coptic] # enumFromTo :: Month Coptic -> Month Coptic -> [Month Coptic] # enumFromThenTo :: Month Coptic -> Month Coptic -> Month Coptic -> [Month Coptic] #
Enum (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods succ :: Month Gregorian -> Month Gregorian # pred :: Month Gregorian -> Month Gregorian # toEnum :: Int -> Month Gregorian # fromEnum :: Month Gregorian -> Int # enumFrom :: Month Gregorian -> [Month Gregorian] # enumFromThen :: Month Gregorian -> Month Gregorian -> [Month Gregorian] # enumFromTo :: Month Gregorian -> Month Gregorian -> [Month Gregorian] # enumFromThenTo :: Month Gregorian -> Month Gregorian -> Month Gregorian -> [Month Gregorian] #
KnownNumbering n => Enum (Month (Hebrew n)) Source #	The `Month` `Enum` is the one place the numbering shows: it is calendar order rotated so counting begins at the numbering's start month (`numberingStart`).
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods succ :: Month (Hebrew n) -> Month (Hebrew n) # pred :: Month (Hebrew n) -> Month (Hebrew n) # toEnum :: Int -> Month (Hebrew n) # fromEnum :: Month (Hebrew n) -> Int # enumFrom :: Month (Hebrew n) -> [Month (Hebrew n)] # enumFromThen :: Month (Hebrew n) -> Month (Hebrew n) -> [Month (Hebrew n)] # enumFromTo :: Month (Hebrew n) -> Month (Hebrew n) -> [Month (Hebrew n)] # enumFromThenTo :: Month (Hebrew n) -> Month (Hebrew n) -> Month (Hebrew n) -> [Month (Hebrew n)] #
Enum (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods succ :: Month (Islamic l) -> Month (Islamic l) # pred :: Month (Islamic l) -> Month (Islamic l) # toEnum :: Int -> Month (Islamic l) # fromEnum :: Month (Islamic l) -> Int # enumFrom :: Month (Islamic l) -> [Month (Islamic l)] # enumFromThen :: Month (Islamic l) -> Month (Islamic l) -> [Month (Islamic l)] # enumFromTo :: Month (Islamic l) -> Month (Islamic l) -> [Month (Islamic l)] # enumFromThenTo :: Month (Islamic l) -> Month (Islamic l) -> Month (Islamic l) -> [Month (Islamic l)] #
Enum (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods succ :: Month Julian -> Month Julian # pred :: Month Julian -> Month Julian # toEnum :: Int -> Month Julian # fromEnum :: Month Julian -> Int # enumFrom :: Month Julian -> [Month Julian] # enumFromThen :: Month Julian -> Month Julian -> [Month Julian] # enumFromTo :: Month Julian -> Month Julian -> [Month Julian] # enumFromThenTo :: Month Julian -> Month Julian -> Month Julian -> [Month Julian] #
Enum (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods succ :: Month Persian -> Month Persian # pred :: Month Persian -> Month Persian # toEnum :: Int -> Month Persian # fromEnum :: Month Persian -> Int # enumFrom :: Month Persian -> [Month Persian] # enumFromThen :: Month Persian -> Month Persian -> [Month Persian] # enumFromTo :: Month Persian -> Month Persian -> [Month Persian] # enumFromThenTo :: Month Persian -> Month Persian -> Month Persian -> [Month Persian] #
Read (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods readsPrec :: Int -> ReadS (Month Coptic) # readList :: ReadS [Month Coptic] # readPrec :: ReadPrec (Month Coptic) # readListPrec :: ReadPrec [Month Coptic] #
Read (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods readsPrec :: Int -> ReadS (Month Gregorian) # readList :: ReadS [Month Gregorian] # readPrec :: ReadPrec (Month Gregorian) # readListPrec :: ReadPrec [Month Gregorian] #
Read (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods readsPrec :: Int -> ReadS (Month (Hebrew n)) # readList :: ReadS [Month (Hebrew n)] # readPrec :: ReadPrec (Month (Hebrew n)) # readListPrec :: ReadPrec [Month (Hebrew n)] #
Read (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods readsPrec :: Int -> ReadS (Month (Islamic l)) # readList :: ReadS [Month (Islamic l)] # readPrec :: ReadPrec (Month (Islamic l)) # readListPrec :: ReadPrec [Month (Islamic l)] #
Read (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods readsPrec :: Int -> ReadS (Month Julian) # readList :: ReadS [Month Julian] # readPrec :: ReadPrec (Month Julian) # readListPrec :: ReadPrec [Month Julian] #
Read (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods readsPrec :: Int -> ReadS (Month Persian) # readList :: ReadS [Month Persian] # readPrec :: ReadPrec (Month Persian) # readListPrec :: ReadPrec [Month Persian] #
Show (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods showsPrec :: Int -> Month Coptic -> ShowS # show :: Month Coptic -> String # showList :: [Month Coptic] -> ShowS #
Show (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods showsPrec :: Int -> Month Gregorian -> ShowS # show :: Month Gregorian -> String # showList :: [Month Gregorian] -> ShowS #
Show (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods showsPrec :: Int -> Month (Hebrew n) -> ShowS # show :: Month (Hebrew n) -> String # showList :: [Month (Hebrew n)] -> ShowS #
Show (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods showsPrec :: Int -> Month (Islamic l) -> ShowS # show :: Month (Islamic l) -> String # showList :: [Month (Islamic l)] -> ShowS #
Show (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods showsPrec :: Int -> Month Julian -> ShowS # show :: Month Julian -> String # showList :: [Month Julian] -> ShowS #
Show (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods showsPrec :: Int -> Month Persian -> ShowS # show :: Month Persian -> String # showList :: [Month Persian] -> ShowS #
NFData (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods rnf :: Month Coptic -> () #
NFData (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods rnf :: Month Gregorian -> () #
NFData (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods rnf :: Month (Hebrew n) -> () #
NFData (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods rnf :: Month (Islamic l) -> () #
NFData (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods rnf :: Month Julian -> () #
NFData (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods rnf :: Month Persian -> () #
Eq (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods (==) :: Month Coptic -> Month Coptic -> Bool # (/=) :: Month Coptic -> Month Coptic -> Bool #
Eq (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods (==) :: Month Gregorian -> Month Gregorian -> Bool # (/=) :: Month Gregorian -> Month Gregorian -> Bool #
Eq (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods (==) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool # (/=) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool #
Eq (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods (==) :: Month (Islamic l) -> Month (Islamic l) -> Bool # (/=) :: Month (Islamic l) -> Month (Islamic l) -> Bool #
Eq (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods (==) :: Month Julian -> Month Julian -> Bool # (/=) :: Month Julian -> Month Julian -> Bool #
Eq (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods (==) :: Month Persian -> Month Persian -> Bool # (/=) :: Month Persian -> Month Persian -> Bool #
Ord (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods compare :: Month Coptic -> Month Coptic -> Ordering # (<) :: Month Coptic -> Month Coptic -> Bool # (<=) :: Month Coptic -> Month Coptic -> Bool # (>) :: Month Coptic -> Month Coptic -> Bool # (>=) :: Month Coptic -> Month Coptic -> Bool # max :: Month Coptic -> Month Coptic -> Month Coptic # min :: Month Coptic -> Month Coptic -> Month Coptic #
Ord (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods compare :: Month Gregorian -> Month Gregorian -> Ordering # (<) :: Month Gregorian -> Month Gregorian -> Bool # (<=) :: Month Gregorian -> Month Gregorian -> Bool # (>) :: Month Gregorian -> Month Gregorian -> Bool # (>=) :: Month Gregorian -> Month Gregorian -> Bool # max :: Month Gregorian -> Month Gregorian -> Month Gregorian # min :: Month Gregorian -> Month Gregorian -> Month Gregorian #
Ord (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods compare :: Month (Hebrew n) -> Month (Hebrew n) -> Ordering # (<) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool # (<=) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool # (>) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool # (>=) :: Month (Hebrew n) -> Month (Hebrew n) -> Bool # max :: Month (Hebrew n) -> Month (Hebrew n) -> Month (Hebrew n) # min :: Month (Hebrew n) -> Month (Hebrew n) -> Month (Hebrew n) #
Ord (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods compare :: Month (Islamic l) -> Month (Islamic l) -> Ordering # (<) :: Month (Islamic l) -> Month (Islamic l) -> Bool # (<=) :: Month (Islamic l) -> Month (Islamic l) -> Bool # (>) :: Month (Islamic l) -> Month (Islamic l) -> Bool # (>=) :: Month (Islamic l) -> Month (Islamic l) -> Bool # max :: Month (Islamic l) -> Month (Islamic l) -> Month (Islamic l) # min :: Month (Islamic l) -> Month (Islamic l) -> Month (Islamic l) #
Ord (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods compare :: Month Julian -> Month Julian -> Ordering # (<) :: Month Julian -> Month Julian -> Bool # (<=) :: Month Julian -> Month Julian -> Bool # (>) :: Month Julian -> Month Julian -> Bool # (>=) :: Month Julian -> Month Julian -> Bool # max :: Month Julian -> Month Julian -> Month Julian # min :: Month Julian -> Month Julian -> Month Julian #
Ord (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods compare :: Month Persian -> Month Persian -> Ordering # (<) :: Month Persian -> Month Persian -> Bool # (<=) :: Month Persian -> Month Persian -> Bool # (>) :: Month Persian -> Month Persian -> Bool # (>=) :: Month Persian -> Month Persian -> Bool # max :: Month Persian -> Month Persian -> Month Persian # min :: Month Persian -> Month Persian -> Month Persian #
Hashable (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods hashWithSalt :: Int -> Month Coptic -> Int # hash :: Month Coptic -> Int #
Hashable (Month Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods hashWithSalt :: Int -> Month Gregorian -> Int # hash :: Month Gregorian -> Int #
KnownNumbering n => Hashable (Month (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods hashWithSalt :: Int -> Month (Hebrew n) -> Int # hash :: Month (Hebrew n) -> Int #
Hashable (Month (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods hashWithSalt :: Int -> Month (Islamic l) -> Int # hash :: Month (Islamic l) -> Int #
Hashable (Month Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods hashWithSalt :: Int -> Month Julian -> Int # hash :: Month Julian -> Int #
Hashable (Month Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods hashWithSalt :: Int -> Month Persian -> Int # hash :: Month Persian -> Int #
data Month Coptic Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic data Month Coptic = Thout \| Paopi \| Hathor \| Koiak \| Tobi \| Meshir \| Paremhat \| Paremoude \| Pashons \| Paoni \| Epip \| Mesori \| PiKogiEnavot
data Month Gregorian Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal data Month Gregorian = January \| February \| March \| April \| May \| June \| July \| August \| September \| October \| November \| December
data Month Julian Source #
Instance details Defined in Data.HodaTime.Calendar.Julian data Month Julian = January \| February \| March \| April \| May \| June \| July \| August \| September \| October \| November \| December
data Month Persian Source #
Instance details Defined in Data.HodaTime.Calendar.Persian data Month Persian = Farvardin \| Ordibehesht \| Khordad \| Tir \| Mordad \| Shahrivar \| Mehr \| Aban \| Azar \| Dey \| Bahman \| Esfand
data Month (Hebrew n) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew data Month (Hebrew n) = Tishri \| Cheshvan \| Kislev \| Tevet \| Shevat \| AdarI \| Adar \| Nisan \| Iyar \| Sivan \| Tammuz \| Av \| Elul
data Month (Islamic l) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic data Month (Islamic l) = Muharram \| Safar \| RabiAlAwwal \| RabiAlThani \| JumadaAlAwwal \| JumadaAlThani \| Rajab \| Shaban \| Ramadan \| Shawwal \| DhulQadah \| DhulHijjah

data family DayOfWeek cal Source #

Instances

Instances details

Bounded (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods minBound :: DayOfWeek Coptic # maxBound :: DayOfWeek Coptic #
Bounded (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods minBound :: DayOfWeek Gregorian # maxBound :: DayOfWeek Gregorian #
Bounded (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods minBound :: DayOfWeek (Hebrew n) # maxBound :: DayOfWeek (Hebrew n) #
Bounded (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods minBound :: DayOfWeek (Islamic l) # maxBound :: DayOfWeek (Islamic l) #
Bounded (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods minBound :: DayOfWeek Julian # maxBound :: DayOfWeek Julian #
Bounded (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods minBound :: DayOfWeek Persian # maxBound :: DayOfWeek Persian #
Enum (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods succ :: DayOfWeek Coptic -> DayOfWeek Coptic # pred :: DayOfWeek Coptic -> DayOfWeek Coptic # toEnum :: Int -> DayOfWeek Coptic # fromEnum :: DayOfWeek Coptic -> Int # enumFrom :: DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromThen :: DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromTo :: DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromThenTo :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] #
Enum (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods succ :: DayOfWeek Gregorian -> DayOfWeek Gregorian # pred :: DayOfWeek Gregorian -> DayOfWeek Gregorian # toEnum :: Int -> DayOfWeek Gregorian # fromEnum :: DayOfWeek Gregorian -> Int # enumFrom :: DayOfWeek Gregorian -> [DayOfWeek Gregorian] # enumFromThen :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> [DayOfWeek Gregorian] # enumFromTo :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> [DayOfWeek Gregorian] # enumFromThenTo :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> DayOfWeek Gregorian -> [DayOfWeek Gregorian] #
Enum (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods succ :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) # pred :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) # toEnum :: Int -> DayOfWeek (Hebrew n) # fromEnum :: DayOfWeek (Hebrew n) -> Int # enumFrom :: DayOfWeek (Hebrew n) -> [DayOfWeek (Hebrew n)] # enumFromThen :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> [DayOfWeek (Hebrew n)] # enumFromTo :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> [DayOfWeek (Hebrew n)] # enumFromThenTo :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> [DayOfWeek (Hebrew n)] #
Enum (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods succ :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) # pred :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) # toEnum :: Int -> DayOfWeek (Islamic l) # fromEnum :: DayOfWeek (Islamic l) -> Int # enumFrom :: DayOfWeek (Islamic l) -> [DayOfWeek (Islamic l)] # enumFromThen :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> [DayOfWeek (Islamic l)] # enumFromTo :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> [DayOfWeek (Islamic l)] # enumFromThenTo :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> [DayOfWeek (Islamic l)] #
Enum (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods succ :: DayOfWeek Julian -> DayOfWeek Julian # pred :: DayOfWeek Julian -> DayOfWeek Julian # toEnum :: Int -> DayOfWeek Julian # fromEnum :: DayOfWeek Julian -> Int # enumFrom :: DayOfWeek Julian -> [DayOfWeek Julian] # enumFromThen :: DayOfWeek Julian -> DayOfWeek Julian -> [DayOfWeek Julian] # enumFromTo :: DayOfWeek Julian -> DayOfWeek Julian -> [DayOfWeek Julian] # enumFromThenTo :: DayOfWeek Julian -> DayOfWeek Julian -> DayOfWeek Julian -> [DayOfWeek Julian] #
Enum (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods succ :: DayOfWeek Persian -> DayOfWeek Persian # pred :: DayOfWeek Persian -> DayOfWeek Persian # toEnum :: Int -> DayOfWeek Persian # fromEnum :: DayOfWeek Persian -> Int # enumFrom :: DayOfWeek Persian -> [DayOfWeek Persian] # enumFromThen :: DayOfWeek Persian -> DayOfWeek Persian -> [DayOfWeek Persian] # enumFromTo :: DayOfWeek Persian -> DayOfWeek Persian -> [DayOfWeek Persian] # enumFromThenTo :: DayOfWeek Persian -> DayOfWeek Persian -> DayOfWeek Persian -> [DayOfWeek Persian] #
Read (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods readsPrec :: Int -> ReadS (DayOfWeek Coptic) # readList :: ReadS [DayOfWeek Coptic] # readPrec :: ReadPrec (DayOfWeek Coptic) # readListPrec :: ReadPrec [DayOfWeek Coptic] #
Read (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods readsPrec :: Int -> ReadS (DayOfWeek Gregorian) # readList :: ReadS [DayOfWeek Gregorian] # readPrec :: ReadPrec (DayOfWeek Gregorian) # readListPrec :: ReadPrec [DayOfWeek Gregorian] #
Read (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods readsPrec :: Int -> ReadS (DayOfWeek (Hebrew n)) # readList :: ReadS [DayOfWeek (Hebrew n)] # readPrec :: ReadPrec (DayOfWeek (Hebrew n)) # readListPrec :: ReadPrec [DayOfWeek (Hebrew n)] #
Read (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods readsPrec :: Int -> ReadS (DayOfWeek (Islamic l)) # readList :: ReadS [DayOfWeek (Islamic l)] # readPrec :: ReadPrec (DayOfWeek (Islamic l)) # readListPrec :: ReadPrec [DayOfWeek (Islamic l)] #
Read (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods readsPrec :: Int -> ReadS (DayOfWeek Julian) # readList :: ReadS [DayOfWeek Julian] # readPrec :: ReadPrec (DayOfWeek Julian) # readListPrec :: ReadPrec [DayOfWeek Julian] #
Read (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods readsPrec :: Int -> ReadS (DayOfWeek Persian) # readList :: ReadS [DayOfWeek Persian] # readPrec :: ReadPrec (DayOfWeek Persian) # readListPrec :: ReadPrec [DayOfWeek Persian] #
Show (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods showsPrec :: Int -> DayOfWeek Coptic -> ShowS # show :: DayOfWeek Coptic -> String # showList :: [DayOfWeek Coptic] -> ShowS #
Show (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods showsPrec :: Int -> DayOfWeek Gregorian -> ShowS # show :: DayOfWeek Gregorian -> String # showList :: [DayOfWeek Gregorian] -> ShowS #
Show (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods showsPrec :: Int -> DayOfWeek (Hebrew n) -> ShowS # show :: DayOfWeek (Hebrew n) -> String # showList :: [DayOfWeek (Hebrew n)] -> ShowS #
Show (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods showsPrec :: Int -> DayOfWeek (Islamic l) -> ShowS # show :: DayOfWeek (Islamic l) -> String # showList :: [DayOfWeek (Islamic l)] -> ShowS #
Show (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods showsPrec :: Int -> DayOfWeek Julian -> ShowS # show :: DayOfWeek Julian -> String # showList :: [DayOfWeek Julian] -> ShowS #
Show (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods showsPrec :: Int -> DayOfWeek Persian -> ShowS # show :: DayOfWeek Persian -> String # showList :: [DayOfWeek Persian] -> ShowS #
NFData (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods rnf :: DayOfWeek Coptic -> () #
NFData (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods rnf :: DayOfWeek Gregorian -> () #
NFData (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods rnf :: DayOfWeek (Hebrew n) -> () #
NFData (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods rnf :: DayOfWeek (Islamic l) -> () #
NFData (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods rnf :: DayOfWeek Julian -> () #
NFData (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods rnf :: DayOfWeek Persian -> () #
Eq (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods (==) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (/=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool #
Eq (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods (==) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool # (/=) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool #
Eq (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods (==) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool # (/=) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool #
Eq (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods (==) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool # (/=) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool #
Eq (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods (==) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool # (/=) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool #
Eq (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods (==) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool # (/=) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool #
Ord (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods compare :: DayOfWeek Coptic -> DayOfWeek Coptic -> Ordering # (<) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (<=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (>) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (>=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # max :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic # min :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic #
Ord (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods compare :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Ordering # (<) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool # (<=) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool # (>) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool # (>=) :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> Bool # max :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> DayOfWeek Gregorian # min :: DayOfWeek Gregorian -> DayOfWeek Gregorian -> DayOfWeek Gregorian #
Ord (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods compare :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Ordering # (<) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool # (<=) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool # (>) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool # (>=) :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> Bool # max :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) # min :: DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) -> DayOfWeek (Hebrew n) #
Ord (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods compare :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Ordering # (<) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool # (<=) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool # (>) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool # (>=) :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> Bool # max :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) # min :: DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) -> DayOfWeek (Islamic l) #
Ord (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods compare :: DayOfWeek Julian -> DayOfWeek Julian -> Ordering # (<) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool # (<=) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool # (>) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool # (>=) :: DayOfWeek Julian -> DayOfWeek Julian -> Bool # max :: DayOfWeek Julian -> DayOfWeek Julian -> DayOfWeek Julian # min :: DayOfWeek Julian -> DayOfWeek Julian -> DayOfWeek Julian #
Ord (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods compare :: DayOfWeek Persian -> DayOfWeek Persian -> Ordering # (<) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool # (<=) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool # (>) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool # (>=) :: DayOfWeek Persian -> DayOfWeek Persian -> Bool # max :: DayOfWeek Persian -> DayOfWeek Persian -> DayOfWeek Persian # min :: DayOfWeek Persian -> DayOfWeek Persian -> DayOfWeek Persian #
Hashable (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods hashWithSalt :: Int -> DayOfWeek Coptic -> Int # hash :: DayOfWeek Coptic -> Int #
Hashable (DayOfWeek Gregorian) Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal Methods hashWithSalt :: Int -> DayOfWeek Gregorian -> Int # hash :: DayOfWeek Gregorian -> Int #
Hashable (DayOfWeek (Hebrew n)) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew Methods hashWithSalt :: Int -> DayOfWeek (Hebrew n) -> Int # hash :: DayOfWeek (Hebrew n) -> Int #
Hashable (DayOfWeek (Islamic l)) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic Methods hashWithSalt :: Int -> DayOfWeek (Islamic l) -> Int # hash :: DayOfWeek (Islamic l) -> Int #
Hashable (DayOfWeek Julian) Source #
Instance details Defined in Data.HodaTime.Calendar.Julian Methods hashWithSalt :: Int -> DayOfWeek Julian -> Int # hash :: DayOfWeek Julian -> Int #
Hashable (DayOfWeek Persian) Source #
Instance details Defined in Data.HodaTime.Calendar.Persian Methods hashWithSalt :: Int -> DayOfWeek Persian -> Int # hash :: DayOfWeek Persian -> Int #
data DayOfWeek Coptic Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic data DayOfWeek Coptic = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data DayOfWeek Gregorian Source #
Instance details Defined in Data.HodaTime.Calendar.Gregorian.Internal data DayOfWeek Gregorian = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data DayOfWeek Julian Source #
Instance details Defined in Data.HodaTime.Calendar.Julian data DayOfWeek Julian = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data DayOfWeek Persian Source #
Instance details Defined in Data.HodaTime.Calendar.Persian data DayOfWeek Persian = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data DayOfWeek (Hebrew n) Source #
Instance details Defined in Data.HodaTime.Calendar.Hebrew data DayOfWeek (Hebrew n) = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data DayOfWeek (Islamic l) Source #
Instance details Defined in Data.HodaTime.Calendar.Islamic data DayOfWeek (Islamic l) = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday

data Coptic Source #

Instances

Instances details

IsCalendar Coptic Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Associated Types data Date Coptic data DayOfWeek Coptic Source # data Month Coptic Source # Methods fromDays :: Int32 -> Date Coptic toDays :: Date Coptic -> Int32 toYmd :: Date Coptic -> (Int32, Word8, Word8) calendarName :: Date Coptic -> String day' :: Date Coptic -> DayOfMonth setDay' :: DayOfMonth -> Date Coptic -> Date Coptic month' :: Date Coptic -> Month Coptic setMonthIndex' :: Int -> Date Coptic -> Date Coptic year' :: Date Coptic -> Year setYear' :: Year -> Date Coptic -> Date Coptic dayOfWeek' :: Date Coptic -> DayOfWeek Coptic next' :: Int -> DayOfWeek Coptic -> Date Coptic -> Date Coptic previous' :: Int -> DayOfWeek Coptic -> Date Coptic -> Date Coptic
Bounded (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods minBound :: DayOfWeek Coptic # maxBound :: DayOfWeek Coptic #
Bounded (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods minBound :: Month Coptic # maxBound :: Month Coptic #
Enum (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods succ :: DayOfWeek Coptic -> DayOfWeek Coptic # pred :: DayOfWeek Coptic -> DayOfWeek Coptic # toEnum :: Int -> DayOfWeek Coptic # fromEnum :: DayOfWeek Coptic -> Int # enumFrom :: DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromThen :: DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromTo :: DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] # enumFromThenTo :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic -> [DayOfWeek Coptic] #
Enum (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods succ :: Month Coptic -> Month Coptic # pred :: Month Coptic -> Month Coptic # toEnum :: Int -> Month Coptic # fromEnum :: Month Coptic -> Int # enumFrom :: Month Coptic -> [Month Coptic] # enumFromThen :: Month Coptic -> Month Coptic -> [Month Coptic] # enumFromTo :: Month Coptic -> Month Coptic -> [Month Coptic] # enumFromThenTo :: Month Coptic -> Month Coptic -> Month Coptic -> [Month Coptic] #
Read (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods readsPrec :: Int -> ReadS (DayOfWeek Coptic) # readList :: ReadS [DayOfWeek Coptic] # readPrec :: ReadPrec (DayOfWeek Coptic) # readListPrec :: ReadPrec [DayOfWeek Coptic] #
Read (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods readsPrec :: Int -> ReadS (Month Coptic) # readList :: ReadS [Month Coptic] # readPrec :: ReadPrec (Month Coptic) # readListPrec :: ReadPrec [Month Coptic] #
Show (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods showsPrec :: Int -> DayOfWeek Coptic -> ShowS # show :: DayOfWeek Coptic -> String # showList :: [DayOfWeek Coptic] -> ShowS #
Show (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods showsPrec :: Int -> Month Coptic -> ShowS # show :: Month Coptic -> String # showList :: [Month Coptic] -> ShowS #
NFData (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods rnf :: DayOfWeek Coptic -> () #
NFData (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods rnf :: Month Coptic -> () #
Eq (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods (==) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (/=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool #
Eq (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods (==) :: Month Coptic -> Month Coptic -> Bool # (/=) :: Month Coptic -> Month Coptic -> Bool #
Ord (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods compare :: DayOfWeek Coptic -> DayOfWeek Coptic -> Ordering # (<) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (<=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (>) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # (>=) :: DayOfWeek Coptic -> DayOfWeek Coptic -> Bool # max :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic # min :: DayOfWeek Coptic -> DayOfWeek Coptic -> DayOfWeek Coptic #
Ord (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods compare :: Month Coptic -> Month Coptic -> Ordering # (<) :: Month Coptic -> Month Coptic -> Bool # (<=) :: Month Coptic -> Month Coptic -> Bool # (>) :: Month Coptic -> Month Coptic -> Bool # (>=) :: Month Coptic -> Month Coptic -> Bool # max :: Month Coptic -> Month Coptic -> Month Coptic # min :: Month Coptic -> Month Coptic -> Month Coptic #
Hashable (DayOfWeek Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods hashWithSalt :: Int -> DayOfWeek Coptic -> Int # hash :: DayOfWeek Coptic -> Int #
Hashable (Month Coptic) Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic Methods hashWithSalt :: Int -> Month Coptic -> Int # hash :: Month Coptic -> Int #
data DayOfWeek Coptic Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic data DayOfWeek Coptic = Sunday \| Monday \| Tuesday \| Wednesday \| Thursday \| Friday \| Saturday
data Month Coptic Source #
Instance details Defined in Data.HodaTime.Calendar.Coptic data Month Coptic = Thout \| Paopi \| Hathor \| Koiak \| Tobi \| Meshir \| Paremhat \| Paremoude \| Pashons \| Paoni \| Epip \| Mesori \| PiKogiEnavot