| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Clingo.Raw.Configuration
- configurationRoot :: MonadIO m => Configuration -> Ptr Identifier -> m CBool
- configurationType :: MonadIO m => Configuration -> Identifier -> Ptr ConfigurationType -> m CBool
- configurationDescription :: MonadIO m => Configuration -> Identifier -> Ptr CString -> m CBool
- configurationArraySize :: MonadIO m => Configuration -> Word64 -> Ptr CSize -> m CBool
- configurationArrayAt :: MonadIO m => Configuration -> Identifier -> CSize -> Ptr Identifier -> m CBool
- configurationMapSize :: MonadIO m => Configuration -> Identifier -> Ptr CSize -> m CBool
- configurationMapSubkeyName :: MonadIO m => Configuration -> Identifier -> CSize -> Ptr CString -> m CBool
- configurationMapAt :: MonadIO m => Configuration -> Identifier -> CString -> Ptr Identifier -> m CBool
- configurationValueIsAssigned :: MonadIO m => Configuration -> Identifier -> Ptr CBool -> m CBool
- configurationValueGetSize :: MonadIO m => Configuration -> Identifier -> Ptr CSize -> m CBool
- configurationValueGet :: MonadIO m => Configuration -> Identifier -> CString -> CSize -> m CBool
- configurationValueSet :: MonadIO m => Configuration -> Identifier -> CString -> m CBool
Documentation
configurationRoot :: MonadIO m => Configuration -> Ptr Identifier -> m CBool Source #
configurationType :: MonadIO m => Configuration -> Identifier -> Ptr ConfigurationType -> m CBool Source #
configurationDescription :: MonadIO m => Configuration -> Identifier -> Ptr CString -> m CBool Source #
Functions to access arrays
configurationArraySize :: MonadIO m => Configuration -> Word64 -> Ptr CSize -> m CBool Source #
configurationArrayAt :: MonadIO m => Configuration -> Identifier -> CSize -> Ptr Identifier -> m CBool Source #
Functions to access maps
configurationMapSize :: MonadIO m => Configuration -> Identifier -> Ptr CSize -> m CBool Source #
configurationMapSubkeyName :: MonadIO m => Configuration -> Identifier -> CSize -> Ptr CString -> m CBool Source #
configurationMapAt :: MonadIO m => Configuration -> Identifier -> CString -> Ptr Identifier -> m CBool Source #
Functions to access values
configurationValueIsAssigned :: MonadIO m => Configuration -> Identifier -> Ptr CBool -> m CBool Source #
configurationValueGetSize :: MonadIO m => Configuration -> Identifier -> Ptr CSize -> m CBool Source #
configurationValueGet :: MonadIO m => Configuration -> Identifier -> CString -> CSize -> m CBool Source #
configurationValueSet :: MonadIO m => Configuration -> Identifier -> CString -> m CBool Source #