Hoogle Search

Within LTS Haskell 24.64 (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

   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

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

3. listVars :: Typeable a => String -> a -> [Expr]

   express	Data.Express.Hole

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

   > putL 10 $ listVars "x" (undefined :: Int)
   [ x :: Int
   , y :: Int
   , z :: Int
   , x' :: Int
   , y' :: Int
   , z' :: Int
   , x'' :: Int
   , ...
   ]
   

   > putL 10 $ listVars "p" (undefined :: Bool)
   [ p :: Bool
   , q :: Bool
   , r :: Bool
   , p' :: Bool
   , q' :: Bool
   , r' :: Bool
   , p'' :: Bool
   , ...
   ]
   

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

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

   express	Data.Express.Instances

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

6. data MutVar s a

   mutable-containers	Data.Mutable

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

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

   mutable-containers	Data.Mutable

   Since 0.2.0

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

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

   rebase	Rebase.Prelude

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

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

    rebase	Rebase.Prelude

    Strict version of modifyTVar.

Page 23 of many | Previous | Next