Clingo.Internal.Symbol

Documentation

pureSymbol :: (MonadIO m, MonadThrow m) => Symbol -> m (Symbol s)

symbolHash' :: Symbol -> Integer

symbolNumber' :: MonadIO m => Symbol -> m (Maybe Integer)

symbolName' :: MonadIO m => Symbol -> m (Maybe Text)

symbolString' :: MonadIO m => Symbol -> m (Maybe Text)

symbolArguments' :: (MonadIO m, MonadThrow m) => Symbol -> m [Symbol s]

prettySymbol' :: (MonadIO m, MonadThrow m) => Symbol -> m Text

pureSignature :: MonadIO m => Signature -> m (Signature s)

signatureArity' :: Signature -> Natural

signatureHash' :: Signature -> Integer

signatureName' :: MonadIO m => Signature -> m Text

createSignature'

Arguments

:: (MonadIO m, MonadThrow m)

=> Text

Name

-> Natural

Arity

-> Bool

Positive

-> m (Signature s)

createNumber' :: (MonadIO m, MonadThrow m, Integral a) => a -> m (Symbol s)

createSupremum' :: (MonadIO m, MonadThrow m) => m (Symbol s)

createInfimum' :: (MonadIO m, MonadThrow m) => m (Symbol s)

createString' :: (MonadIO m, MonadThrow m) => Text -> m (Symbol s)

createFunction'

Arguments

:: (MonadIO m, MonadThrow m)

=> Text

Function name

-> [Symbol s]

Arguments

-> Bool

Positive sign

-> m (Symbol s)

class MonadSymbol m where

Minimal complete definition

createSignature, createNumber, createSupremum, createInfimum, createString, createFunction

Methods

createSignature :: Text -> Natural -> Bool -> m s (Signature s)

Create a new signature with the solver, taking a name, an arity and a bool determining the sign.

createNumber :: Integral a => a -> m s (Symbol s)

Create a number symbol.

createSupremum :: m s (Symbol s)

Create a supremum symbol, #sup.

createInfimum :: m s (Symbol s)

Create a infimum symbol, #inf.

createString :: Text -> m s (Symbol s)

Construct a symbol representing a string.

createFunction :: Text -> [Symbol s] -> Bool -> m s (Symbol s)

Construct a symbol representing a function or tuple from a name, arguments, and whether the sign is positive.

Instances

MonadSymbol Clingo

Methods

createSignature :: Text -> Natural -> Bool -> Clingo s (Signature s)

createNumber :: Integral a => a -> Clingo s (Symbol s)

createSupremum :: Clingo s (Symbol s)

createInfimum :: Clingo s (Symbol s)

createString :: Text -> Clingo s (Symbol s)

createFunction :: Text -> [Symbol s] -> Bool -> Clingo s (Symbol s)

MonadSymbol IOSym

Methods

createSignature :: Text -> Natural -> Bool -> IOSym s (Signature s)

createNumber :: Integral a => a -> IOSym s (Symbol s)

createSupremum :: IOSym s (Symbol s)

createInfimum :: IOSym s (Symbol s)

createString :: Text -> IOSym s (Symbol s)

createFunction :: Text -> [Symbol s] -> Bool -> IOSym s (Symbol s)

MonadSymbol (Propagation phase)

Methods

createSignature :: Text -> Natural -> Bool -> Propagation phase s (Signature s)

createNumber :: Integral a => a -> Propagation phase s (Symbol s)

createSupremum :: Propagation phase s (Symbol s)

createInfimum :: Propagation phase s (Symbol s)

createString :: Text -> Propagation phase s (Symbol s)

createFunction :: Text -> [Symbol s] -> Bool -> Propagation phase s (Symbol s)