Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. setLogic :: SMTLib2Tweaks a => WriterConn t (Writer a) -> Logic -> IO ()

    what4 What4.Protocol.SMTLib2

    No documentation available.

  2. setOption :: SMTLib2Tweaks a => WriterConn t (Writer a) -> Text -> Text -> IO ()

    what4 What4.Protocol.SMTLib2

    No documentation available.

  3. setProduceModels :: SMTLib2Tweaks a => WriterConn t (Writer a) -> Bool -> IO ()

    what4 What4.Protocol.SMTLib2

    Set the produce models option (We typically want this)

  4. setLogic :: Logic -> Command

    what4 What4.Protocol.SMTLib2.Syntax

    Set the logic of the SMT solver

  5. setOption :: Text -> Text -> Command

    what4 What4.Protocol.SMTLib2.Syntax

    Set an option in the SMT solver The name should not need to be prefixed with a colon."

  6. setProduceModels :: Bool -> Command

    what4 What4.Protocol.SMTLib2.Syntax

    Set option to produce models This is a widely used option so, we we have a custom command to make it.

  7. setOptCommand :: SMTWriter h => f h -> Text -> Text -> Command h

    what4 What4.Protocol.SMTWriter

    Set an option/parameter.

  8. setParam :: WriterConn t Connection -> ConfigValue -> IO ()

    what4 What4.Solver.Yices

    No documentation available.

  9. setYicesParams :: WriterConn t Connection -> Config -> IO ()

    what4 What4.Solver.Yices

    No documentation available.

  10. setHandleEncoding :: MonadIO m => Handle -> m ()

    with-utf8 System.IO.Utf8

    Set handle encoding to the best possible. See withHandle for description and prefer it, if possible.

Page 737 of many | Previous | Next