Observations

Netrium is Copyright Anthony Waite, Dave Hetwett, Shaun Laurens 2009-2015, and files herein are licensed |under the MIT license, the text of which can be found in license.txt

Documentation

type Observations a = Map VarName (TimeSeries a)

type Choices a = Map ChoiceId (TimedEvents a)

Time series

data TimeSeries a

Constructors

SeriesEntry Time a (TimeSeries a)

SeriesEnds Time

SeriesUnbounded

Instances

Read a => Read (TimeSeries a)

Methods

readsPrec :: Int -> ReadS (TimeSeries a)

readList :: ReadS [TimeSeries a]

readPrec :: ReadPrec (TimeSeries a)

readListPrec :: ReadPrec [TimeSeries a]

Show a => Show (TimeSeries a)

Methods

showsPrec :: Int -> TimeSeries a -> ShowS

show :: TimeSeries a -> String

showList :: [TimeSeries a] -> ShowS

lookupTimeSeries :: TimeSeries a -> Time -> Maybe a

pruneTimeSeries :: Time -> TimeSeries a -> TimeSeries a

lookupChoice :: Map ChoiceId (TimedEvents a) -> ChoiceId -> Time -> Maybe a

timeSeriesEvents :: TimeSeries a -> TimedEvents (Maybe a)

Timed events

newtype TimedEvents a

Constructors

TEs [(Time, a)]

Instances

Functor TimedEvents

Methods

fmap :: (a -> b) -> TimedEvents a -> TimedEvents b

(<$) :: a -> TimedEvents b -> TimedEvents a

Eq a => Eq (TimedEvents a)

Methods

(==) :: TimedEvents a -> TimedEvents a -> Bool

(/=) :: TimedEvents a -> TimedEvents a -> Bool

Read a => Read (TimedEvents a)

Methods

readsPrec :: Int -> ReadS (TimedEvents a)

readList :: ReadS [TimedEvents a]

readPrec :: ReadPrec (TimedEvents a)

readListPrec :: ReadPrec [TimedEvents a]

Show a => Show (TimedEvents a)

Methods

showsPrec :: Int -> TimedEvents a -> ShowS

show :: TimedEvents a -> String

showList :: [TimedEvents a] -> ShowS

Monoid a => Monoid (TimedEvents a)

Methods

mempty :: TimedEvents a

mappend :: TimedEvents a -> TimedEvents a -> TimedEvents a

mconcat :: [TimedEvents a] -> TimedEvents a

unTEs :: TimedEvents t -> [(Time, t)]

mapAccumTS :: (acc -> x -> (acc, y)) -> acc -> TimedEvents x -> (acc, TimedEvents y)

lookupTimedEvent :: TimedEvents a -> Time -> Maybe a

insertEventBefore :: Time -> a -> TimedEvents a -> TimedEvents a

Insert an event into a TimedEvents series.

This event is placed before the other simultaneous events in the sequence.

insertEventAfter :: Time -> a -> TimedEvents a -> TimedEvents a

Insert an event into a TimedEvents series.

This event is placed after the other simultaneous events in the sequence.

pruneTimedEvents :: Time -> TimedEvents a -> TimedEvents a

mergeEvents :: TimedEvents a -> TimedEvents b -> TimedEvents (MergeResult a b)

mergeEventsBiased :: TimedEvents a -> TimedEvents a -> TimedEvents a

Merging

mergeBy :: (a -> b -> Ordering) -> [a] -> [b] -> [MergeResult a b]

Generic merging utility. For sorted input lists this is a full outer join.

data MergeResult a b

Constructors

OnlyInLeft a

InBoth a b

OnlyInRight b

XML instances

data ObservationSeries

Constructors

ObservationsSeriesBool String (XMLTimeSeries Bool)

ObservationsSeriesDouble String (XMLTimeSeries Double)

Instances

XmlContent ObservationSeries

Methods

parseContents :: XMLParser ObservationSeries

toContents :: ObservationSeries -> [Content ()]

xToChar :: ObservationSeries -> Char

xFromChar :: Char -> ObservationSeries

HTypeable ObservationSeries

Methods

toHType :: ObservationSeries -> HType

data ChoiceSeries

Constructors

ChoiceSeries (XMLTimedEvents Choice)

Instances

XmlContent ChoiceSeries

Methods

parseContents :: XMLParser ChoiceSeries

toContents :: ChoiceSeries -> [Content ()]

xToChar :: ChoiceSeries -> Char

xFromChar :: Char -> ChoiceSeries

HTypeable ChoiceSeries

Methods

toHType :: ChoiceSeries -> HType

data Choice

Constructors

OrChoice ChoiceId Bool

AnytimeChoice ChoiceId

Instances

XmlContent Choice

Methods

parseContents :: XMLParser Choice

toContents :: Choice -> [Content ()]

xToChar :: Choice -> Char

xFromChar :: Char -> Choice

HTypeable Choice

Methods

toHType :: Choice -> HType

data Timed a

Constructors

Timed Time a

Instances

XmlContent a => XmlContent (Timed a)

Methods

parseContents :: XMLParser (Timed a)

toContents :: Timed a -> [Content ()]

xToChar :: Timed a -> Char

xFromChar :: Char -> Timed a

HTypeable (Timed a)

Methods

toHType :: Timed a -> HType

data SeriesEnd

Constructors

Unbounded

Bounded Time

Instances

XmlContent SeriesEnd

Methods

parseContents :: XMLParser SeriesEnd

toContents :: SeriesEnd -> [Content ()]

xToChar :: SeriesEnd -> Char

xFromChar :: Char -> SeriesEnd

HTypeable SeriesEnd

Methods

toHType :: SeriesEnd -> HType

type XMLTimeSeries a = ([Timed a], SeriesEnd)

type XMLTimedEvents a = [Timed a]

toTimedEvents :: XMLTimedEvents a -> TimedEvents a

fromTimedEvents :: TimedEvents a -> XMLTimedEvents a

toTimeSeries :: XMLTimeSeries a -> TimeSeries a

fromTimeSeries :: TimeSeries a -> XMLTimeSeries a