Data.FuzzyTime.Types

Documentation

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.0.0.0-I2DdKGvZtPCDTaydQTaa37" False) (C1 (MetaCons "ZonedNow" PrefixI False) (U1 :: Type -> Type))

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.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

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.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

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.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

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.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

Constructors

Yesterday

Now

Today

Tomorrow

OnlyDay Int

DayInMonth Int Int

DiffDays Int16

DiffWeeks Int16

DiffMonths Int16

NextDayOfTheWeek DayOfTheWeek

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.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

Constructors

Monday

Tuesday

Wednesday

Thursday

Friday

Saturday

Sunday

Instances

Bounded DayOfTheWeek

Defined in Data.FuzzyTime.Types

Methods

minBound :: DayOfTheWeek

maxBound :: DayOfTheWeek

Enum DayOfTheWeek

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

Defined in Data.FuzzyTime.Types

Methods

(==) :: DayOfTheWeek -> DayOfTheWeek -> Bool

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

Show DayOfTheWeek

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> DayOfTheWeek -> ShowS

show :: DayOfTheWeek -> String

showList :: [DayOfTheWeek] -> ShowS

Generic DayOfTheWeek

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

Defined in Data.FuzzyTime.Types

Methods

rnf :: DayOfTheWeek -> ()

Validity DayOfTheWeek

Defined in Data.FuzzyTime.Types

Methods

validate :: DayOfTheWeek -> Validation

type Rep DayOfTheWeek

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

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.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

numDayOfTheWeek :: Int -> DayOfTheWeek

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

monthNum :: Month -> Int

numMonth :: Int -> Month