Safe Haskell	None
Language	Haskell2010

Data.Time.Range.Types

Synopsis

Documentation

data StartDate Source #

General purpose newtype wrappers for some commonly used Data.Time types. Helps to ensure you don't get your range ends mixed up, as well as providing some convenience when you only need to refer to particular levels of granularity in the time range.

Initial need of this library was only at the day and hour level, if there is a need more granular times can be added.

Instances

Eq StartDate Source #
Methods (==) :: StartDate -> StartDate -> Bool # (/=) :: StartDate -> StartDate -> Bool #
Show StartDate Source #
Methods showsPrec :: Int -> StartDate -> ShowS # show :: StartDate -> String # showList :: [StartDate] -> ShowS #
Generic StartDate Source #
Associated Types type Rep StartDate :: * -> * # Methods from :: StartDate -> Rep StartDate x # to :: Rep StartDate x -> StartDate #
Wrapped StartDate Source #
Associated Types type Unwrapped StartDate :: * # Methods _Wrapped' :: Iso' StartDate (Unwrapped StartDate) #
(~) * StartDate t0 => Rewrapped StartDate t0 Source #

type Rep StartDate Source #
type Rep StartDate = D1 (MetaData "StartDate" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "StartDate" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day)))
type Unwrapped StartDate Source #
type Unwrapped StartDate = Day

data EndDate Source #

Instances

Eq EndDate Source #
Methods (==) :: EndDate -> EndDate -> Bool # (/=) :: EndDate -> EndDate -> Bool #
Show EndDate Source #
Methods showsPrec :: Int -> EndDate -> ShowS # show :: EndDate -> String # showList :: [EndDate] -> ShowS #
Generic EndDate Source #
Associated Types type Rep EndDate :: * -> * # Methods from :: EndDate -> Rep EndDate x # to :: Rep EndDate x -> EndDate #
Wrapped EndDate Source #
Associated Types type Unwrapped EndDate :: * # Methods _Wrapped' :: Iso' EndDate (Unwrapped EndDate) #
(~) * EndDate t0 => Rewrapped EndDate t0 Source #

type Rep EndDate Source #
type Rep EndDate = D1 (MetaData "EndDate" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "EndDate" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day)))
type Unwrapped EndDate Source #
type Unwrapped EndDate = Day

data DayInRange Source #

Instances

Eq DayInRange Source #
Methods (==) :: DayInRange -> DayInRange -> Bool # (/=) :: DayInRange -> DayInRange -> Bool #
Show DayInRange Source #
Methods showsPrec :: Int -> DayInRange -> ShowS # show :: DayInRange -> String # showList :: [DayInRange] -> ShowS #
Generic DayInRange Source #
Associated Types type Rep DayInRange :: * -> * # Methods from :: DayInRange -> Rep DayInRange x # to :: Rep DayInRange x -> DayInRange #
Wrapped DayInRange Source #
Associated Types type Unwrapped DayInRange :: * # Methods _Wrapped' :: Iso' DayInRange (Unwrapped DayInRange) #
(~) * DayInRange t0 => Rewrapped DayInRange t0 Source #

type Rep DayInRange Source #
type Rep DayInRange = D1 (MetaData "DayInRange" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "DayInRange" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Day)))
type Unwrapped DayInRange Source #
type Unwrapped DayInRange = Day

data StartHour Source #

Instances

Eq StartHour Source #
Methods (==) :: StartHour -> StartHour -> Bool # (/=) :: StartHour -> StartHour -> Bool #
Show StartHour Source #
Methods showsPrec :: Int -> StartHour -> ShowS # show :: StartHour -> String # showList :: [StartHour] -> ShowS #
Generic StartHour Source #
Associated Types type Rep StartHour :: * -> * # Methods from :: StartHour -> Rep StartHour x # to :: Rep StartHour x -> StartHour #
Wrapped StartHour Source #
Associated Types type Unwrapped StartHour :: * # Methods _Wrapped' :: Iso' StartHour (Unwrapped StartHour) #
(~) * StartHour t0 => Rewrapped StartHour t0 Source #

type Rep StartHour Source #
type Rep StartHour = D1 (MetaData "StartHour" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "StartHour" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))
type Unwrapped StartHour Source #
type Unwrapped StartHour = Natural

data EndHour Source #

Instances

Eq EndHour Source #
Methods (==) :: EndHour -> EndHour -> Bool # (/=) :: EndHour -> EndHour -> Bool #
Show EndHour Source #
Methods showsPrec :: Int -> EndHour -> ShowS # show :: EndHour -> String # showList :: [EndHour] -> ShowS #
Generic EndHour Source #
Associated Types type Rep EndHour :: * -> * # Methods from :: EndHour -> Rep EndHour x # to :: Rep EndHour x -> EndHour #
Wrapped EndHour Source #
Associated Types type Unwrapped EndHour :: * # Methods _Wrapped' :: Iso' EndHour (Unwrapped EndHour) #
(~) * EndHour t0 => Rewrapped EndHour t0 Source #

type Rep EndHour Source #
type Rep EndHour = D1 (MetaData "EndHour" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "EndHour" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Natural)))
type Unwrapped EndHour Source #
type Unwrapped EndHour = Natural

data Hour Source #

Instances

Eq Hour Source #
Methods (==) :: Hour -> Hour -> Bool # (/=) :: Hour -> Hour -> Bool #
Show Hour Source #
Methods showsPrec :: Int -> Hour -> ShowS # show :: Hour -> String # showList :: [Hour] -> ShowS #
Generic Hour Source #
Associated Types type Rep Hour :: * -> * # Methods from :: Hour -> Rep Hour x # to :: Rep Hour x -> Hour #
Wrapped Hour Source #
Associated Types type Unwrapped Hour :: * # Methods _Wrapped' :: Iso' Hour (Unwrapped Hour) #
(~) * Hour t0 => Rewrapped Hour t0 Source #

type Rep Hour Source #
type Rep Hour = D1 (MetaData "Hour" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "Hour" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))
type Unwrapped Hour Source #
type Unwrapped Hour = Text

data LowerTimeBound Source #

Instances

Eq LowerTimeBound Source #
Methods (==) :: LowerTimeBound -> LowerTimeBound -> Bool # (/=) :: LowerTimeBound -> LowerTimeBound -> Bool #
Show LowerTimeBound Source #
Methods showsPrec :: Int -> LowerTimeBound -> ShowS # show :: LowerTimeBound -> String # showList :: [LowerTimeBound] -> ShowS #
Generic LowerTimeBound Source #
Associated Types type Rep LowerTimeBound :: * -> * # Methods from :: LowerTimeBound -> Rep LowerTimeBound x # to :: Rep LowerTimeBound x -> LowerTimeBound #
Wrapped LowerTimeBound Source #
Associated Types type Unwrapped LowerTimeBound :: * # Methods _Wrapped' :: Iso' LowerTimeBound (Unwrapped LowerTimeBound) #
(~) * LowerTimeBound t0 => Rewrapped LowerTimeBound t0 Source #

type Rep LowerTimeBound Source #
type Rep LowerTimeBound = D1 (MetaData "LowerTimeBound" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "LowerBound" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)))
type Unwrapped LowerTimeBound Source #
type Unwrapped LowerTimeBound = UTCTime

data UpperTimeBound Source #

Instances

Eq UpperTimeBound Source #
Methods (==) :: UpperTimeBound -> UpperTimeBound -> Bool # (/=) :: UpperTimeBound -> UpperTimeBound -> Bool #
Show UpperTimeBound Source #
Methods showsPrec :: Int -> UpperTimeBound -> ShowS # show :: UpperTimeBound -> String # showList :: [UpperTimeBound] -> ShowS #
Generic UpperTimeBound Source #
Associated Types type Rep UpperTimeBound :: * -> * # Methods from :: UpperTimeBound -> Rep UpperTimeBound x # to :: Rep UpperTimeBound x -> UpperTimeBound #
Wrapped UpperTimeBound Source #
Associated Types type Unwrapped UpperTimeBound :: * # Methods _Wrapped' :: Iso' UpperTimeBound (Unwrapped UpperTimeBound) #
(~) * UpperTimeBound t0 => Rewrapped UpperTimeBound t0 Source #

type Rep UpperTimeBound Source #
type Rep UpperTimeBound = D1 (MetaData "UpperTimeBound" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" True) (C1 (MetaCons "UpperBound" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)))
type Unwrapped UpperTimeBound Source #
type Unwrapped UpperTimeBound = UTCTime

data Ranges Source #

Constructors

Ranges
Fields _rangesLowerBound :: LowerTimeBound _rangesUpperBound :: UpperTimeBound _rangesDaysInRange :: NonEmpty DayInRange _rangesUtcTimes :: NonEmpty UTCTime

Instances

Eq Ranges Source #
Methods (==) :: Ranges -> Ranges -> Bool # (/=) :: Ranges -> Ranges -> Bool #
Show Ranges Source #
Methods showsPrec :: Int -> Ranges -> ShowS # show :: Ranges -> String # showList :: [Ranges] -> ShowS #
Generic Ranges Source #
Associated Types type Rep Ranges :: * -> * # Methods from :: Ranges -> Rep Ranges x # to :: Rep Ranges x -> Ranges #
HasRanges Ranges Source #
Methods ranges :: Lens' Ranges Ranges Source # rangesDaysInRange :: Lens' Ranges (NonEmpty DayInRange) Source # rangesLowerBound :: Lens' Ranges LowerTimeBound Source # rangesUpperBound :: Lens' Ranges UpperTimeBound Source # rangesUtcTimes :: Lens' Ranges (NonEmpty UTCTime) Source #
type Rep Ranges Source #
type Rep Ranges = D1 (MetaData "Ranges" "Data.Time.Range.Types" "haskell-time-range-0.2.0.1-LrprlwSncL9LkPDHdoaQBH" False) (C1 (MetaCons "Ranges" PrefixI True) ((::) ((::) (S1 (MetaSel (Just Symbol "_rangesLowerBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LowerTimeBound)) (S1 (MetaSel (Just Symbol "_rangesUpperBound") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UpperTimeBound))) ((:*:) (S1 (MetaSel (Just Symbol "_rangesDaysInRange") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty DayInRange))) (S1 (MetaSel (Just Symbol "_rangesUtcTimes") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty UTCTime))))))

class HasRanges c where Source #

Minimal complete definition

ranges

Methods

ranges :: Lens' c Ranges Source #

rangesDaysInRange :: Lens' c (NonEmpty DayInRange) Source #

rangesLowerBound :: Lens' c LowerTimeBound Source #

rangesUpperBound :: Lens' c UpperTimeBound Source #

rangesUtcTimes :: Lens' c (NonEmpty UTCTime) Source #

Instances

HasRanges Ranges Source #
Methods ranges :: Lens' Ranges Ranges Source # rangesDaysInRange :: Lens' Ranges (NonEmpty DayInRange) Source # rangesLowerBound :: Lens' Ranges LowerTimeBound Source # rangesUpperBound :: Lens' Ranges UpperTimeBound Source # rangesUtcTimes :: Lens' Ranges (NonEmpty UTCTime) Source #