smtLib-1.0.2: A library for working with the SMTLIB format.

SMTLib2.Compat1

Documentation

data Trans a Source

Constructors

OK a
Fail Doc

Instances

Functor Trans
Applicative Trans

toMaybe :: Trans a -> Maybe aSource

toEither :: Trans a -> Either Doc aSource

err :: Doc -> Trans aSource

name :: Name -> Name Source

ident :: Ident -> Ident Source

quant :: Quant -> Quant Source

binder :: Binder -> Binder Source

sort :: Sort -> Type Source

literal :: Literal -> Literal Source

term :: Term -> Trans Expr Source

formula :: Formula -> Trans Expr Source

annot :: Annot -> Trans Attr Source

command :: Command -> Trans [Command]Source

script :: Script -> Trans Script Source