Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data TheoryAtoms s Source #
data TheoryTermType Source #
pattern TheoryTuple :: TheoryTermType Source #
pattern TheoryList :: TheoryTermType Source #
pattern TheorySet :: TheoryTermType Source #
pattern TheoryFunction :: TheoryTermType Source #
pattern TheoryNumber :: TheoryTermType Source #
pattern TheorySymbol :: TheoryTermType Source #
theoryAtomsSize :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> m Natural Source #
theoryAtomsId :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> Natural -> m (Maybe AtomId) Source #
theoryAtomsTermType :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m TheoryTermType Source #
theoryAtomsTermNumber :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Integer Source #
theoryAtomsTermName :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Text Source #
theoryAtomsTermArguments :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m [TermId] Source #
theoryAtomsTermToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> TermId -> m Text Source #
theoryAtomsElementTuple :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m [TermId] Source #
theoryAtomsElementCondition :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m [AspifLiteral s] Source #
theoryAtomsElementConditionId :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m (AspifLiteral s) Source #
theoryAtomsElementToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> ElementId -> m Text Source #
theoryAtomsAtomTerm :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m TermId Source #
theoryAtomsAtomElements :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m [ElementId] Source #
theoryAtomsAtomHasGuard :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m Bool Source #
theoryAtomsAtomGuard :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m (Text, TermId) Source #
theoryAtomsAtomLiteral :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m (AspifLiteral s) Source #
theoryAtomsAtomToString :: (MonadIO m, MonadThrow m) => TheoryAtoms s -> AtomId -> m Text Source #