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.

Exact lookup

1. setBoolOpt :: Some OptionSetting -> Bool -> IO [Doc Void]

   what4	What4.Config

   Given a boolean value, set the named option to that value or generate an OptSetFailure exception if the option is not a boolean valued option.

2. setIntegerOpt :: Some OptionSetting -> Integer -> IO [Doc Void]

   what4	What4.Config

   Given an integer value, set the named option to that value or generate an OptSetFailure exception if the option is not an integer valued option.

3. setOpt :: Opt tp a => OptionSetting tp -> a -> IO [Doc Void]

   what4	What4.Config

   Set the value of an option. Return any generated warnings. Throws an OptSetFailure exception if a validation error occurs.

4. setOption :: OptionSetting (tp :: BaseType) -> ConcreteVal tp -> IO OptionSetResult

   what4	What4.Config

   No documentation available.

5. setUnicodeOpt :: Some OptionSetting -> Text -> IO [Doc Void]

   what4	What4.Config

   Given a unicode text value, set the named option to that value or generate an OptSetFailure exception if the option is not a unicode text valued option.

6. set_opt_default :: forall (tp :: BaseType) . ConcreteVal tp -> OptionStyle tp -> OptionStyle tp

   what4	What4.Config

   Update the opt_default_value field.

7. set_opt_onset :: forall (tp :: BaseType) . (Maybe (ConcreteVal tp) -> ConcreteVal tp -> IO OptionSetResult) -> OptionStyle tp -> OptionStyle tp

   what4	What4.Config

   Update the opt_onset field.

8. setCurrentProgramLoc :: IsExprBuilder sym => sym -> ProgramLoc -> IO ()

   what4	What4.Interface

   Set current location of program for term creation purposes.

9. setSolverLogListener :: IsExprBuilder sym => sym -> Maybe (SolverEvent -> IO ()) -> IO ()

   what4	What4.Interface

   Install an action that will be invoked before and after calls to backend solvers. This action is primarily intended to be used for logging/profiling/debugging purposes. Passing Nothing to this function disables logging.

10. setDefaultLogicAndOptions :: SMTLib2GenericSolver a => WriterConn t (Writer a) -> IO ()

    what4	What4.Protocol.SMTLib2

    No documentation available.

Page 736 of many | Previous | Next