smtLib-1.0.9: A library for working with the SMTLIB format.
SMTLib2.Compat1
data Trans a #
Constructors
Instances
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 #
toEither :: Trans a -> Either Doc a #
err :: Doc -> Trans a #
name :: Name -> Name #
ident :: Ident -> Ident #
quant :: Quant -> Quant #
binder :: Binder -> Binder #
sort :: Sort -> Type #
literal :: Literal -> Literal #
term :: Term -> Trans Expr #
formula :: Formula -> Trans Expr #
annot :: Annot -> Trans Attr #
command :: Command -> Trans [Command] #
script :: Script -> Trans Script #