smtLib-1.1: 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

Instances details

Applicative Trans Source # |
Instance details Defined in SMTLib2.Compat1 Methods pure :: a -> Trans a Source # (<*>) :: Trans (a -> b) -> Trans a -> Trans b Source # liftA2 :: (a -> b -> c) -> Trans a -> Trans b -> Trans c Source # (*>) :: Trans a -> Trans b -> Trans b Source # (<*) :: Trans a -> Trans b -> Trans a Source #
Functor Trans Source # |
Instance details Defined in SMTLib2.Compat1 Methods fmap :: (a -> b) -> Trans a -> Trans b Source # (<$) :: a -> Trans b -> Trans a Source #

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 #