Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.FuzzyTime.Types

Contents

Orphan instances

Documentation

data FuzzyDay Source #

Constructors

Yesterday
Now
Today
Tomorrow
OnlyDay !Word8
DayInMonth !Word8 !Word8
DiffDays !Int16
DiffWeeks !Int16
DiffMonths !Int16
DayOfTheWeek !DayOfWeek !Int16
ExactDay !Day

Instances

Instances details

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 #
Show FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyDay -> ShowS # show :: FuzzyDay -> String # showList :: [FuzzyDay] -> ShowS #
NFData FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyDay -> () #
Eq FuzzyDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyDay -> FuzzyDay -> Bool # (/=) :: FuzzyDay -> FuzzyDay -> Bool #
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.3.0.0-ATFjchSki65EEwCb6Yq2Mq" '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 'SourceStrict 'DecidedStrict) (Rec0 Word8))))) :+: ((C1 ('MetaCons "DayInMonth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word8)) :+: (C1 ('MetaCons "DiffDays" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int16)) :+: C1 ('MetaCons "DiffWeeks" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int16)))) :+: (C1 ('MetaCons "DiffMonths" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int16)) :+: (C1 ('MetaCons "DayOfTheWeek" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DayOfWeek) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int16)) :+: C1 ('MetaCons "ExactDay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day))))))

data FuzzyLocalTime Source #

Constructors

FuzzyLocalTimeDay !FuzzyDay
FuzzyLocalTimeTimeOfDay !FuzzyTimeOfDay
FuzzyLocalTimeBoth !FuzzyDay !FuzzyTimeOfDay

Instances

Instances details

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 #
Show FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyLocalTime -> ShowS # show :: FuzzyLocalTime -> String # showList :: [FuzzyLocalTime] -> ShowS #
NFData FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyLocalTime -> () #
Eq FuzzyLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyLocalTime -> FuzzyLocalTime -> Bool # (/=) :: FuzzyLocalTime -> FuzzyLocalTime -> Bool #
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.3.0.0-ATFjchSki65EEwCb6Yq2Mq" 'False) (C1 ('MetaCons "FuzzyLocalTimeDay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FuzzyDay)) :+: (C1 ('MetaCons "FuzzyLocalTimeTimeOfDay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FuzzyTimeOfDay)) :+: C1 ('MetaCons "FuzzyLocalTimeBoth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FuzzyDay) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 FuzzyTimeOfDay))))

data FuzzyTimeOfDay Source #

Constructors

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

Instances

Instances details

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 #
Show FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> FuzzyTimeOfDay -> ShowS # show :: FuzzyTimeOfDay -> String # showList :: [FuzzyTimeOfDay] -> ShowS #
NFData FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: FuzzyTimeOfDay -> () #
Eq FuzzyTimeOfDay Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: FuzzyTimeOfDay -> FuzzyTimeOfDay -> Bool # (/=) :: FuzzyTimeOfDay -> FuzzyTimeOfDay -> Bool #
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.3.0.0-ATFjchSki65EEwCb6Yq2Mq" '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 AmbiguousLocalTime Source #

Constructors

OnlyDaySpecified !Day
BothTimeAndDay !LocalTime

Instances

Instances details

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 #
Show AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods showsPrec :: Int -> AmbiguousLocalTime -> ShowS # show :: AmbiguousLocalTime -> String # showList :: [AmbiguousLocalTime] -> ShowS #
NFData AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods rnf :: AmbiguousLocalTime -> () #
Eq AmbiguousLocalTime Source #
Instance details Defined in Data.FuzzyTime.Types Methods (==) :: AmbiguousLocalTime -> AmbiguousLocalTime -> Bool # (/=) :: AmbiguousLocalTime -> AmbiguousLocalTime -> Bool #
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.3.0.0-ATFjchSki65EEwCb6Yq2Mq" 'False) (C1 ('MetaCons "OnlyDaySpecified" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Day)) :+: C1 ('MetaCons "BothTimeAndDay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 LocalTime)))

data DayOfWeek #

Constructors

Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Sunday

Instances

Instances details

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	"Circular", so for example `[Tuesday ..]` gives an endless sequence. Also: `fromEnum` gives [1 .. 7] for [Monday .. Sunday], and `toEnum` performs mod 7 to give a cycle of days.
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 Source #
Instance details Defined in Data.FuzzyTime.Types Associated Types type Rep DayOfWeek :: 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 #
NFData DayOfWeek
Instance details Defined in Data.Time.Calendar.Week Methods rnf :: DayOfWeek -> () #
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 #
type Rep DayOfWeek Source #
Instance details Defined in Data.FuzzyTime.Types type Rep DayOfWeek = D1 ('MetaData "DayOfWeek" "Data.Time.Calendar.Week" "time-1.12.2" '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))))

Orphan instances

Generic DayOfWeek Source #
Instance details Associated Types type Rep DayOfWeek :: Type -> Type # Methods from :: DayOfWeek -> Rep DayOfWeek x # to :: Rep DayOfWeek x -> DayOfWeek #