Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. HeterogenousRecordToMap :: Expr s a -> Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

2. InvalidToMapRecordKind :: Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

3. InvalidToMapType :: Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

4. MissingToMapType :: TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

5. MustMapARecord :: Expr s a -> Expr s a -> TypeMessage s a

   dhall	Dhall.TypeCheck

   No documentation available.

6. module Control.Distributed.Process.Extras.Internal.Containers.MultiMap

   No documentation available.

7. data MultiMap k v

   distributed-process-extras	Control.Distributed.Process.Extras.Internal.Containers.MultiMap

   Opaque type of MultiMaps.

8. withLiftMap :: forall (es :: [Effect]) (handlerEs :: [Effect]) (localEs :: [Effect]) r . (HasCallStack, SharedSuffix es handlerEs) => LocalEnv localEs handlerEs -> ((forall a b . () => (Eff es a -> Eff es b) -> Eff localEs a -> Eff localEs b) -> Eff es r) -> Eff es r

   effectful-core	Effectful.Dispatch.Dynamic

   Utility for lifting Eff computations of type

   Eff es a -> Eff es b
   

   to

   Eff localEs a -> Eff localEs b
   

   Note: the computation must not run its argument in a different thread, attempting to do so will result in a runtime error.

9. withLiftMapIO :: forall (es :: [Effect]) (handlerEs :: [Effect]) (localEs :: [Effect]) r . (HasCallStack, SharedSuffix es handlerEs, IOE :> es) => LocalEnv localEs handlerEs -> ((forall a b . () => (IO a -> IO b) -> Eff localEs a -> Eff localEs b) -> Eff es r) -> Eff es r

   effectful-core	Effectful.Dispatch.Dynamic

   Utility for lifting IO computations of type

   IO a -> IO b
   

   to

   Eff localEs a -> Eff localEs b
   

   Note: the computation must not run its argument in a different thread, attempting to do so will result in a runtime error. Useful e.g. for lifting the unmasking function in mask-like computations:

   >>> :{
   data Fork :: Effect where
   ForkWithUnmask :: ((forall a. m a -> m a) -> m ()) -> Fork m ThreadId
   type instance DispatchOf Fork = Dynamic
   :}
   

   >>> :{
   runFork :: IOE :> es => Eff (Fork : es) a -> Eff es a
   runFork = interpret $ \env (ForkWithUnmask m) -> withLiftMapIO env $ \liftMap -> do
   localUnliftIO env (ConcUnlift Ephemeral $ Limited 1) $ \unlift -> do
   forkIOWithUnmask $ \unmask -> unlift $ m $ liftMap unmask
   :}
   

10. unsafeLiftMapIO :: forall a b (es :: [Effect]) . HasCallStack => (IO a -> IO b) -> Eff es a -> Eff es b

    effectful-core	Effectful.Dispatch.Static

    Utility for lifting IO computations of type

    IO a -> IO b
    

    to

    Eff es a -> Eff es b
    

    Note: the computation must not run its argument in a separate thread, attempting to do so will result in a runtime error. This function is unsafe because it can be used to introduce arbitrary IO actions into pure Eff computations.

Page 940 of many | Previous | Next