Data.FuzzyTime.Types

Documentation

data Month

Constructors

January

February

March

April

May

June

July

August

September

October

November

December

Instances

Bounded Month

Defined in Data.FuzzyTime.Types

Methods

minBound :: Month

maxBound :: Month

Enum Month

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

Defined in Data.FuzzyTime.Types

Methods

(==) :: Month -> Month -> Bool

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

Show Month

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> Month -> ShowS

show :: Month -> String

showList :: [Month] -> ShowS

Generic Month

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

Defined in Data.FuzzyTime.Types

Methods

rnf :: Month -> ()

Validity Month

Defined in Data.FuzzyTime.Types

Methods

validate :: Month -> Validation

type Rep Month

Defined in Data.FuzzyTime.Types

type Rep Month = D1 ('MetaData "Month" "Data.FuzzyTime.Types" "fuzzy-time-0.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" '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)))))

data FuzzyDay

Constructors

Yesterday

Now

Today

Tomorrow

OnlyDay Int

DayInMonth Int Int

DiffDays Int16

DiffWeeks Int16

DiffMonths Int16

NextDayOfTheWeek DayOfWeek

ExactDay Day

Instances

Eq FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

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

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

Show FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyDay -> ShowS

show :: FuzzyDay -> String

showList :: [FuzzyDay] -> ShowS

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

NFData FuzzyDay

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyDay -> ()

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.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" '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 DayOfWeek)) :+: C1 ('MetaCons "ExactDay" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Day))))))

data FuzzyTimeOfDay

Constructors

SameTime

Noon

Midnight

Morning

Evening

AtHour Int

AtMinute Int Int

AtExact TimeOfDay

HoursDiff Int

MinutesDiff Int

SecondsDiff Pico

Instances

Eq FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

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

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

Show FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyTimeOfDay -> ShowS

show :: FuzzyTimeOfDay -> String

showList :: [FuzzyTimeOfDay] -> ShowS

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

NFData FuzzyTimeOfDay

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyTimeOfDay -> ()

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.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" '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 Some a b

Constructors

One a

Other b

Both a b

Instances

(Eq a, Eq b) => Eq (Some a b)

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)

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)

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)

Defined in Data.FuzzyTime.Types

Methods

rnf :: Some a b -> ()

(Validity a, Validity b) => Validity (Some a b)

Defined in Data.FuzzyTime.Types

Methods

validate :: Some a b -> Validation

type Rep (Some a b)

Defined in Data.FuzzyTime.Types

type Rep (Some a b) = D1 ('MetaData "Some" "Data.FuzzyTime.Types" "fuzzy-time-0.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" '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))))

newtype FuzzyLocalTime

Constructors

FuzzyLocalTime

Fields

• unFuzzyLocalTime :: Some FuzzyDay FuzzyTimeOfDay

Instances

Eq FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

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

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

Show FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyLocalTime -> ShowS

show :: FuzzyLocalTime -> String

showList :: [FuzzyLocalTime] -> ShowS

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

NFData FuzzyLocalTime

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyLocalTime -> ()

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.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" 'True) (C1 ('MetaCons "FuzzyLocalTime" 'PrefixI 'True) (S1 ('MetaSel ('Just "unFuzzyLocalTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Some FuzzyDay FuzzyTimeOfDay))))

data AmbiguousLocalTime

Constructors

OnlyDaySpecified Day

BothTimeAndDay LocalTime

Instances

Eq AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

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

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

Show AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> AmbiguousLocalTime -> ShowS

show :: AmbiguousLocalTime -> String

showList :: [AmbiguousLocalTime] -> ShowS

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

NFData AmbiguousLocalTime

Defined in Data.FuzzyTime.Types

Methods

rnf :: AmbiguousLocalTime -> ()

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.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" '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)))

data FuzzyZonedTime

Constructors

ZonedNow

Instances

Eq FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

(==) :: FuzzyZonedTime -> FuzzyZonedTime -> Bool

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

Show FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyZonedTime -> ShowS

show :: FuzzyZonedTime -> String

showList :: [FuzzyZonedTime] -> ShowS

Generic FuzzyZonedTime

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

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyZonedTime -> ()

Validity FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

validate :: FuzzyZonedTime -> Validation

type Rep FuzzyZonedTime

Defined in Data.FuzzyTime.Types

type Rep FuzzyZonedTime = D1 ('MetaData "FuzzyZonedTime" "Data.FuzzyTime.Types" "fuzzy-time-0.2.0.1-Bsw5mng8iLGK1dbg8oUu2z" 'False) (C1 ('MetaCons "ZonedNow" 'PrefixI 'False) (U1 :: Type -> Type))

dayOfTheWeekNum :: DayOfWeek -> Int

numDayOfTheWeek :: Int -> DayOfWeek

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

monthNum :: Month -> Int

numMonth :: Int -> Month

data DayOfWeek

Constructors

Monday

Tuesday

Wednesday

Thursday

Friday

Saturday

Sunday

Instances

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]

Eq DayOfWeek

Defined in Data.Time.Calendar.Week

Methods

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

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

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

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

NFData DayOfWeek

Defined in Data.FuzzyTime.Types

Methods

rnf :: DayOfWeek -> ()

type Rep DayOfWeek

Defined in Data.FuzzyTime.Types

type Rep DayOfWeek = D1 ('MetaData "DayOfWeek" "Data.Time.Calendar.Week" "time-1.9.3" '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

NFData DayOfWeek

Methods

rnf :: DayOfWeek -> ()