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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Compat1

Documentation

data Trans a Source #

Constructors

OK a 
Fail Doc 
Instances
Functor Trans Source # 
Instance details

Defined in SMTLib2.Compat1

Methods

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

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

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 #

err :: Doc -> Trans a Source #