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. setToInfty :: SetToInfty f a => [f] -> a -> a

   Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

   No documentation available.

2. setBenchmarking :: MonadBench m => BenchmarkOn (BenchPhase m) -> m ()

   Agda	Agda.Utils.Benchmark

   Turn benchmarking on/off.

3. setDefault :: forall a (b :: Bool) . Boolean a => a -> WithDefault' a b -> WithDefault' a b

   Agda	Agda.Utils.WithDefault

   The main mode of operation of these flags, apart from setting them explicitly, is to toggle them one way or the other if they hadn't been set already.

4. setup :: String -> Doc

   BNFC	BNFC.Backend.Pygments

   No documentation available.

5. setLogSettingsBreakpoint :: Int -> LogSettings -> LogSettings

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

6. setLogSettingsColor :: LogColor -> LogSettings -> LogSettings

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

7. setLogSettingsColors :: (Colors -> Colors) -> LogSettings -> LogSettings

   Blammo	Blammo.Logging.LogSettings

   Set a function to modify Colors used in logging

8. setLogSettingsConcurrency :: Maybe Int -> LogSettings -> LogSettings

   Blammo	Blammo.Logging.LogSettings

   Set the number of LoggerSet Buffers used by fast-logger A value of Nothing means to use getNumCapabilities. Higher is more performant, but may deliver messages out of order. The defualt is set for TTY usage (so, 1), but is also changed through setLogSettingsFormat is used. Support for this option depends on your version of fast-logger: TODO: table

9. setLogSettingsDestination :: LogDestination -> LogSettings -> LogSettings

   Blammo	Blammo.Logging.LogSettings

   No documentation available.

10. setLogSettingsFormat :: LogFormat -> LogSettings -> LogSettings

    Blammo	Blammo.Logging.LogSettings

    No documentation available.

Page 756 of many | Previous | Next