Safe Haskell	None
Language	Haskell2010

Duckling.Time.Types

Synopsis

data TimeObject = TimeObject {
- start :: UTCTime
- grain :: Grain
- end :: Maybe UTCTime
}
data Form
- = DayOfWeek
- | TimeOfDay {
  - hours :: Maybe Int
  - is12H :: Bool
  }
- | Month {
  - month :: Int
  }
- | PartOfDay
data IntervalDirection
- = Before
- | After
data TimeData = TimeData {
- timePred :: Predicate
- latent :: Bool
- timeGrain :: Grain
- notImmediate :: Bool
- form :: Maybe Form
- direction :: Maybe IntervalDirection
- okForThisNext :: Bool
- holiday :: Maybe Text
- hasTimezone :: Bool
}
timedata' :: TimeData
data TimeContext = TimeContext {
- refTime :: TimeObject
- tzSeries :: TimeZoneSeries
- maxTime :: TimeObject
- minTime :: TimeObject
}
data InstantValue = InstantValue {
- vValue :: ZonedTime
- vGrain :: Grain
}
data SingleTimeValue
- = SimpleValue InstantValue
- | IntervalValue (InstantValue, InstantValue)
- | OpenIntervalValue (InstantValue, IntervalDirection)
data TimeValue = TimeValue SingleTimeValue [SingleTimeValue] (Maybe Text)
type SeriesPredicate = TimeObject -> TimeContext -> ([TimeObject], [TimeObject])
data AMPM
- = AM
- | PM
data SeasonName
- = Spring
- | Summer
- | Fall
- | Winter
data Season = Season {
- startYear :: Integer
- seasonName :: SeasonName
}
newtype NoShow a = NoShow a
data Predicate
- = SeriesPredicate (NoShow SeriesPredicate)
- | EmptyPredicate
- | TimeDatePredicate {
  - tdSecond :: Maybe Int
  - tdMinute :: Maybe Int
  - tdHour :: Maybe (Bool, Int)
  - tdAMPM :: Maybe AMPM
  - tdDayOfTheWeek :: Maybe Int
  - tdDayOfTheMonth :: Maybe Int
  - tdMonth :: Maybe Int
  - tdYear :: Maybe Int
  }
- | IntersectPredicate Predicate Predicate
- | TimeIntervalsPredicate TimeIntervalType Predicate Predicate
- | ReplaceIntersectPredicate Predicate Predicate Predicate
runPredicate :: Predicate -> SeriesPredicate
emptyTimeDatePredicate :: Predicate
mkEmptyPredicate :: Predicate
mkSeriesPredicate :: SeriesPredicate -> Predicate
mkSecondPredicate :: Int -> Predicate
mkMinutePredicate :: Int -> Predicate
mkHourPredicate :: Bool -> Int -> Predicate
mkAMPMPredicate :: AMPM -> Predicate
mkDayOfTheWeekPredicate :: Int -> Predicate
mkDayOfTheMonthPredicate :: Int -> Predicate
mkMonthPredicate :: Int -> Predicate
mkYearPredicate :: Int -> Predicate
mkIntersectPredicate :: Predicate -> Predicate -> Predicate
mkReplaceIntersectPredicate :: Predicate -> Predicate -> Predicate -> Predicate
mkTimeIntervalsPredicate :: TimeIntervalType -> Predicate -> Predicate -> Predicate
containsTimeIntervalsPredicate :: Predicate -> Bool
diffStartTime :: TimeObject -> TimeObject -> NominalDiffTime
isEmptyPredicate :: Predicate -> Bool
seasonStart :: Season -> Day
seasonEnd :: Season -> Day
nextSeason :: Season -> Season
prevSeason :: Season -> Season
seasonOf :: Day -> Season
seasonPredicate :: Predicate
weekdayPredicate :: Predicate
periodicPredicate :: Grain -> Int -> TimeObject -> Predicate
toMidnight :: Day -> UTCTime
runSecondPredicate :: Int -> SeriesPredicate
runMinutePredicate :: Int -> SeriesPredicate
runHourPredicate :: Maybe AMPM -> Bool -> Int -> SeriesPredicate
runAMPMPredicate :: AMPM -> SeriesPredicate
runDayOfTheWeekPredicate :: Int -> SeriesPredicate
runDayOfTheMonthPredicate :: Int -> SeriesPredicate
runMonthPredicate :: Int -> SeriesPredicate
runYearPredicate :: Int -> SeriesPredicate
safeMax :: Int
runReplaceIntersectPredicate :: Predicate -> Predicate -> Predicate -> SeriesPredicate
runComposeWithReplacement :: SeriesPredicate -> SeriesPredicate -> SeriesPredicate -> SeriesPredicate
runIntersectPredicate :: Predicate -> Predicate -> SeriesPredicate
runCompose :: SeriesPredicate -> SeriesPredicate -> SeriesPredicate
runTimeIntervalsPredicate :: TimeIntervalType -> Predicate -> Predicate -> SeriesPredicate
safeMaxInterval :: Int
timeSeqMap :: Bool -> (TimeObject -> TimeContext -> Maybe TimeObject) -> Predicate -> SeriesPredicate
timeSequence :: Grain -> Int -> TimeObject -> ([TimeObject], [TimeObject])
pad :: Int -> Int -> Text
timezoneOffset :: TimeZone -> Text
toRFC3339 :: ZonedTime -> Text
instantValue :: TimeZoneSeries -> UTCTime -> Grain -> InstantValue
timeValue :: TimeZoneSeries -> TimeObject -> SingleTimeValue
openInterval :: TimeZoneSeries -> IntervalDirection -> TimeObject -> SingleTimeValue
timeRound :: TimeObject -> Grain -> TimeObject
timePlus :: TimeObject -> Grain -> Integer -> TimeObject
timePlusEnd :: TimeObject -> Grain -> Integer -> TimeObject
timeEnd :: TimeObject -> UTCTime
timeStartingAtTheEndOf :: TimeObject -> TimeObject
data TimeIntervalType
- = Open
- | Closed
timeInterval :: TimeIntervalType -> TimeObject -> TimeObject -> TimeObject
timeStartsBeforeTheEndOf :: TimeObject -> TimeObject -> Bool
timeBefore :: TimeObject -> TimeObject -> Bool
timeIntersect :: TimeObject -> TimeObject -> Maybe TimeObject

Documentation

data TimeObject Source #

Constructors

TimeObject
Fields start :: UTCTime grain :: Grain end :: Maybe UTCTime

Instances

Instances details

Eq TimeObject Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: TimeObject -> TimeObject -> Bool # (/=) :: TimeObject -> TimeObject -> Bool #
Show TimeObject Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> TimeObject -> ShowS # show :: TimeObject -> String # showList :: [TimeObject] -> ShowS #

data Form Source #

Constructors

DayOfWeek
TimeOfDay
Fields hours :: Maybe Int is12H :: Bool
Month
Fields month :: Int
PartOfDay

Instances

Instances details

Eq Form Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: Form -> Form -> Bool # (/=) :: Form -> Form -> Bool #
Ord Form Source #
Instance details Defined in Duckling.Time.Types Methods compare :: Form -> Form -> Ordering # (<) :: Form -> Form -> Bool # (<=) :: Form -> Form -> Bool # (>) :: Form -> Form -> Bool # (>=) :: Form -> Form -> Bool # max :: Form -> Form -> Form # min :: Form -> Form -> Form #
Show Form Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> Form -> ShowS # show :: Form -> String # showList :: [Form] -> ShowS #
Generic Form Source #
Instance details Defined in Duckling.Time.Types Associated Types type Rep Form :: Type -> Type # Methods from :: Form -> Rep Form x # to :: Rep Form x -> Form #
Hashable Form Source #
Instance details Defined in Duckling.Time.Types Methods hashWithSalt :: Int -> Form -> Int # hash :: Form -> Int #
NFData Form Source #
Instance details Defined in Duckling.Time.Types Methods rnf :: Form -> () #
type Rep Form Source #
Instance details Defined in Duckling.Time.Types type Rep Form = D1 ('MetaData "Form" "Duckling.Time.Types" "duckling-0.2.0.0-4AU1pRwMU7E8YjNdB7ILfy" 'False) ((C1 ('MetaCons "DayOfWeek" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TimeOfDay" 'PrefixI 'True) (S1 ('MetaSel ('Just "hours") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "is12H") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "Month" 'PrefixI 'True) (S1 ('MetaSel ('Just "month") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)) :+: C1 ('MetaCons "PartOfDay" 'PrefixI 'False) (U1 :: Type -> Type)))

data IntervalDirection Source #

Constructors

Before
After

Instances

Instances details

Eq IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: IntervalDirection -> IntervalDirection -> Bool # (/=) :: IntervalDirection -> IntervalDirection -> Bool #
Ord IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Methods compare :: IntervalDirection -> IntervalDirection -> Ordering # (<) :: IntervalDirection -> IntervalDirection -> Bool # (<=) :: IntervalDirection -> IntervalDirection -> Bool # (>) :: IntervalDirection -> IntervalDirection -> Bool # (>=) :: IntervalDirection -> IntervalDirection -> Bool # max :: IntervalDirection -> IntervalDirection -> IntervalDirection # min :: IntervalDirection -> IntervalDirection -> IntervalDirection #
Show IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> IntervalDirection -> ShowS # show :: IntervalDirection -> String # showList :: [IntervalDirection] -> ShowS #
Generic IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Associated Types type Rep IntervalDirection :: Type -> Type # Methods from :: IntervalDirection -> Rep IntervalDirection x # to :: Rep IntervalDirection x -> IntervalDirection #
Hashable IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Methods hashWithSalt :: Int -> IntervalDirection -> Int # hash :: IntervalDirection -> Int #
NFData IntervalDirection Source #
Instance details Defined in Duckling.Time.Types Methods rnf :: IntervalDirection -> () #
type Rep IntervalDirection Source #
Instance details Defined in Duckling.Time.Types type Rep IntervalDirection = D1 ('MetaData "IntervalDirection" "Duckling.Time.Types" "duckling-0.2.0.0-4AU1pRwMU7E8YjNdB7ILfy" 'False) (C1 ('MetaCons "Before" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "After" 'PrefixI 'False) (U1 :: Type -> Type))

data TimeData Source #

Constructors

TimeData
Fields timePred :: Predicate latent :: Bool timeGrain :: Grain notImmediate :: Bool form :: Maybe Form direction :: Maybe IntervalDirection okForThisNext :: Bool holiday :: Maybe Text hasTimezone :: Bool

Instances

Instances details

Eq TimeData Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: TimeData -> TimeData -> Bool # (/=) :: TimeData -> TimeData -> Bool #
Ord TimeData Source #
Instance details Defined in Duckling.Time.Types Methods compare :: TimeData -> TimeData -> Ordering # (<) :: TimeData -> TimeData -> Bool # (<=) :: TimeData -> TimeData -> Bool # (>) :: TimeData -> TimeData -> Bool # (>=) :: TimeData -> TimeData -> Bool # max :: TimeData -> TimeData -> TimeData # min :: TimeData -> TimeData -> TimeData #
Show TimeData Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> TimeData -> ShowS # show :: TimeData -> String # showList :: [TimeData] -> ShowS #
Hashable TimeData Source #
Instance details Defined in Duckling.Time.Types Methods hashWithSalt :: Int -> TimeData -> Int # hash :: TimeData -> Int #
NFData TimeData Source #
Instance details Defined in Duckling.Time.Types Methods rnf :: TimeData -> () #
Resolve TimeData Source #
Instance details Defined in Duckling.Time.Types Associated Types type ResolvedValue TimeData Source # Methods resolve :: Context -> Options -> TimeData -> Maybe (ResolvedValue TimeData, Bool) Source #
type ResolvedValue TimeData Source #
Instance details Defined in Duckling.Time.Types type ResolvedValue TimeData = TimeValue

timedata' :: TimeData Source #

data TimeContext Source #

Constructors

TimeContext
Fields refTime :: TimeObject tzSeries :: TimeZoneSeries maxTime :: TimeObject minTime :: TimeObject

data InstantValue Source #

Constructors

InstantValue
Fields vValue :: ZonedTime vGrain :: Grain

Instances

Instances details

Eq InstantValue Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: InstantValue -> InstantValue -> Bool # (/=) :: InstantValue -> InstantValue -> Bool #
Show InstantValue Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> InstantValue -> ShowS # show :: InstantValue -> String # showList :: [InstantValue] -> ShowS #
ToJSON InstantValue Source #
Instance details Defined in Duckling.Time.Types Methods toJSON :: InstantValue -> Value # toEncoding :: InstantValue -> Encoding # toJSONList :: [InstantValue] -> Value # toEncodingList :: [InstantValue] -> Encoding #

data SingleTimeValue Source #

Constructors

SimpleValue InstantValue
IntervalValue (InstantValue, InstantValue)
OpenIntervalValue (InstantValue, IntervalDirection)

Instances

Instances details

Eq SingleTimeValue Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: SingleTimeValue -> SingleTimeValue -> Bool # (/=) :: SingleTimeValue -> SingleTimeValue -> Bool #
Show SingleTimeValue Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> SingleTimeValue -> ShowS # show :: SingleTimeValue -> String # showList :: [SingleTimeValue] -> ShowS #
ToJSON SingleTimeValue Source #
Instance details Defined in Duckling.Time.Types Methods toJSON :: SingleTimeValue -> Value # toEncoding :: SingleTimeValue -> Encoding # toJSONList :: [SingleTimeValue] -> Value # toEncodingList :: [SingleTimeValue] -> Encoding #

data TimeValue Source #

Constructors

TimeValue SingleTimeValue [SingleTimeValue] (Maybe Text)

Instances

Instances details

Eq TimeValue Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: TimeValue -> TimeValue -> Bool # (/=) :: TimeValue -> TimeValue -> Bool #
Show TimeValue Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> TimeValue -> ShowS # show :: TimeValue -> String # showList :: [TimeValue] -> ShowS #
ToJSON TimeValue Source #
Instance details Defined in Duckling.Time.Types Methods toJSON :: TimeValue -> Value # toEncoding :: TimeValue -> Encoding # toJSONList :: [TimeValue] -> Value # toEncodingList :: [TimeValue] -> Encoding #

type SeriesPredicate = TimeObject -> TimeContext -> ([TimeObject], [TimeObject]) Source #

Return a tuple of (past, future) elements

data AMPM Source #

Constructors

AM
PM

Instances

Instances details

Eq AMPM Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: AMPM -> AMPM -> Bool # (/=) :: AMPM -> AMPM -> Bool #
Show AMPM Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> AMPM -> ShowS # show :: AMPM -> String # showList :: [AMPM] -> ShowS #

data SeasonName Source #

Constructors

Spring
Summer
Fall
Winter

Instances

Instances details

Enum SeasonName Source #
Instance details Defined in Duckling.Time.Types Methods succ :: SeasonName -> SeasonName # pred :: SeasonName -> SeasonName # toEnum :: Int -> SeasonName # fromEnum :: SeasonName -> Int # enumFrom :: SeasonName -> [SeasonName] # enumFromThen :: SeasonName -> SeasonName -> [SeasonName] # enumFromTo :: SeasonName -> SeasonName -> [SeasonName] # enumFromThenTo :: SeasonName -> SeasonName -> SeasonName -> [SeasonName] #
Eq SeasonName Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: SeasonName -> SeasonName -> Bool # (/=) :: SeasonName -> SeasonName -> Bool #
Ord SeasonName Source #
Instance details Defined in Duckling.Time.Types Methods compare :: SeasonName -> SeasonName -> Ordering # (<) :: SeasonName -> SeasonName -> Bool # (<=) :: SeasonName -> SeasonName -> Bool # (>) :: SeasonName -> SeasonName -> Bool # (>=) :: SeasonName -> SeasonName -> Bool # max :: SeasonName -> SeasonName -> SeasonName # min :: SeasonName -> SeasonName -> SeasonName #
Show SeasonName Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> SeasonName -> ShowS # show :: SeasonName -> String # showList :: [SeasonName] -> ShowS #

data Season Source #

Regular seasons of the Northern Hemisphere.

Constructors

Season
Fields startYear :: Integer seasonName :: SeasonName

Instances

Instances details

Eq Season Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: Season -> Season -> Bool # (/=) :: Season -> Season -> Bool #
Ord Season Source #
Instance details Defined in Duckling.Time.Types Methods compare :: Season -> Season -> Ordering # (<) :: Season -> Season -> Bool # (<=) :: Season -> Season -> Bool # (>) :: Season -> Season -> Bool # (>=) :: Season -> Season -> Bool # max :: Season -> Season -> Season # min :: Season -> Season -> Season #
Show Season Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> Season -> ShowS # show :: Season -> String # showList :: [Season] -> ShowS #

newtype NoShow a Source #

Constructors

NoShow a

Instances

Instances details

Show (NoShow a) Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> NoShow a -> ShowS # show :: NoShow a -> String # showList :: [NoShow a] -> ShowS #

data Predicate Source #

Constructors

SeriesPredicate (NoShow SeriesPredicate)
EmptyPredicate
TimeDatePredicate
Fields tdSecond :: Maybe Int tdMinute :: Maybe Int tdHour :: Maybe (Bool, Int) tdAMPM :: Maybe AMPM tdDayOfTheWeek :: Maybe Int tdDayOfTheMonth :: Maybe Int tdMonth :: Maybe Int tdYear :: Maybe Int
IntersectPredicate Predicate Predicate
TimeIntervalsPredicate TimeIntervalType Predicate Predicate
ReplaceIntersectPredicate Predicate Predicate Predicate

Instances

Instances details

Show Predicate Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> Predicate -> ShowS # show :: Predicate -> String # showList :: [Predicate] -> ShowS #

runPredicate :: Predicate -> SeriesPredicate Source #

emptyTimeDatePredicate :: Predicate Source #

mkEmptyPredicate :: Predicate Source #

mkSeriesPredicate :: SeriesPredicate -> Predicate Source #

mkSecondPredicate :: Int -> Predicate Source #

mkMinutePredicate :: Int -> Predicate Source #

mkHourPredicate :: Bool -> Int -> Predicate Source #

mkAMPMPredicate :: AMPM -> Predicate Source #

mkDayOfTheWeekPredicate :: Int -> Predicate Source #

mkDayOfTheMonthPredicate :: Int -> Predicate Source #

mkMonthPredicate :: Int -> Predicate Source #

mkYearPredicate :: Int -> Predicate Source #

mkIntersectPredicate :: Predicate -> Predicate -> Predicate Source #

mkReplaceIntersectPredicate :: Predicate -> Predicate -> Predicate -> Predicate Source #

mkTimeIntervalsPredicate :: TimeIntervalType -> Predicate -> Predicate -> Predicate Source #

containsTimeIntervalsPredicate :: Predicate -> Bool Source #

diffStartTime :: TimeObject -> TimeObject -> NominalDiffTime Source #

isEmptyPredicate :: Predicate -> Bool Source #

seasonStart :: Season -> Day Source #

seasonEnd :: Season -> Day Source #

nextSeason :: Season -> Season Source #

prevSeason :: Season -> Season Source #

seasonOf :: Day -> Season Source #

seasonPredicate :: Predicate Source #

weekdayPredicate :: Predicate Source #

periodicPredicate :: Grain -> Int -> TimeObject -> Predicate Source #

toMidnight :: Day -> UTCTime Source #

runSecondPredicate :: Int -> SeriesPredicate Source #

runMinutePredicate :: Int -> SeriesPredicate Source #

runHourPredicate :: Maybe AMPM -> Bool -> Int -> SeriesPredicate Source #

runAMPMPredicate :: AMPM -> SeriesPredicate Source #

runDayOfTheWeekPredicate :: Int -> SeriesPredicate Source #

runDayOfTheMonthPredicate :: Int -> SeriesPredicate Source #

runMonthPredicate :: Int -> SeriesPredicate Source #

runYearPredicate :: Int -> SeriesPredicate Source #

safeMax :: Int Source #

runReplaceIntersectPredicate :: Predicate -> Predicate -> Predicate -> SeriesPredicate Source #

runComposeWithReplacement :: SeriesPredicate -> SeriesPredicate -> SeriesPredicate -> SeriesPredicate Source #

runIntersectPredicate :: Predicate -> Predicate -> SeriesPredicate Source #

runCompose :: SeriesPredicate -> SeriesPredicate -> SeriesPredicate Source #

runTimeIntervalsPredicate :: TimeIntervalType -> Predicate -> Predicate -> SeriesPredicate Source #

safeMaxInterval :: Int Source #

timeSeqMap :: Bool -> (TimeObject -> TimeContext -> Maybe TimeObject) -> Predicate -> SeriesPredicate Source #

Applies f to each interval yielded by g. | Intervals including "now" are in the future.

timeSequence :: Grain -> Int -> TimeObject -> ([TimeObject], [TimeObject]) Source #

pad :: Int -> Int -> Text Source #

Zero-pad x to reach length n.

timezoneOffset :: TimeZone -> Text Source #

Return the timezone offset portion of the RFC3339 format, e.g. "-02:00".

toRFC3339 :: ZonedTime -> Text Source #

Return a RFC3339 formatted time, e.g. "2013-02-12T04:30:00.000-02:00". | Backward-compatible with Duckling: fraction of second is milli and padded.

instantValue :: TimeZoneSeries -> UTCTime -> Grain -> InstantValue Source #

timeValue :: TimeZoneSeries -> TimeObject -> SingleTimeValue Source #

openInterval :: TimeZoneSeries -> IntervalDirection -> TimeObject -> SingleTimeValue Source #

timeRound :: TimeObject -> Grain -> TimeObject Source #

timePlus :: TimeObject -> Grain -> Integer -> TimeObject Source #

timePlusEnd :: TimeObject -> Grain -> Integer -> TimeObject Source #

Shifts the whole interval by n units of theGrain Returned interval has the same length as the input one

timeEnd :: TimeObject -> UTCTime Source #

timeStartingAtTheEndOf :: TimeObject -> TimeObject Source #

data TimeIntervalType Source #

Closed if the interval between A and B should include B Open if the interval should end right before B

Constructors

Open
Closed

Instances

Instances details

Eq TimeIntervalType Source #
Instance details Defined in Duckling.Time.Types Methods (==) :: TimeIntervalType -> TimeIntervalType -> Bool # (/=) :: TimeIntervalType -> TimeIntervalType -> Bool #
Show TimeIntervalType Source #
Instance details Defined in Duckling.Time.Types Methods showsPrec :: Int -> TimeIntervalType -> ShowS # show :: TimeIntervalType -> String # showList :: [TimeIntervalType] -> ShowS #

timeInterval :: TimeIntervalType -> TimeObject -> TimeObject -> TimeObject Source #

timeStartsBeforeTheEndOf :: TimeObject -> TimeObject -> Bool Source #

timeBefore :: TimeObject -> TimeObject -> Bool Source #

timeIntersect :: TimeObject -> TimeObject -> Maybe TimeObject Source #

Intersection between two TimeObject. The resulting grain and end fields are the smallest. Prefers intervals when the range is equal.