Clingo.Internal.Configuration

A module providing direct, but memory managed access to the Clingo configuration interface. The preferred way to interface with configuration is found in Configuration. This interface exists solely for users who want to provide their own abstraction, without having to reimplement memory management for the raw versions in Configuration

Documentation

data Configuration s

data ConfigurationType

Constructors

CType

Fields

• hasValue :: Bool
• hasArray :: Bool
• hasMap :: Bool

Instances

Eq ConfigurationType

Methods

(==) :: ConfigurationType -> ConfigurationType -> Bool

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

Ord ConfigurationType

Methods

compare :: ConfigurationType -> ConfigurationType -> Ordering

(<) :: ConfigurationType -> ConfigurationType -> Bool

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

(>) :: ConfigurationType -> ConfigurationType -> Bool

(>=) :: ConfigurationType -> ConfigurationType -> Bool

max :: ConfigurationType -> ConfigurationType -> ConfigurationType

min :: ConfigurationType -> ConfigurationType -> ConfigurationType

Read ConfigurationType

Methods

readsPrec :: Int -> ReadS ConfigurationType

readList :: ReadS [ConfigurationType]

readPrec :: ReadPrec ConfigurationType

readListPrec :: ReadPrec [ConfigurationType]

Show ConfigurationType

Methods

showsPrec :: Int -> ConfigurationType -> ShowS

show :: ConfigurationType -> String

showList :: [ConfigurationType] -> ShowS

data CKey

Instances

Eq CKey

Methods

(==) :: CKey -> CKey -> Bool

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

Ord CKey

Methods

compare :: CKey -> CKey -> Ordering

(<) :: CKey -> CKey -> Bool

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

(>) :: CKey -> CKey -> Bool

(>=) :: CKey -> CKey -> Bool

max :: CKey -> CKey -> CKey

min :: CKey -> CKey -> CKey

Show CKey

Methods

showsPrec :: Int -> CKey -> ShowS

show :: CKey -> String

showList :: [CKey] -> ShowS

configurationRoot :: (MonadIO m, MonadThrow m) => Configuration s -> m CKey

configurationType :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> m ConfigurationType

configurationDescription :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> m Text

Array Access

configurationArraySize :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> m Natural

configurationArrayAt :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> Natural -> m CKey

Map Access

configurationMapSize :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> m Natural

configurationMapSubkeyName :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> Natural -> m Text

configurationMapAt :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> Text -> m CKey

Value Access

configurationValueGet :: MonadIO m => Configuration s -> CKey -> m Text

configurationValueIsAssigned :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> m Bool

configurationValueSet :: (MonadIO m, MonadThrow m) => Configuration s -> CKey -> Text -> m ()