Clingo.Internal.Statistics

A module providing direct, but memory managed and somewhat safe, access to the Clingo statistics interface. The preferred way to interface with the statistics is the tree based interface in Statistics. This interface exists solely for users who want to provide their own abstraction, without having to reimplement memory management for the raw versions in Statistics.

Documentation

data Statistics s

data StatisticsType

pattern StatsEmpty :: StatisticsType

pattern StatsValue :: StatisticsType

pattern StatsArray :: StatisticsType

pattern StatsMap :: StatisticsType

data SKey

Instances

Eq SKey

Methods

(==) :: SKey -> SKey -> Bool

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

Ord SKey

Methods

compare :: SKey -> SKey -> Ordering

(<) :: SKey -> SKey -> Bool

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

(>) :: SKey -> SKey -> Bool

(>=) :: SKey -> SKey -> Bool

max :: SKey -> SKey -> SKey

min :: SKey -> SKey -> SKey

Show SKey

Methods

showsPrec :: Int -> SKey -> ShowS

show :: SKey -> String

showList :: [SKey] -> ShowS

statisticsRoot :: (MonadIO m, MonadThrow m) => Statistics s -> m SKey

statisticsType :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> m StatisticsType

Array Access

statisticsArraySize :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> m Natural

statisticsArrayAt :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> Natural -> m SKey

Map Access

statisticsMapSize :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> m Natural

statisticsMapSubkeyName :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> Natural -> m Text

statisticsMapAt :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> Text -> m SKey

Value Access

statisticsValueGet :: (MonadIO m, MonadThrow m) => Statistics s -> SKey -> m Double