smtLib-1.1: A library for working with the SMTLIB format.
SMTLib2.Compat1
data Trans a Source #
Constructors
Defined in SMTLib2.Compat1
Methods
fmap :: (a -> b) -> Trans a -> Trans b #
(<$) :: a -> Trans b -> Trans a #
pure :: a -> Trans a #
(<*>) :: Trans (a -> b) -> Trans a -> Trans b #
liftA2 :: (a -> b -> c) -> Trans a -> Trans b -> Trans c #
(*>) :: Trans a -> Trans b -> Trans b #
(<*) :: Trans a -> Trans b -> Trans a #
toMaybe :: Trans a -> Maybe a Source #
toEither :: Trans a -> Either Doc a Source #
err :: Doc -> Trans a Source #
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 #