Clingo.Raw.Symbol

Documentation

addString :: MonadIO m => CString -> Ptr CString -> m CBool

parseTerm :: MonadIO m => CString -> FunPtr (Logger a) -> Ptr a -> CUInt -> Ptr Symbol -> m CBool

Signatures

signatureCreate :: MonadIO m => CString -> Word32 -> CBool -> Ptr Signature -> m CBool

signatureName :: Signature -> CString

signatureArity :: Signature -> Word32

signatureIsPositive :: Signature -> CBool

signatureIsNegative :: Signature -> CBool

signatureIsEqualTo :: Signature -> Signature -> CBool

signatureIsLessThan :: Signature -> Signature -> CBool

signatureHash :: Signature -> CSize

Symbol construction

symbolCreateNumber :: MonadIO m => CInt -> Ptr Symbol -> m ()

symbolCreateSupremum :: MonadIO m => Ptr Symbol -> m ()

symbolCreateInfimum :: MonadIO m => Ptr Symbol -> m ()

symbolCreateString :: MonadIO m => CString -> Ptr Symbol -> m CBool

symbolCreateId :: MonadIO m => CString -> CBool -> Ptr Symbol -> m CBool

symbolCreateFunction :: MonadIO m => CString -> Ptr Symbol -> CSize -> CBool -> Ptr Symbol -> m CBool

Symbol inspection

symbolNumber :: MonadIO m => Symbol -> Ptr CInt -> m CBool

symbolName :: MonadIO m => Symbol -> Ptr CString -> m CBool

symbolString :: MonadIO m => Symbol -> Ptr CString -> m CBool

symbolIsPositive :: MonadIO m => Symbol -> Ptr CBool -> m CBool

symbolIsNegative :: MonadIO m => Symbol -> Ptr CBool -> m CBool

symbolArguments :: MonadIO m => Symbol -> Ptr (Ptr Symbol) -> Ptr CSize -> m CBool

symbolType :: Symbol -> SymbolType

symbolToStringSize :: MonadIO m => Symbol -> Ptr CSize -> m CBool

symbolToString :: MonadIO m => Symbol -> Ptr CChar -> CSize -> m CBool

Symbol comparison

symbolIsEqualTo :: Symbol -> Symbol -> CBool

symbolIsLessThan :: Symbol -> Symbol -> CBool

symbolHash :: Symbol -> CSize