Commits

Iago Abal committed a85b387

Fix comment style
#cleanup

  • Participants
  • Parent commits dffebe8

Comments (0)

Files changed (1)

 -- The Z3 Monad
 
 -- | Z3 monad.
---
 newtype Z3 a = Z3 (StateT Z3State IO a)
     deriving (Functor, Applicative, Monad, MonadIO, MonadState Z3State)
 
   getContext = Z3 $ gets context
 
 -- | Internal state of Z3 monad.
---
 data Z3State
     = Z3State { uniqVal :: !Uniq
               , context :: Base.Context
               }
 
 -- | Eval a Z3 script.
---
 evalZ3 :: Z3 a -> IO a
 evalZ3 = evalZ3With stdArgs
 
 -- | Eval a Z3 script.
---
 evalZ3With :: Args -> Z3 a -> IO a
 evalZ3With args (Z3 s) =
   Base.withConfig $ \cfg -> do
                               }
 
 -- | Fresh symbol name.
---
 fresh :: Z3 (Uniq, String)
 fresh = do
     st <- get