EventData

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

class HasConcept a where

The HasConcept typeclass provides predicate functions for determining whether an a has a concept.

Minimal complete definition

hasConcept

Methods

hasConcept :: a -> Text -> Bool

Does an a have a particular Concept?

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

Does an a have *any* of a list of Concepts?

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

Does an a have *all* of a list of Concepts?

Instances

HasConcept Concepts

Defined in EventData.Context

Methods

hasConcept :: Concepts -> Text -> Bool

hasConcepts :: Concepts -> [Text] -> Bool

hasAllConcepts :: Concepts -> [Text] -> Bool

HasConcept Context

Defined in EventData.Context

Methods

hasConcept :: Context -> Text -> Bool

hasConcepts :: Context -> [Text] -> Bool

hasAllConcepts :: Context -> [Text] -> Bool

HasConcept (ConceptEvent a)

Defined in EventData

Methods

hasConcept :: ConceptEvent a -> Text -> Bool

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

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

HasConcept (Event a)

Defined in EventData

Methods

hasConcept :: Event a -> Text -> Bool

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

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

data Concepts

Concepts is a Set of Conceptss.

Instances

Eq Concepts

Defined in EventData.Context

Methods

(==) :: Concepts -> Concepts -> Bool

(/=) :: Concepts -> Concepts -> Bool

Show Concepts

Defined in EventData.Context

Methods

showsPrec :: Int -> Concepts -> ShowS

show :: Concepts -> String

showList :: [Concepts] -> ShowS

Semigroup Concepts

Defined in EventData.Context

Methods

(<>) :: Concepts -> Concepts -> Concepts

sconcat :: NonEmpty Concepts -> Concepts

stimes :: Integral b => b -> Concepts -> Concepts

Monoid Concepts

Defined in EventData.Context

Methods

mempty :: Concepts

mappend :: Concepts -> Concepts -> Concepts

mconcat :: [Concepts] -> Concepts

FromJSON Concepts

Defined in EventData.Aeson

Methods

parseJSON :: Value -> Parser Concepts

parseJSONList :: Value -> Parser [Concepts]

HasConcept Concepts

Defined in EventData.Context

Methods

hasConcept :: Concepts -> Text -> Bool

hasConcepts :: Concepts -> [Text] -> Bool

hasAllConcepts :: Concepts -> [Text] -> Bool

(Ord a, Show a, Arbitrary (Interval a)) => Arbitrary (ConceptEvent a)

Defined in EventData.Arbitrary

Methods

arbitrary :: Gen (ConceptEvent a)

shrink :: ConceptEvent a -> [ConceptEvent a]

HasConcept (ConceptEvent a)

Defined in EventData

Methods

hasConcept :: ConceptEvent a -> Text -> Bool

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

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

data Concept

A Concept is textual "tag" for a context.

Instances

Eq Concept

Defined in EventData.Context

Methods

(==) :: Concept -> Concept -> Bool

(/=) :: Concept -> Concept -> Bool

Ord Concept

Defined in EventData.Context

Methods

compare :: Concept -> Concept -> Ordering

(<) :: Concept -> Concept -> Bool

(<=) :: Concept -> Concept -> Bool

(>) :: Concept -> Concept -> Bool

(>=) :: Concept -> Concept -> Bool

max :: Concept -> Concept -> Concept

min :: Concept -> Concept -> Concept

Show Concept

Defined in EventData.Context

Methods

showsPrec :: Int -> Concept -> ShowS

show :: Concept -> String

showList :: [Concept] -> ShowS

Arbitrary Concept

Defined in EventData.Context.Arbitrary

Methods

arbitrary :: Gen Concept

shrink :: Concept -> [Concept]

FromJSON Concept

Defined in EventData.Aeson

Methods

parseJSON :: Value -> Parser Concept

parseJSONList :: Value -> Parser [Concept]

data Context

A Context consists of three parts: concepts, facts, and source.

At this time, facts and source are simply stubs to be fleshed out in later versions of hasklepias.

Constructors

Context

Fields

• _concepts :: Concepts
• _facts :: Maybe Domain
• _source :: Maybe Source

Instances

Eq Context

Defined in EventData.Context

Methods

(==) :: Context -> Context -> Bool

(/=) :: Context -> Context -> Bool

Show Context

Defined in EventData.Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

Semigroup Context

Defined in EventData.Context

Methods

(<>) :: Context -> Context -> Context

sconcat :: NonEmpty Context -> Context

stimes :: Integral b => b -> Context -> Context

Monoid Context

Defined in EventData.Context

Methods

mempty :: Context

mappend :: Context -> Context -> Context

mconcat :: [Context] -> Context

Arbitrary Context

Defined in EventData.Context.Arbitrary

Methods

arbitrary :: Gen Context

shrink :: Context -> [Context]

FromJSON Context

Defined in EventData.Aeson

Methods

parseJSON :: Value -> Parser Context

parseJSONList :: Value -> Parser [Context]

HasConcept Context

Defined in EventData.Context

Methods

hasConcept :: Context -> Text -> Bool

hasConcepts :: Context -> [Text] -> Bool

hasAllConcepts :: Context -> [Text] -> Bool

Arbitrary (Interval a) => Arbitrary (Event a)

Defined in EventData.Arbitrary

Methods

arbitrary :: Gen (Event a)

shrink :: Event a -> [Event a]

(FromJSON a, Show a, IntervalSizeable a b) => FromJSON (Event a)

Defined in EventData.Aeson

Methods

parseJSON :: Value -> Parser (Event a)

parseJSONList :: Value -> Parser [Event a]

HasConcept (Event a)

Defined in EventData

Methods

hasConcept :: Event a -> Text -> Bool

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

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

packConcept :: Text -> Concept

Pack text into a concept

toConcepts :: Set Concept -> Concepts

Constructor for Concepts.

fromConcepts :: Concepts -> Set Concept

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