Hasklepias.Types.Event

Documentation

type Event a = PairedInterval Context a

An Event a is simply a pair (Interval a, Context).

type Events a = [Event a]

A List of Event a

NOTE (20190911): I (B. Saul) am starting out the Events type as a list of the Event type. This may be not be the optimal approach, especially with regards to lookup/filtering the list. Ideally, we could do one pass through the ordered container (whatever it is) to identify events by concept; rather than repeated evaluations of the lookup predicates. This could be handled by, for example, representing Events has a Map with a list of concept indices. But this gets us off the ground.

type ConceptEvent a = PairedInterval Concepts a

An event containing only concepts and an interval

event :: Interval a -> Context -> Event a

A smart constructor for 'Event a's.

ctxt :: Event a -> Context

Access the Context of an 'Event a'.

toConceptEvent :: (Show a, Ord a) => Event a -> ConceptEvent a

Drops an Event to a ConceptEvent by moving the concepts in the data position in the paired interval and throwing out the facts and source.

toConceptEventOf :: (Show a, Ord a) => [Concept] -> Event a -> ConceptEvent a

mkConceptEvent :: (Show a, Ord a) => Interval a -> Concepts -> ConceptEvent a

Orphan instances

HasConcept (ConceptEvent a)

Methods

hasConcept :: ConceptEvent a -> Text -> Bool

hasConcepts :: ConceptEvent a -> [Text] -> Bool

hasAllConcepts :: ConceptEvent a -> [Text] -> Bool

HasConcept (Event a)

Methods

hasConcept :: Event a -> Text -> Bool

hasConcepts :: Event a -> [Text] -> Bool

hasAllConcepts :: Event a -> [Text] -> Bool