Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. listVarsAsTypeOf :: String -> Expr -> [Expr]

   express	Data.Express.Hole

   Generate an infinite list of variables based on a template and the type of a given Expr. (cf. listVars)

   > let one = val (1::Int)
   > putL 10 $ "x" `listVarsAsTypeOf` one
   [ x :: Int
   , y :: Int
   , z :: Int
   , x' :: Int
   , ...
   ]
   

   > let false = val False
   > putL 10 $ "p" `listVarsAsTypeOf` false
   [ p :: Bool
   , q :: Bool
   , r :: Bool
   , p' :: Bool
   , ...
   ]
   

2. listVarsWith :: [Expr] -> Expr -> [Expr]

   express	Data.Express.Instances

   O(n+m). Like lookupNames but returns a list of variables encoded as Exprs.

3. data MutVar s a

   mutable-containers	Data.Mutable

   A MutVar behaves like a single-element mutable array associated with a primitive state token.

4. asMutVar :: MutVar s a -> MutVar s a

   mutable-containers	Data.Mutable

   Since 0.2.0

5. mkWeakTVar :: TVar a -> IO () -> IO (Weak (TVar a))

   rebase	Rebase.Prelude

   Make a Weak pointer to a TVar, using the second argument as a finalizer to run when TVar is garbage-collected

6. modifyTVar :: TVar a -> (a -> a) -> STM ()

   rebase	Rebase.Prelude

   Mutate the contents of a TVar. N.B., this version is non-strict.

7. modifyTVar' :: TVar a -> (a -> a) -> STM ()

   rebase	Rebase.Prelude

   Strict version of modifyTVar.

8. newTVar :: a -> STM (TVar a)

   rebase	Rebase.Prelude

   Create a new TVar holding a value supplied

9. newTVarIO :: a -> IO (TVar a)

   rebase	Rebase.Prelude

   IO version of newTVar. This is useful for creating top-level TVars using unsafePerformIO, because using atomically inside unsafePerformIO isn't possible.

10. readTVar :: TVar a -> STM a

    rebase	Rebase.Prelude

    Return the current value stored in a TVar.

Page 38 of many | Previous | Next