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. getConstraintVar :: TcM (TcRef WantedConstraints)

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

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

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

3. readMutVar :: IORef a -> IOEnv env a

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

4. setConstraintVar :: TcRef WantedConstraints -> TcM a -> TcM a

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

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

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

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

   breakpoint	Debug.Breakpoint.GhcFacade

   No documentation available.

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

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

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

   code-conjure	Conjure.Engine

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

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

    code-conjure	Conjure.Expr

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

Page 57 of many | Previous | Next