Hoogle Search

Within LTS Haskell 24.48 (ghc-9.10.3)

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

Exact lookup

1. for_ :: (Foldable t, Applicative f) => t a -> (a -> f b) -> f ()

   cabal-install-solver	Distribution.Solver.Compat.Prelude

   for_ is traverse_ with its arguments flipped. For a version that doesn't ignore the results see for. This is forM_ generalised to Applicative actions. for_ is just like forM_, but generalised to Applicative actions.

   Examples

   Basic usage:

   >>> for_ [1..4] print
   1
   2
   3
   4
   

2. force :: NFData a => a -> a

   cabal-install-solver	Distribution.Solver.Compat.Prelude

   a variant of deepseq that is useful in some circumstances:

   force x = x `deepseq` x
   

   force x fully evaluates x, and then returns it. Note that force x only performs evaluation when the value of force x itself is demanded, so essentially it turns shallow evaluation into deep evaluation. force can be conveniently used in combination with ViewPatterns:

   {-# LANGUAGE BangPatterns, ViewPatterns #-}
   import Control.DeepSeq
   
   someFun :: ComplexData -> SomeResult
   someFun (force -> !arg) = {- 'arg' will be fully evaluated -}
   

   Another useful application is to combine force with evaluate in order to force deep evaluation relative to other IO operations:

   import Control.Exception (evaluate)
   import Control.DeepSeq
   
   main = do
   result <- evaluate $ force $ pureComputation
   {- 'result' will be fully evaluated at this point -}
   return ()
   

   Finally, here's an exception safe variant of the readFile' example:

   readFile' :: FilePath -> IO String
   readFile' fn = bracket (openFile fn ReadMode) hClose $ \h ->
   evaluate . force =<< hGetContents h
   

3. forgetLabels :: Graph e -> Graph

   cabal-install-solver	Distribution.Solver.Modular.LabeledGraph

   No documentation available.

4. formDecode :: String -> [(String, String)]

   cgi	Network.CGI

   Gets the name-value pairs from application/x-www-form-urlencoded data.

5. formEncode :: [(String, String)] -> String

   cgi	Network.CGI

   Formats name-value pairs as application/x-www-form-urlencoded.

6. formDecode :: String -> [(String, String)]

   cgi	Network.CGI.Protocol

   Gets the name-value pairs from application/x-www-form-urlencoded data.

7. formEncode :: [(String, String)] -> String

   cgi	Network.CGI.Protocol

   Formats name-value pairs as application/x-www-form-urlencoded.

8. forceV :: forall (n :: Nat) a . KnownNat n => Vec n a -> Vec n a

   clash-prelude	Clash.Explicit.Prelude

   Evaluate all elements of a vector to WHNF

9. forceVX :: forall (n :: Nat) a . KnownNat n => Vec n a -> Vec n a

   clash-prelude	Clash.Explicit.Prelude

   Evaluate all elements of a vector to WHNF. Does not propagate XExceptions.

10. forceV :: forall (n :: Nat) a . KnownNat n => Vec n a -> Vec n a

    clash-prelude	Clash.Explicit.Prelude.Safe

    Evaluate all elements of a vector to WHNF

Page 133 of many | Previous | Next