smtLib-1.1: A library for working with the SMTLIB format.
Safe HaskellSafe
LanguageHaskell98

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 #

err :: Doc -> Trans a Source #