SMTLib2.Compat1

Documentation

data Trans a

Constructors

OK a

Fail Doc

Instances

Functor Trans

Methods

fmap :: (a -> b) -> Trans a -> Trans b

(<$) :: a -> Trans b -> Trans a

Applicative Trans

Methods

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