Clingo.Internal.Utils

Documentation

data ClingoException

Instances

Show ClingoException

Methods

showsPrec :: Int -> ClingoException -> ShowS

show :: ClingoException -> String

showList :: [ClingoException] -> ShowS

Exception ClingoException

Methods

toException :: ClingoException -> SomeException

fromException :: SomeException -> Maybe ClingoException

displayException :: ClingoException -> String

getException :: MonadIO m => m ClingoException

newtype ClingoWarning

Constructors

ClingoWarning ClingoWarning

Instances

Show ClingoWarning

Methods

showsPrec :: Int -> ClingoWarning -> ShowS

show :: ClingoWarning -> String

showList :: [ClingoWarning] -> ShowS

Exception ClingoWarning

Methods

toException :: ClingoWarning -> SomeException

fromException :: SomeException -> Maybe ClingoWarning

displayException :: ClingoWarning -> String

warningString :: MonadIO m => ClingoWarning -> m Text

checkAndThrow :: (MonadIO m, MonadThrow m) => CBool -> m ()

marshall0 :: (MonadIO m, MonadThrow m) => IO CBool -> m ()

marshall1 :: (Storable a, MonadIO m, MonadThrow m) => (Ptr a -> IO CBool) -> m a

marshall1V :: (Storable a, MonadIO m) => (Ptr a -> IO ()) -> m a

marshall1A :: (Storable a, MonadIO m, MonadThrow m) => (Ptr (Ptr a) -> Ptr CSize -> IO CBool) -> m [a]

marshall1RT :: (Storable a, MonadIO m) => (Ptr a -> IO CBool) -> m (Maybe a)

marshall2 :: (Storable a, Storable b, MonadIO m, MonadThrow m) => (Ptr a -> Ptr b -> IO CBool) -> m (a, b)

marshall3V :: (Storable a, Storable b, Storable c, MonadIO m) => (Ptr a -> Ptr b -> Ptr c -> IO ()) -> m (a, b, c)

reraiseIO :: IO a -> IO CBool