time-compat
Safe HaskellTrustworthy
LanguageHaskell2010

Data.Time.Calendar.WeekDate.Compat

Synopsis

Documentation

type Year = Integer #

type WeekOfYear = Int #

data DayOfWeek #

Constructors

Monday 
Tuesday 
Wednesday 
Thursday 
Friday 
Saturday 
Sunday 

Instances

Instances details
NFData DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

rnf :: DayOfWeek -> ()

Data DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DayOfWeek -> c DayOfWeek

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DayOfWeek

toConstr :: DayOfWeek -> Constr

dataTypeOf :: DayOfWeek -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DayOfWeek)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DayOfWeek)

gmapT :: (forall b. Data b => b -> b) -> DayOfWeek -> DayOfWeek

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek -> r

gmapQ :: (forall d. Data d => d -> u) -> DayOfWeek -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DayOfWeek -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek -> m DayOfWeek

Enum DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

succ :: DayOfWeek -> DayOfWeek

pred :: DayOfWeek -> DayOfWeek

toEnum :: Int -> DayOfWeek

fromEnum :: DayOfWeek -> Int

enumFrom :: DayOfWeek -> [DayOfWeek]

enumFromThen :: DayOfWeek -> DayOfWeek -> [DayOfWeek]

enumFromTo :: DayOfWeek -> DayOfWeek -> [DayOfWeek]

enumFromThenTo :: DayOfWeek -> DayOfWeek -> DayOfWeek -> [DayOfWeek]

Generic DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Associated Types

type Rep DayOfWeek 
Instance details

Defined in Data.Time.Calendar.Week

type Rep DayOfWeek = D1 ('MetaData "DayOfWeek" "Data.Time.Calendar.Week" "time-1.14-8465" 'False) ((C1 ('MetaCons "Monday" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Tuesday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Wednesday" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Thursday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Friday" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Saturday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sunday" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: DayOfWeek -> Rep DayOfWeek x

to :: Rep DayOfWeek x -> DayOfWeek

Ix DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

range :: (DayOfWeek, DayOfWeek) -> [DayOfWeek]

index :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Int

unsafeIndex :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Int

inRange :: (DayOfWeek, DayOfWeek) -> DayOfWeek -> Bool

rangeSize :: (DayOfWeek, DayOfWeek) -> Int

unsafeRangeSize :: (DayOfWeek, DayOfWeek) -> Int

Read DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

readsPrec :: Int -> ReadS DayOfWeek

readList :: ReadS [DayOfWeek]

readPrec :: ReadPrec DayOfWeek

readListPrec :: ReadPrec [DayOfWeek]

Show DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

showsPrec :: Int -> DayOfWeek -> ShowS

show :: DayOfWeek -> String

showList :: [DayOfWeek] -> ShowS

Eq DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

(==) :: DayOfWeek -> DayOfWeek -> Bool

(/=) :: DayOfWeek -> DayOfWeek -> Bool

Ord DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

compare :: DayOfWeek -> DayOfWeek -> Ordering

(<) :: DayOfWeek -> DayOfWeek -> Bool

(<=) :: DayOfWeek -> DayOfWeek -> Bool

(>) :: DayOfWeek -> DayOfWeek -> Bool

(>=) :: DayOfWeek -> DayOfWeek -> Bool

max :: DayOfWeek -> DayOfWeek -> DayOfWeek

min :: DayOfWeek -> DayOfWeek -> DayOfWeek

Hashable DayOfWeek 
Instance details

Defined in Data.Time.Orphans

Methods

hashWithSalt :: Int -> DayOfWeek -> Int

hash :: DayOfWeek -> Int

Lift DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

Methods

lift :: Quote m => DayOfWeek -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => DayOfWeek -> Code m DayOfWeek

type Rep DayOfWeek # 
Instance details

Defined in Data.Time.Calendar.Week

type Rep DayOfWeek = D1 ('MetaData "DayOfWeek" "Data.Time.Calendar.Week" "time-1.14-8465" 'False) ((C1 ('MetaCons "Monday" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Tuesday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Wednesday" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Thursday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Friday" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Saturday" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Sunday" 'PrefixI 'False) (U1 :: Type -> Type))))

dayOfWeek :: Day -> DayOfWeek #

data FirstWeekType #

Constructors

FirstWholeWeek 
FirstMostWeek 

Instances

Instances details
Eq FirstWeekType # 
Instance details

Defined in Data.Time.Calendar.WeekDate

Methods

(==) :: FirstWeekType -> FirstWeekType -> Bool

(/=) :: FirstWeekType -> FirstWeekType -> Bool

Lift FirstWeekType # 
Instance details

Defined in Data.Time.Calendar.WeekDate

Methods

lift :: Quote m => FirstWeekType -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => FirstWeekType -> Code m FirstWeekType

toWeekCalendar :: FirstWeekType -> DayOfWeek -> Day -> (Year, WeekOfYear, DayOfWeek) #

fromWeekCalendar :: FirstWeekType -> DayOfWeek -> Year -> WeekOfYear -> DayOfWeek -> Day #

fromWeekCalendarValid :: FirstWeekType -> DayOfWeek -> Year -> WeekOfYear -> DayOfWeek -> Maybe Day #

ISO 8601 Week Date format

toWeekDate :: Day -> (Year, WeekOfYear, Int) #

fromWeekDate :: Year -> WeekOfYear -> Int -> Day #

pattern YearWeekDay :: Year -> WeekOfYear -> DayOfWeek -> Day #

fromWeekDateValid :: Year -> WeekOfYear -> Int -> Maybe Day #

showWeekDate :: Day -> String #