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

Safe Haskell | Safe
Language | Haskell98

SMTLib2.Compat1

# Documentation

data Trans a Source #

Constructors

OK a |
Fail Doc |

Instances

Functor Trans Source # |
Methods fmap :: (a -> b) -> Trans a -> Trans b # (<$) :: a -> Trans b -> Trans a #
Applicative Trans Source # |
Methods pure :: a -> Trans a # (<*>) :: Trans (a -> b) -> Trans a -> Trans b # (*>) :: 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 #