Hasklepias.Types.Context

Documentation

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.

Instances

Eq Context

Defined in Hasklepias.Types.Context

Methods

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

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

Show Context

Defined in Hasklepias.Types.Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

Semigroup Context

Defined in Hasklepias.Types.Context

Methods

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

sconcat :: NonEmpty Context -> Context

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

Monoid Context

Defined in Hasklepias.Types.Context

Methods

mempty :: Context

mappend :: Context -> Context -> Context

mconcat :: [Context] -> Context

Arbitrary Context

Defined in Hasklepias.Types.Context.Arbitrary

Methods

arbitrary :: Gen Context

shrink :: Context -> [Context]

FromJSON Context

Defined in Hasklepias.Types.Event.Aeson

Methods

parseJSON :: Value -> Parser Context

parseJSONList :: Value -> Parser [Context]

HasConcept Context

Defined in Hasklepias.Types.Context

Methods

hasConcept :: Context -> Text -> Bool

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

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

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

Defined in Hasklepias.Types.Event.Arbitrary

Methods

arbitrary :: Gen (Event a)

shrink :: Event a -> [Event a]

FromJSON (Event Int)

Defined in Hasklepias.Types.Event.Aeson

Methods

parseJSON :: Value -> Parser (Event Int)

parseJSONList :: Value -> Parser [Event Int]

FromJSON (Event Day)

Defined in Hasklepias.Types.Event.Aeson

Methods

parseJSON :: Value -> Parser (Event Day)

parseJSONList :: Value -> Parser [Event Day]

HasConcept (Event a)

Defined in Hasklepias.Types.Event

Methods

hasConcept :: Event a -> Text -> Bool

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

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

context :: Concepts -> Context

Smart contructor for Context type

Creates Context from a list of Concepts. At this time, the facts and source are both set to Nothing.

emptyContext :: Context

Just an empty Context

data Concept

A Concept is textual "tag" for a context.

Instances

Eq Concept

Defined in Hasklepias.Types.Context

Methods

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

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

Ord Concept

Defined in Hasklepias.Types.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 Hasklepias.Types.Context

Methods

showsPrec :: Int -> Concept -> ShowS

show :: Concept -> String

showList :: [Concept] -> ShowS

Arbitrary Concept

Defined in Hasklepias.Types.Context.Arbitrary

Methods

arbitrary :: Gen Concept

shrink :: Concept -> [Concept]

FromJSON Concept

Defined in Hasklepias.Types.Event.Aeson

Methods

parseJSON :: Value -> Parser Concept

parseJSONList :: Value -> Parser [Concept]

data Concepts

Concepts is a Set of Conceptss.

Instances

Eq Concepts

Defined in Hasklepias.Types.Context

Methods

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

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

Show Concepts

Defined in Hasklepias.Types.Context

Methods

showsPrec :: Int -> Concepts -> ShowS

show :: Concepts -> String

showList :: [Concepts] -> ShowS

Semigroup Concepts

Defined in Hasklepias.Types.Context

Methods

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

sconcat :: NonEmpty Concepts -> Concepts

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

Monoid Concepts

Defined in Hasklepias.Types.Context

Methods

mempty :: Concepts

mappend :: Concepts -> Concepts -> Concepts

mconcat :: [Concepts] -> Concepts

FromJSON Concepts

Defined in Hasklepias.Types.Event.Aeson

Methods

parseJSON :: Value -> Parser Concepts

parseJSONList :: Value -> Parser [Concepts]

HasConcept Concepts

Defined in Hasklepias.Types.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 Hasklepias.Types.Event.Arbitrary

Methods

arbitrary :: Gen (ConceptEvent a)

shrink :: ConceptEvent a -> [ConceptEvent a]

HasConcept (ConceptEvent a)

Defined in Hasklepias.Types.Event

Methods

hasConcept :: ConceptEvent a -> Text -> Bool

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

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

toConcepts :: Set Concept -> Concepts

Constructor for Concepts.

fromConcepts :: Concepts -> Set Concept

packConcept :: Text -> Concept

Pack text into a concept

unpackConcept :: Concept -> Text

Unpack text from a concept

packConcepts :: [Text] -> Concepts

Put a list of text into a set concepts.

unpackConcepts :: Concepts -> [Text]

Take a set of concepts to a list of text.

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 Hasklepias.Types.Context

Methods

hasConcept :: Concepts -> Text -> Bool

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

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

HasConcept Context

Defined in Hasklepias.Types.Context

Methods

hasConcept :: Context -> Text -> Bool

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

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

HasConcept (ConceptEvent a)

Defined in Hasklepias.Types.Event

Methods

hasConcept :: ConceptEvent a -> Text -> Bool

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

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

HasConcept (Event a)

Defined in Hasklepias.Types.Event

Methods

hasConcept :: Event a -> Text -> Bool

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

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