Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. setInfo :: SolverContext m => String -> [String] -> m ()

    sbv Data.SBV.Trans

    Set info. Example: setInfo ":status" ["unsat"].

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

    sbv Data.SBV.Trans

    Set the logic.

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

    sbv Data.SBV.Trans

    Set an option.

  4. 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.

  5. setInspectMode :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

  6. setMaxBuffer :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . Int -> State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

  7. setMaxThreads :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . Int -> State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

  8. setStreamLatency :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . Int -> State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

  9. setStreamRate :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . Maybe Rate -> State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

  10. setYieldLimit :: forall (t :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a . Maybe Int64 -> State t m a -> State t m a

    streamly-core Streamly.Internal.Data.SVar.Type

    No documentation available.

Page 58 of many | Previous | Next