Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. interposeStateInBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (In e es, FOEs es) => s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff es) (Eff es) ans -> Eff es a -> Eff es ans

   heftia	Control.Monad.Hefty

   No documentation available.

2. interpretStateBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (KnownOrder e, FOEs es) => s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff (e ': es)) (Eff es) ans -> Eff (e ': es) a -> Eff es ans

   heftia	Control.Monad.Hefty

   No documentation available.

3. reinterpretStateBy :: forall s (e :: Effect) (es' :: [Effect]) (es :: [Effect]) ans a . (Suffix es es', KnownOrder e, FOEs es) => s -> (s -> a -> Eff es' ans) -> StateHandler s e (Eff (e ': es)) (Eff es') ans -> Eff (e ': es) a -> Eff es' ans

   heftia	Control.Monad.Hefty

   No documentation available.

4. interposeStateBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (e :> es, FOEs es) => s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff es) (Eff es) ans -> Eff es a -> Eff es ans

   heftia	Control.Monad.Hefty.Interpret.State

   No documentation available.

5. interposeStateForBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (KnownOrder e, FOEs es) => Membership e es -> s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff es) (Eff es) ans -> Eff es a -> Eff es ans

   heftia	Control.Monad.Hefty.Interpret.State

   No documentation available.

6. interposeStateInBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (In e es, FOEs es) => s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff es) (Eff es) ans -> Eff es a -> Eff es ans

   heftia	Control.Monad.Hefty.Interpret.State

   No documentation available.

7. interpretStateBy :: forall s (e :: Effect) (es :: [Effect]) ans a . (KnownOrder e, FOEs es) => s -> (s -> a -> Eff es ans) -> StateHandler s e (Eff (e ': es)) (Eff es) ans -> Eff (e ': es) a -> Eff es ans

   heftia	Control.Monad.Hefty.Interpret.State

   No documentation available.

8. reinterpretStateBy :: forall s (e :: Effect) (es' :: [Effect]) (es :: [Effect]) ans a . (Suffix es es', KnownOrder e, FOEs es) => s -> (s -> a -> Eff es' ans) -> StateHandler s e (Eff (e ': es)) (Eff es') ans -> Eff (e ': es) a -> Eff es' ans

   heftia	Control.Monad.Hefty.Interpret.State

   No documentation available.

9. class SplittableState a

   monad-par-extras	Control.Monad.Par.State

   A type in SplittableState is meant to be added to a Par monad using StateT. It works like any other state except at fork points, where the runtime system splits the state using splitState. Common examples for applications of SplittableState would include (1) routing a splittable random number generator through a parallel computation, and (2) keeping a tree-index that locates the current computation within the binary tree of forks. Also, it is possible to simply duplicate the state at all fork points, enabling "thread local" copies of the state. The limitation of this approach is that the splitting method is fixed, and the same at all fork points.

10. splitState :: SplittableState a => a -> (a, a)

    monad-par-extras	Control.Monad.Par.State

    No documentation available.

Page 19 of many | Previous | Next