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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Compat1

Documentation

data Trans a #

Constructors

OK a 
Fail Doc 

Instances

Functor Trans # 

Methods

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

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

Applicative Trans # 

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 #

err :: Doc -> Trans a #

name :: Name -> Name #

sort :: Sort -> Type #