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

Safe HaskellSafe-Infered

SMTLib2.Compat1

Documentation

data Trans a Source

Constructors

OK a 
Fail Doc 

Instances

toMaybe :: Trans a -> Maybe aSource

toEither :: Trans a -> Either Doc aSource

err :: Doc -> Trans aSource

name :: Name -> NameSource

ident :: Ident -> IdentSource

quant :: Quant -> QuantSource

binder :: Binder -> BinderSource

sort :: Sort -> TypeSource

literal :: Literal -> LiteralSource

term :: Term -> Trans ExprSource

formula :: Formula -> Trans ExprSource

annot :: Annot -> Trans AttrSource

command :: Command -> Trans [Command]Source

script :: Script -> Trans ScriptSource