Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

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

    sbv Data.SBV.Trans

    Set an option.

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

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

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

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

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

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

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

  9. setAllOf :: TestEquality w => w a -> a -> AllOf w -> AllOf w

    witness Data.Type.Witness.Specific.All

    No documentation available.

  10. setCache :: Cache -> IO ()

    TCache Data.TCache

    Set the cache. this is useful for hot loaded modules that will update an existing cache. Experimental

Page 58 of many | Previous | Next