Copyright	(c) NoviSci Inc 2020
License	BSD3
Maintainer	bsaul@novisci.com
Safe Haskell	Safe
Language	Haskell2010

Hasklepias.Types.Context

Description

Synopsis

data Context
context :: Concepts -> Context
emptyContext :: Context
data Concept
data Concepts
toConcepts :: Set Concept -> Concepts
fromConcepts :: Concepts -> Set Concept
packConcept :: Text -> Concept
unpackConcept :: Concept -> Text
packConcepts :: [Text] -> Concepts
unpackConcepts :: Concepts -> [Text]
class HasConcept a where
- hasConcept :: a -> Text -> Bool
- hasConcepts :: a -> [Text] -> Bool
- hasAllConcepts :: a -> [Text] -> Bool

Documentation

data Context Source #

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

Instances details

Eq Context Source #
Instance details Defined in Hasklepias.Types.Context Methods (==) :: Context -> Context -> Bool # (/=) :: Context -> Context -> Bool #
Show Context Source #
Instance details Defined in Hasklepias.Types.Context Methods showsPrec :: Int -> Context -> ShowS # show :: Context -> String # showList :: [Context] -> ShowS #
Semigroup Context Source #
Instance details Defined in Hasklepias.Types.Context Methods (<>) :: Context -> Context -> Context # sconcat :: NonEmpty Context -> Context # stimes :: Integral b => b -> Context -> Context #
Monoid Context Source #
Instance details Defined in Hasklepias.Types.Context Methods mempty :: Context # mappend :: Context -> Context -> Context # mconcat :: [Context] -> Context #
Arbitrary Context Source #
Instance details Defined in Hasklepias.Types.Context.Arbitrary Methods arbitrary :: Gen Context # shrink :: Context -> [Context] #
FromJSON Context Source #
Instance details Defined in Hasklepias.Types.Event.Aeson Methods parseJSON :: Value -> Parser Context # parseJSONList :: Value -> Parser [Context] #
HasConcept Context Source #
Instance details Defined in Hasklepias.Types.Context Methods hasConcept :: Context -> Text -> Bool Source # hasConcepts :: Context -> [Text] -> Bool Source # hasAllConcepts :: Context -> [Text] -> Bool Source #
Arbitrary (Interval a) => Arbitrary (Event a) Source #
Instance details Defined in Hasklepias.Types.Event.Arbitrary Methods arbitrary :: Gen (Event a) # shrink :: Event a -> [Event a] #
FromJSON (Event Int) Source #
Instance details Defined in Hasklepias.Types.Event.Aeson Methods parseJSON :: Value -> Parser (Event Int) # parseJSONList :: Value -> Parser [Event Int] #
FromJSON (Event Day) Source #
Instance details Defined in Hasklepias.Types.Event.Aeson Methods parseJSON :: Value -> Parser (Event Day) # parseJSONList :: Value -> Parser [Event Day] #
HasConcept (Event a) Source #
Instance details Defined in Hasklepias.Types.Event Methods hasConcept :: Event a -> Text -> Bool Source # hasConcepts :: Event a -> [Text] -> Bool Source # hasAllConcepts :: Event a -> [Text] -> Bool Source #

context :: Concepts -> Context Source #

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 Source #

Just an empty Context

data Concept Source #

A Concept is textual "tag" for a context.

Instances

Instances details

Eq Concept Source #
Instance details Defined in Hasklepias.Types.Context Methods (==) :: Concept -> Concept -> Bool # (/=) :: Concept -> Concept -> Bool #
Ord Concept Source #
Instance details 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 Source #
Instance details Defined in Hasklepias.Types.Context Methods showsPrec :: Int -> Concept -> ShowS # show :: Concept -> String # showList :: [Concept] -> ShowS #
Arbitrary Concept Source #
Instance details Defined in Hasklepias.Types.Context.Arbitrary Methods arbitrary :: Gen Concept # shrink :: Concept -> [Concept] #
FromJSON Concept Source #
Instance details Defined in Hasklepias.Types.Event.Aeson Methods parseJSON :: Value -> Parser Concept # parseJSONList :: Value -> Parser [Concept] #

data Concepts Source #

Concepts is a Set of Conceptss.

Instances

Instances details

Eq Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods (==) :: Concepts -> Concepts -> Bool # (/=) :: Concepts -> Concepts -> Bool #
Show Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods showsPrec :: Int -> Concepts -> ShowS # show :: Concepts -> String # showList :: [Concepts] -> ShowS #
Semigroup Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods (<>) :: Concepts -> Concepts -> Concepts # sconcat :: NonEmpty Concepts -> Concepts # stimes :: Integral b => b -> Concepts -> Concepts #
Monoid Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods mempty :: Concepts # mappend :: Concepts -> Concepts -> Concepts # mconcat :: [Concepts] -> Concepts #
FromJSON Concepts Source #
Instance details Defined in Hasklepias.Types.Event.Aeson Methods parseJSON :: Value -> Parser Concepts # parseJSONList :: Value -> Parser [Concepts] #
HasConcept Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods hasConcept :: Concepts -> Text -> Bool Source # hasConcepts :: Concepts -> [Text] -> Bool Source # hasAllConcepts :: Concepts -> [Text] -> Bool Source #
(Ord a, Show a, Arbitrary (Interval a)) => Arbitrary (ConceptEvent a) Source #
Instance details Defined in Hasklepias.Types.Event.Arbitrary Methods arbitrary :: Gen (ConceptEvent a) # shrink :: ConceptEvent a -> [ConceptEvent a] #
HasConcept (ConceptEvent a) Source #
Instance details Defined in Hasklepias.Types.Event Methods hasConcept :: ConceptEvent a -> Text -> Bool Source # hasConcepts :: ConceptEvent a -> [Text] -> Bool Source # hasAllConcepts :: ConceptEvent a -> [Text] -> Bool Source #

toConcepts :: Set Concept -> Concepts Source #

Constructor for Concepts.

fromConcepts :: Concepts -> Set Concept Source #

packConcept :: Text -> Concept Source #

Pack text into a concept

unpackConcept :: Concept -> Text Source #

Unpack text from a concept

packConcepts :: [Text] -> Concepts Source #

Put a list of text into a set concepts.

unpackConcepts :: Concepts -> [Text] Source #

Take a set of concepts to a list of text.

class HasConcept a where Source #

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

Minimal complete definition

hasConcept

Methods

hasConcept :: a -> Text -> Bool Source #

Does an a have a particular Concept?

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

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

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

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

Instances

Instances details

HasConcept Concepts Source #
Instance details Defined in Hasklepias.Types.Context Methods hasConcept :: Concepts -> Text -> Bool Source # hasConcepts :: Concepts -> [Text] -> Bool Source # hasAllConcepts :: Concepts -> [Text] -> Bool Source #
HasConcept Context Source #
Instance details Defined in Hasklepias.Types.Context Methods hasConcept :: Context -> Text -> Bool Source # hasConcepts :: Context -> [Text] -> Bool Source # hasAllConcepts :: Context -> [Text] -> Bool Source #
HasConcept (ConceptEvent a) Source #
Instance details Defined in Hasklepias.Types.Event Methods hasConcept :: ConceptEvent a -> Text -> Bool Source # hasConcepts :: ConceptEvent a -> [Text] -> Bool Source # hasAllConcepts :: ConceptEvent a -> [Text] -> Bool Source #
HasConcept (Event a) Source #
Instance details Defined in Hasklepias.Types.Event Methods hasConcept :: Event a -> Text -> Bool Source # hasConcepts :: Event a -> [Text] -> Bool Source # hasAllConcepts :: Event a -> [Text] -> Bool Source #