Clingo.Inspection.Theory

Documentation

data TheoryAtoms s

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)))

data Guard s

Constructors

Guard Text (GroundTheoryTerm s)

Instances

Generic (Guard s)

Associated Types

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

Methods

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

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

NFData (Guard s)

Methods

rnf :: Guard s -> ()

type Rep (Guard s)

type Rep (Guard s) = D1 (MetaData "Guard" "Clingo.Inspection.Theory" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "Guard" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (GroundTheoryTerm s)))))

data Element s

Constructors

Element

Fields

• elementTuple :: [GroundTheoryTerm s]
• elementCondition :: [AspifLiteral s]
• elementConditionId :: AspifLiteral s
• renderElement :: Text

Instances

Generic (Element s)

Associated Types

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

Methods

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

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

NFData (Element s)

Methods

rnf :: Element s -> ()

type Rep (Element s)

type Rep (Element s) = D1 (MetaData "Element" "Clingo.Inspection.Theory" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "Element" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "elementTuple") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [GroundTheoryTerm s])) (S1 (MetaSel (Just Symbol "elementCondition") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [AspifLiteral s]))) ((:*:) (S1 (MetaSel (Just Symbol "elementConditionId") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AspifLiteral s))) (S1 (MetaSel (Just Symbol "renderElement") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))

data GroundTheoryAtom s

Constructors

GroundTheoryAtom

Fields

• atomGuard :: Maybe (Guard s)
• atomTerm :: GroundTheoryTerm s
• atomElements :: [Element s]
• atomLiteral :: AspifLiteral s
• renderAtom :: Text

Instances

Generic (GroundTheoryAtom s)

Associated Types

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

Methods

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

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

NFData (GroundTheoryAtom s)

Methods

rnf :: GroundTheoryAtom s -> ()

type Rep (GroundTheoryAtom s)

type Rep (GroundTheoryAtom s) = D1 (MetaData "GroundTheoryAtom" "Clingo.Inspection.Theory" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "GroundTheoryAtom" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "atomGuard") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe (Guard s)))) (S1 (MetaSel (Just Symbol "atomTerm") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (GroundTheoryTerm s)))) ((:*:) (S1 (MetaSel (Just Symbol "atomElements") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Element s])) ((:*:) (S1 (MetaSel (Just Symbol "atomLiteral") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (AspifLiteral s))) (S1 (MetaSel (Just Symbol "renderAtom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))))

data GroundTheoryTerm s

Constructors

SymbolTerm Text Text

FunctionTerm Text Text [GroundTheoryTerm s]

NumberTerm Text Integer

TupleTerm Text [Element s]

ListTerm Text [Element s]

SetTerm Text [Element s]

Instances

Generic (GroundTheoryTerm s)

Associated Types

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

Methods

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

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

NFData (GroundTheoryTerm s)

Methods

rnf :: GroundTheoryTerm s -> ()

type Rep (GroundTheoryTerm s)

type Rep (GroundTheoryTerm s) = D1 (MetaData "GroundTheoryTerm" "Clingo.Inspection.Theory" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) ((:+:) (C1 (MetaCons "SymbolTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))) ((:+:) (C1 (MetaCons "FunctionTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [GroundTheoryTerm s]))))) (C1 (MetaCons "NumberTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))))) ((:+:) (C1 (MetaCons "TupleTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Element s])))) ((:+:) (C1 (MetaCons "ListTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Element s])))) (C1 (MetaCons "SetTerm" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Element s])))))))

renderTerm :: GroundTheoryTerm s -> Text

termName :: GroundTheoryTerm s -> Maybe Text

fromTheoryAtoms :: (MonadIO m, MonadThrow m, NFData w) => TheoryAtoms s -> ([GroundTheoryAtom s] -> w) -> m w