Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. updMutVar :: IORef a -> (a -> a) -> IOEnv env ()

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

2. writeMutVar :: IORef a -> a -> IOEnv env ()

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

3. patVars :: Pat -> [Var a]

   clash-lib	Clash.Core.Term

   No documentation available.

4. disjointVarSet :: VarSet -> VarSet -> Bool

   clash-lib	Clash.Core.VarEnv

   Are the sets of variables disjoint

5. subsetVarSet :: VarSet -> VarSet -> Bool

   clash-lib	Clash.Core.VarEnv

   Is the set of variables A a subset of the variables B

6. unitVarEnv :: Var b -> a -> VarEnv a

   clash-lib	Clash.Core.VarEnv

   Environment containing a single variable-value pair

7. unitVarSet :: Var a -> VarSet

   clash-lib	Clash.Core.VarEnv

   The set of a single variable

8. bindConstantVar :: HasCallStack => NormRewrite

   clash-lib	Clash.Normalize.Transformations.Inline

   Inline let-bindings when the RHS is either a local variable reference or is constant (except clock or reset generators)

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

   code-conjure	Conjure.Engine

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

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

    code-conjure	Conjure.Engine

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

Page 58 of many | Previous | Next