Data.FuzzyTime.Types

Documentation

data FuzzyDay

Constructors

Yesterday

Now

Today

Tomorrow

OnlyDay !Word8

DayInMonth !Word8 !Word8

DiffDays !Int16

DiffWeeks !Int16

DiffMonths !Int16

DayOfTheWeek !DayOfWeek !Int16

ExactDay !Day

Instances

Generic FuzzyDay

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

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyDay -> ShowS

show :: FuzzyDay -> String

showList :: [FuzzyDay] -> ShowS

NFData FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyDay -> ()

Eq FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

(==) :: FuzzyDay -> FuzzyDay -> Bool

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

Validity FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

validate :: FuzzyDay -> Validation

type Rep FuzzyDay

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

Constructors

FuzzyLocalTimeDay !FuzzyDay

FuzzyLocalTimeTimeOfDay !FuzzyTimeOfDay

FuzzyLocalTimeBoth !FuzzyDay !FuzzyTimeOfDay

Instances

Generic FuzzyLocalTime

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

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyLocalTime -> ShowS

show :: FuzzyLocalTime -> String

showList :: [FuzzyLocalTime] -> ShowS

NFData FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyLocalTime -> ()

Eq FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

(==) :: FuzzyLocalTime -> FuzzyLocalTime -> Bool

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

Validity FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

validate :: FuzzyLocalTime -> Validation

type Rep FuzzyLocalTime

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

Constructors

SameTime

Noon

Midnight

Morning

Evening

AtHour Int

AtMinute Int Int

AtExact TimeOfDay

HoursDiff Int

MinutesDiff Int

SecondsDiff Pico

Instances

Generic FuzzyTimeOfDay

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

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyTimeOfDay -> ShowS

show :: FuzzyTimeOfDay -> String

showList :: [FuzzyTimeOfDay] -> ShowS

NFData FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyTimeOfDay -> ()

Eq FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

(==) :: FuzzyTimeOfDay -> FuzzyTimeOfDay -> Bool

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

Validity FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

validate :: FuzzyTimeOfDay -> Validation

type Rep FuzzyTimeOfDay

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

Constructors

OnlyDaySpecified !Day

BothTimeAndDay !LocalTime

Instances

Generic AmbiguousLocalTime

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

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> AmbiguousLocalTime -> ShowS

show :: AmbiguousLocalTime -> String

showList :: [AmbiguousLocalTime] -> ShowS

NFData AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

rnf :: AmbiguousLocalTime -> ()

Eq AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

(==) :: AmbiguousLocalTime -> AmbiguousLocalTime -> Bool

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

Validity AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

validate :: AmbiguousLocalTime -> Validation

type Rep AmbiguousLocalTime

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

Data DayOfWeek

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.

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

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

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

Defined in Data.Time.Calendar.Week

Methods

readsPrec :: Int -> ReadS DayOfWeek

readList :: ReadS [DayOfWeek]

readPrec :: ReadPrec DayOfWeek

readListPrec :: ReadPrec [DayOfWeek]

Show DayOfWeek

Defined in Data.Time.Calendar.Week

Methods

showsPrec :: Int -> DayOfWeek -> ShowS

show :: DayOfWeek -> String

showList :: [DayOfWeek] -> ShowS

NFData DayOfWeek

Defined in Data.Time.Calendar.Week

Methods

rnf :: DayOfWeek -> ()

Eq DayOfWeek

Defined in Data.Time.Calendar.Week

Methods

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

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

Ord DayOfWeek

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

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

Associated Types

type Rep DayOfWeek :: Type -> Type

Methods

from :: DayOfWeek -> Rep DayOfWeek x

to :: Rep DayOfWeek x -> DayOfWeek