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. setName :: forall (name :: Symbol) a . a -> name ::: a

   clash-prelude	Clash.Magic

   Name the instance or register with the given Symbol, instead of using an auto-generated name. Pre- and suffixes annotated with prefixName and suffixName will be added to both instances and registers named with setName and instances and registers that are auto-named.

2. setSlice# :: forall (m :: Natural) (i :: Natural) (n :: Nat) . SNat ((m + 1) + i) -> BitVector ((m + 1) + i) -> SNat m -> SNat n -> BitVector ((m + 1) - n) -> BitVector ((m + 1) + i)

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

3. setPartitionNumbers :: Num a => [[a]]

   combinatorial	Combinatorics

   Number of partitions of an n element set into k non-empty subsets. Known as Stirling numbers http://oeis.org/A048993.

   QC.forAll (QC.choose (0,10000)) $ \k -> QC.forAll (take 7 <$> QC.arbitrary) $ \xs -> length (Comb.setPartitions k xs) == (Comb.setPartitionNumbers !! length (xs::String) ++ repeat 0) !! k
   

   QC.forAll (QC.choose (0,7)) $ \k xs -> length (Comb.rectifications k xs) == (Comb.setPartitionNumbers !! k ++ repeat 0) !! length (xs::String)
   

4. setPartitions :: Int -> [a] -> [[[a]]]

   combinatorial	Combinatorics

   Their number is k^n.

5. setNumCapabilities :: MonadConc m => Int -> m ()

   concurrency	Control.Monad.Conc.Class

   Set the number of Haskell threads that can run simultaneously.

6. setupOutputBuffer :: StdHandle -> Maybe Handle -> IO (StdHandle, MVar OutputBuffer, TMVar BufSig, TMVar AtEnd)

   concurrent-output	System.Console.Concurrent.Internal

   No documentation available.

7. setConsoleRegion :: (ToRegionContent v, LiftRegion m) => ConsoleRegion -> v -> m ()

   concurrent-output	System.Console.Regions

   Sets the value of a console region. This will cause the console to be updated to display the new value. It's fine for the value to be longer than the terminal is wide, or to include newlines ('n'). Regions expand to multiple lines as necessary. The value can include ANSI SGR escape sequences for changing the colors of all or part of a region. For this to display properly, a reset escape sequence must be included to get the color back to default. System.Console.ANSI makes it easy to construct such values. For example:

   import System.Console.ANSI
   
   setConsoleRegion region 
   ( "hello "
   <> setSGRCode [SetColor Foreground Vivid Red] 
   <> "Mars" 
   <> setSGRCode [Reset]
   <> "!"
   )
   

   Other ANSI escape sequences, especially those doing cursor movement, will mess up the layouts of regions. Caveat emptor. ANSI SGR escape sequences that span multiple lines do not currently display as you might hope. (Patches would be accepted.)

8. setIniUpdatePolicy :: UpdatePolicy -> Ini s -> Ini s

   config-ini	Data.Ini.Config.Bidir

   Use the provided UpdatePolicy as a guide when creating future updated versions of the given Ini value.

9. setDefaultSSLOpts :: Curl -> URLString -> IO ()

   curl	Network.Curl

   No documentation available.

10. setopts :: Curl -> [CurlOption] -> IO ()

    curl	Network.Curl

    Set a list of options on a Curl handle.

Page 472 of many | Previous | Next