Hoogle Search

Within LTS Haskell 24.15 (ghc-9.10.3)

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

  1. runStateT :: StateT s (m :: Type -> Type) a -> s -> m (a, s)

    pipes-parse Pipes.Parse

    No documentation available.

  2. runStateC :: forall stateT (m :: Type -> Type) a b . (Data stateT, Monad m) => Cell (StateT stateT m) a b -> stateT -> Cell m a (b, stateT)

    essence-of-live-coding LiveCoding

    Push effectful state into the internal state of a cell

  3. runStateC_ :: forall stateT (m :: Type -> Type) a b . (Data stateT, Monad m) => Cell (StateT stateT m) a b -> stateT -> Cell m a b

    essence-of-live-coding LiveCoding

    Like runStateC, but does not return the current state.

  4. runStateC :: forall stateT (m :: Type -> Type) a b . (Data stateT, Monad m) => Cell (StateT stateT m) a b -> stateT -> Cell m a (b, stateT)

    essence-of-live-coding LiveCoding.Cell.Monad.Trans

    Push effectful state into the internal state of a cell

  5. runStateC_ :: forall stateT (m :: Type -> Type) a b . (Data stateT, Monad m) => Cell (StateT stateT m) a b -> stateT -> Cell m a b

    essence-of-live-coding LiveCoding.Cell.Monad.Trans

    Like runStateC, but does not return the current state.

  6. runStateL :: forall stateT (m :: Type -> Type) . (Data stateT, Monad m) => LiveProgram (StateT stateT m) -> stateT -> LiveProgram m

    essence-of-live-coding LiveCoding.LiveProgram.Monad.Trans

    Remove a stateful effect from the monad stack by supplying the initial state. This state then becomes part of the internal live program state, and is subject to migration as any other state. Live programs are automatically migrated to and from applications of runStateL.

  7. runStateLocal :: forall s (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => s -> Eff (State s ': es) a -> Eff es (a, s)

    effectful-core Effectful.State.Dynamic

    Run the State effect with the given initial state and return the final value along with the final state (via Effectful.State.Static.Local).

  8. runStateShared :: forall s (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => s -> Eff (State s ': es) a -> Eff es (a, s)

    effectful-core Effectful.State.Dynamic

    Run the State effect with the given initial state and return the final value along with the final state (via Effectful.State.Static.Shared).

  9. runStateMVar :: forall s (es :: [(Type -> Type) -> Type -> Type]) a . HasCallStack => MVar' s -> Eff (State s ': es) a -> Eff es (a, s)

    effectful-core Effectful.State.Static.Shared

    Run the State effect with the given initial state MVar' and return the final value along with the final state.

  10. runStateT :: StateT s m a -> s -> m (a, s)

    foundation Foundation.Monad.State

    No documentation available.

Page 7 of many | Previous | Next