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
Functor Trans Source # 
Instance details

Defined in SMTLib2.Compat1

Methods

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

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

Applicative Trans Source # 
Instance details

Defined in SMTLib2.Compat1

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 Source #

toEither :: Trans a -> Either Doc a Source #

err :: Doc -> Trans a Source #