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]

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

Show Month

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> Month -> ShowS

show :: Month -> String

showList :: [Month] -> ShowS

NFData Month

Defined in Data.FuzzyTime.Types

Methods

rnf :: Month -> ()

Eq Month

Defined in Data.FuzzyTime.Types

Methods

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

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

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.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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.2.0.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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.2.0.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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

(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

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

Defined in Data.FuzzyTime.Types

Methods

rnf :: Some a b -> ()

(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

(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.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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.2.0.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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.2.0.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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

Show FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

showsPrec :: Int -> FuzzyZonedTime -> ShowS

show :: FuzzyZonedTime -> String

showList :: [FuzzyZonedTime] -> ShowS

NFData FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

rnf :: FuzzyZonedTime -> ()

Eq FuzzyZonedTime

Defined in Data.FuzzyTime.Types

Methods

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

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

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.3-BCtVpf4xo0m8oKp4WU6Smy" '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

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.11.1.1" '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