Hoogle Search

Within Stackage Nightly 2025-10-11 (ghc-9.12.2)

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

Exact lookup

1. setLogic :: SolverContext m => Logic -> m ()

   sbv	Data.SBV.Trans

   Set the logic.

2. setOption :: SolverContext m => SMTOption -> m ()

   sbv	Data.SBV.Trans

   Set an option.

3. setTimeOut :: SolverContext m => Integer -> m ()

   sbv	Data.SBV.Trans

   Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.

4. setarch :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

5. setcap :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

6. setpriv :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

7. setreg :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

8. setsid :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

9. setterm :: ProcessType r => r

   shell-conduit	Data.Conduit.Shell

   No documentation available.

10. setarch :: ProcessType r => r

    shell-conduit	Data.Conduit.Shell.PATH

    No documentation available.

Page 65 of many | Previous | Next