Safe Haskell	None
Language	Haskell2010

Data.FuzzyTime.Types

Documentation

data FuzzyZonedTime Source #

Constructors

ZonedNow

Instances

Eq FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyZonedTime -> FuzzyZonedTime -> Bool # (/=) :: FuzzyZonedTime -> FuzzyZonedTime -> Bool #
Show FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyZonedTime -> ShowS # show :: FuzzyZonedTime -> String # showList :: [FuzzyZonedTime] -> ShowS #
Generic FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep FuzzyZonedTime :: Type -> Type # Methods from :: FuzzyZonedTime -> Rep FuzzyZonedTime x # to :: Rep FuzzyZonedTime x -> FuzzyZonedTime #
NFData FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyZonedTime -> () #
Validity FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: FuzzyZonedTime -> Validation #
type Rep FuzzyZonedTime Source #
Instance details Defined in Data.FuzzyTime.Types type Rep FuzzyZonedTime = D1 (MetaData "FuzzyZonedTime" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (C1 (MetaCons "ZonedNow" PrefixI False) (U1 :: Type -> Type))

data AmbiguousLocalTime Source #

Constructors

OnlyDaySpecified Day
BothTimeAndDay LocalTime

Instances

Eq AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: AmbiguousLocalTime -> AmbiguousLocalTime -> Bool # (/=) :: AmbiguousLocalTime -> AmbiguousLocalTime -> Bool #
Show AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> AmbiguousLocalTime -> ShowS # show :: AmbiguousLocalTime -> String # showList :: [AmbiguousLocalTime] -> ShowS #
Generic AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep AmbiguousLocalTime :: Type -> Type # Methods from :: AmbiguousLocalTime -> Rep AmbiguousLocalTime x # to :: Rep AmbiguousLocalTime x -> AmbiguousLocalTime #
NFData AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: AmbiguousLocalTime -> () #
Validity AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: AmbiguousLocalTime -> Validation #
type Rep AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types type Rep AmbiguousLocalTime = D1 (MetaData "AmbiguousLocalTime" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (C1 (MetaCons "OnlyDaySpecified" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day)) :+: C1 (MetaCons "BothTimeAndDay" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LocalTime)))

newtype FuzzyLocalTime Source #

Constructors

FuzzyLocalTime
Fields unFuzzyLocalTime :: Some FuzzyDay FuzzyTimeOfDay

Instances

Eq FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyLocalTime -> FuzzyLocalTime -> Bool # (/=) :: FuzzyLocalTime -> FuzzyLocalTime -> Bool #
Show FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyLocalTime -> ShowS # show :: FuzzyLocalTime -> String # showList :: [FuzzyLocalTime] -> ShowS #
Generic FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep FuzzyLocalTime :: Type -> Type # Methods from :: FuzzyLocalTime -> Rep FuzzyLocalTime x # to :: Rep FuzzyLocalTime x -> FuzzyLocalTime #
NFData FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyLocalTime -> () #
Validity FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: FuzzyLocalTime -> Validation #
type Rep FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types type Rep FuzzyLocalTime = D1 (MetaData "FuzzyLocalTime" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" True) (C1 (MetaCons "FuzzyLocalTime" PrefixI True) (S1 (MetaSel (Just "unFuzzyLocalTime") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Some FuzzyDay FuzzyTimeOfDay))))

data Some a b Source #

Constructors

One a
Other b
Both a b

Instances

(Eq a, Eq b) => Eq (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: Some a b -> Some a b -> Bool # (/=) :: Some a b -> Some a b -> Bool #
(Show a, Show b) => Show (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> Some a b -> ShowS # show :: Some a b -> String # showList :: [Some a b] -> ShowS #
Generic (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep (Some a b) :: Type -> Type # Methods from :: Some a b -> Rep (Some a b) x # to :: Rep (Some a b) x -> Some a b #
(NFData a, NFData b) => NFData (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: Some a b -> () #
(Validity a, Validity b) => Validity (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: Some a b -> Validation #
type Rep (Some a b) Source #
Instance details Defined in Data.FuzzyTime.Types type Rep (Some a b) = D1 (MetaData "Some" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (C1 (MetaCons "One" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: (C1 (MetaCons "Other" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b)) :+: C1 (MetaCons "Both" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 b))))

data FuzzyTimeOfDay Source #

Constructors

SameTime
Noon
Midnight
Morning
Evening
AtHour Int
AtMinute Int Int
AtExact TimeOfDay
HoursDiff Int
MinutesDiff Int
SecondsDiff Pico

Instances

Eq FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyTimeOfDay -> FuzzyTimeOfDay -> Bool # (/=) :: FuzzyTimeOfDay -> FuzzyTimeOfDay -> Bool #
Show FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyTimeOfDay -> ShowS # show :: FuzzyTimeOfDay -> String # showList :: [FuzzyTimeOfDay] -> ShowS #
Generic FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep FuzzyTimeOfDay :: Type -> Type # Methods from :: FuzzyTimeOfDay -> Rep FuzzyTimeOfDay x # to :: Rep FuzzyTimeOfDay x -> FuzzyTimeOfDay #
NFData FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyTimeOfDay -> () #
Validity FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: FuzzyTimeOfDay -> Validation #
type Rep FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types type Rep FuzzyTimeOfDay = D1 (MetaData "FuzzyTimeOfDay" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (((C1 (MetaCons "SameTime" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Noon" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Midnight" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Morning" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Evening" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "AtHour" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "AtMinute" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "AtExact" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 TimeOfDay)))) :+: (C1 (MetaCons "HoursDiff" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "MinutesDiff" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "SecondsDiff" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Pico))))))

data FuzzyDay Source #

Constructors

Yesterday
Now
Today
Tomorrow
OnlyDay Int
DayInMonth Int Int
DiffDays Int16
DiffWeeks Int16
DiffMonths Int16
NextDayOfTheWeek DayOfTheWeek
ExactDay Day

Instances

Eq FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyDay -> FuzzyDay -> Bool # (/=) :: FuzzyDay -> FuzzyDay -> Bool #
Show FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyDay -> ShowS # show :: FuzzyDay -> String # showList :: [FuzzyDay] -> ShowS #
Generic FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep FuzzyDay :: Type -> Type # Methods from :: FuzzyDay -> Rep FuzzyDay x # to :: Rep FuzzyDay x -> FuzzyDay #
NFData FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyDay -> () #
Validity FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: FuzzyDay -> Validation #
type Rep FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types type Rep FuzzyDay = D1 (MetaData "FuzzyDay" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (((C1 (MetaCons "Yesterday" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Now" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Today" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Tomorrow" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OnlyDay" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))))) :+: ((C1 (MetaCons "DayInMonth" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "DiffDays" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int16)) :+: C1 (MetaCons "DiffWeeks" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int16)))) :+: (C1 (MetaCons "DiffMonths" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int16)) :+: (C1 (MetaCons "NextDayOfTheWeek" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 DayOfTheWeek)) :+: C1 (MetaCons "ExactDay" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day))))))

data DayOfTheWeek Source #

Constructors

Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Sunday

Instances

Bounded DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods minBound :: DayOfTheWeek # maxBound :: DayOfTheWeek #
Enum DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods succ :: DayOfTheWeek -> DayOfTheWeek # pred :: DayOfTheWeek -> DayOfTheWeek # toEnum :: Int -> DayOfTheWeek # fromEnum :: DayOfTheWeek -> Int # enumFrom :: DayOfTheWeek -> [DayOfTheWeek] # enumFromThen :: DayOfTheWeek -> DayOfTheWeek -> [DayOfTheWeek] # enumFromTo :: DayOfTheWeek -> DayOfTheWeek -> [DayOfTheWeek] # enumFromThenTo :: DayOfTheWeek -> DayOfTheWeek -> DayOfTheWeek -> [DayOfTheWeek] #
Eq DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: DayOfTheWeek -> DayOfTheWeek -> Bool # (/=) :: DayOfTheWeek -> DayOfTheWeek -> Bool #
Show DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> DayOfTheWeek -> ShowS # show :: DayOfTheWeek -> String # showList :: [DayOfTheWeek] -> ShowS #
Generic DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep DayOfTheWeek :: Type -> Type # Methods from :: DayOfTheWeek -> Rep DayOfTheWeek x # to :: Rep DayOfTheWeek x -> DayOfTheWeek #
NFData DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: DayOfTheWeek -> () #
Validity DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: DayOfTheWeek -> Validation #
type Rep DayOfTheWeek Source #
Instance details Defined in Data.FuzzyTime.Types type Rep DayOfTheWeek = D1 (MetaData "DayOfTheWeek" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" 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))))

data Month Source #

Constructors

January
February
March
April
May
June
July
August
September
October
November
December

Instances

Bounded Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods minBound :: Month # maxBound :: Month #
Enum Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods succ :: Month -> Month # pred :: Month -> Month # toEnum :: Int -> Month # fromEnum :: Month -> Int # enumFrom :: Month -> [Month] # enumFromThen :: Month -> Month -> [Month] # enumFromTo :: Month -> Month -> [Month] # enumFromThenTo :: Month -> Month -> Month -> [Month] #
Eq Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: Month -> Month -> Bool # (/=) :: Month -> Month -> Bool #
Show Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> Month -> ShowS # show :: Month -> String # showList :: [Month] -> ShowS #
Generic Month Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep Month :: Type -> Type # Methods from :: Month -> Rep Month x # to :: Rep Month x -> Month #
NFData Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: Month -> () #
Validity Month Source #
Instance details Defined in Data.FuzzyTime.Types Methods validate :: Month -> Validation #
type Rep Month Source #
Instance details Defined in Data.FuzzyTime.Types type Rep Month = D1 (MetaData "Month" "Data.FuzzyTime.Types" "fuzzy-time-0.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (((C1 (MetaCons "January" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "February" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "March" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "April" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "May" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "June" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "July" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "August" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "September" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "October" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "November" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "December" PrefixI False) (U1 :: Type -> Type)))))

dayOfTheWeekNum :: DayOfTheWeek -> Int Source #

numDayOfTheWeek :: Int -> DayOfTheWeek Source #

daysInMonth :: Integer -> [(Month, Int)] Source #

monthNum :: Month -> Int Source #

numMonth :: Int -> Month Source #