Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data TheoryAtoms s Source #
data AspifLiteral s Source #
Eq (AspifLiteral s) Source # | |
Ord (AspifLiteral s) Source # | |
Show (AspifLiteral s) Source # | |
Generic (AspifLiteral s) Source # | |
NFData (AspifLiteral s) Source # | |
Hashable (AspifLiteral s) Source # | |
Signed (AspifLiteral s) Source # | |
type Rep (AspifLiteral s) Source # | |
Element | |
|
data GroundTheoryAtom s Source #
GroundTheoryAtom | |
|
Generic (GroundTheoryAtom s) Source # | |
NFData (GroundTheoryAtom s) Source # | |
type Rep (GroundTheoryAtom s) Source # | |
data GroundTheoryTerm s Source #
SymbolTerm Text Text | |
FunctionTerm Text Text [GroundTheoryTerm s] | |
NumberTerm Text Integer | |
TupleTerm Text [Element s] | |
ListTerm Text [Element s] | |
SetTerm Text [Element s] |
Generic (GroundTheoryTerm s) Source # | |
NFData (GroundTheoryTerm s) Source # | |
type Rep (GroundTheoryTerm s) Source # | |
renderTerm :: GroundTheoryTerm s -> Text Source #
fromTheoryAtoms :: (MonadIO m, MonadThrow m, NFData w) => TheoryAtoms s -> ([GroundTheoryAtom s] -> w) -> m w Source #