Data.Timeframe

Documentation

type Timeframe = Interval UTCTime

type Timeframe = Interval UTCTime

module Data.Interval

localTimeframeAt :: TimeZone -> LocalTime -> LocalTime -> Timeframe

localTimeframe :: MonadIO io => LocalTime -> LocalTime -> io Timeframe

pureLocalTimeframe :: LocalTime -> LocalTime -> Timeframe

duration :: Timeframe -> Maybe NominalDiffTime

type Event = Layers UTCTime (Sum Int)

An Event is something that happens for a period of time.

type Event = Layers UTCTime

event :: Timeframe -> Event

newtype Calendar ev

Constructors

Calendar

Fields

• getCalendar :: Map ev Event

Instances

Eq ev => Eq (Calendar ev)

Defined in Data.Timeframe

Methods

(==) :: Calendar ev -> Calendar ev -> Bool

(/=) :: Calendar ev -> Calendar ev -> Bool

Ord ev => Ord (Calendar ev)

Defined in Data.Timeframe

Methods

compare :: Calendar ev -> Calendar ev -> Ordering

(<) :: Calendar ev -> Calendar ev -> Bool

(<=) :: Calendar ev -> Calendar ev -> Bool

(>) :: Calendar ev -> Calendar ev -> Bool

(>=) :: Calendar ev -> Calendar ev -> Bool

max :: Calendar ev -> Calendar ev -> Calendar ev

min :: Calendar ev -> Calendar ev -> Calendar ev

Show ev => Show (Calendar ev)

Defined in Data.Timeframe

Methods

showsPrec :: Int -> Calendar ev -> ShowS

show :: Calendar ev -> String

showList :: [Calendar ev] -> ShowS

Ord ev => Semigroup (Calendar ev)

Defined in Data.Timeframe

Methods

(<>) :: Calendar ev -> Calendar ev -> Calendar ev

sconcat :: NonEmpty (Calendar ev) -> Calendar ev

stimes :: Integral b => b -> Calendar ev -> Calendar ev

Ord ev => Monoid (Calendar ev)

Defined in Data.Timeframe

Methods

mempty :: Calendar ev

mappend :: Calendar ev -> Calendar ev -> Calendar ev

mconcat :: [Calendar ev] -> Calendar ev

singleton :: Ord ev => ev -> Event -> Calendar ev

calendar :: Ord ev => ev -> Timeframe -> Calendar ev

addEvent :: Ord ev => ev -> Event -> Calendar ev -> Calendar ev

totalDuration :: Ord ev => ev -> Calendar ev -> Maybe NominalDiffTime