Clingo.Inspection.Symbolic

Documentation

data SymbolicAtoms s

data SymbolicAtom s

Constructors

SymbolicAtom

Fields

• external :: Bool
• literal :: AspifLiteral s
• symbol :: Symbol s
• fact :: Bool

Instances

Generic (SymbolicAtom s)

Associated Types

type Rep (SymbolicAtom s) :: * -> *

Methods

from :: SymbolicAtom s -> Rep (SymbolicAtom s) x

to :: Rep (SymbolicAtom s) x -> SymbolicAtom s

NFData (SymbolicAtom s)

Methods

rnf :: SymbolicAtom s -> ()

type Rep (SymbolicAtom s)

type Rep (SymbolicAtom s) = D1 (MetaData "SymbolicAtom" "Clingo.Inspection.Symbolic" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "SymbolicAtom" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "external") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)) (S1 (MetaSel (Just Symbol "literal") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AspifLiteral s)))) ((:*:) (S1 (MetaSel (Just Symbol "symbol") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Symbol s))) (S1 (MetaSel (Just Symbol "fact") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))

data AspifLiteral s

Instances

Eq (AspifLiteral s)

Methods

(==) :: AspifLiteral s -> AspifLiteral s -> Bool

(/=) :: AspifLiteral s -> AspifLiteral s -> Bool

Ord (AspifLiteral s)

Methods

compare :: AspifLiteral s -> AspifLiteral s -> Ordering

(<) :: AspifLiteral s -> AspifLiteral s -> Bool

(<=) :: AspifLiteral s -> AspifLiteral s -> Bool

(>) :: AspifLiteral s -> AspifLiteral s -> Bool

(>=) :: AspifLiteral s -> AspifLiteral s -> Bool

max :: AspifLiteral s -> AspifLiteral s -> AspifLiteral s

min :: AspifLiteral s -> AspifLiteral s -> AspifLiteral s

Show (AspifLiteral s)

Methods

showsPrec :: Int -> AspifLiteral s -> ShowS

show :: AspifLiteral s -> String

showList :: [AspifLiteral s] -> ShowS

Generic (AspifLiteral s)

Associated Types

type Rep (AspifLiteral s) :: * -> *

Methods

from :: AspifLiteral s -> Rep (AspifLiteral s) x

to :: Rep (AspifLiteral s) x -> AspifLiteral s

NFData (AspifLiteral s)

Methods

rnf :: AspifLiteral s -> ()

Hashable (AspifLiteral s)

Methods

hashWithSalt :: Int -> AspifLiteral s -> Int

hash :: AspifLiteral s -> Int

Signed (AspifLiteral s)

Methods

positive :: AspifLiteral s -> Bool

negative :: AspifLiteral s -> Bool

type Rep (AspifLiteral s)

type Rep (AspifLiteral s) = D1 (MetaData "AspifLiteral" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" True) (C1 (MetaCons "AspifLiteral" PrefixI True) (S1 (MetaSel (Just Symbol "rawAspifLiteral") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Literal)))

fromSymbolicAtoms :: (MonadIO m, MonadThrow m, NFData a) => SymbolicAtoms s -> ([SymbolicAtom s] -> a) -> m a

fromSymbolicAtomsSig :: (MonadIO m, MonadThrow m, NFData a) => SymbolicAtoms s -> Signature s -> ([SymbolicAtom s] -> a) -> m a

symbolicAtomsSignatures :: (MonadIO m, MonadThrow m) => SymbolicAtoms s -> m [Signature s]