clingo-0.2.0.0: Haskell bindings to the Clingo ASP solver

Safe HaskellNone
LanguageHaskell2010

Clingo.Raw.Basic

Documentation

errorString :: MonadIO m => ClingoError -> m CString Source #

errorCode :: MonadIO m => m ClingoError Source #

errorMessage :: MonadIO m => m CString Source #

setError :: MonadIO m => ClingoError -> CString -> m () Source #

warningString :: MonadIO m => ClingoWarning -> m CString Source #

version :: MonadIO m => Ptr CInt -> Ptr CInt -> Ptr CInt -> m () Source #