Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

  1. stepParser :: Parser a -> Delta -> Step a

    trifecta Text.Trifecta.Parser

    Incremental parsing. A Step can be supplied with new input using feed, the final Result is obtained using starve.

  2. stepResult :: Rope -> Result a -> Step a

    trifecta Text.Trifecta.Parser

    No documentation available.

  3. stepAutomaton :: Functor m => Automaton m a b -> a -> m (Result (Automaton m a b) b)

    automaton Data.Automaton

    Run one step of an automaton. This consumes an input value, performs a side effect, and returns an updated automaton together with an output value.

  4. step_ :: forall (m :: Type -> Type) b a . Monad m => b -> AutomatonExcept a b m ()

    automaton Data.Automaton.Trans.Except

    Advances a single tick outputting the value, and then throws ().

  5. stepStream :: Functor m => StreamT m a -> m (Result (StreamT m a) a)

    automaton Data.Stream

    Perform one step of a stream, resulting in an updated stream and an output value.

  6. stepOptimizedStream :: Functor m => OptimizedStreamT m a -> m (Result (OptimizedStreamT m a) a)

    automaton Data.Stream.Optimized

    Perform one step of a stream, resulting in an updated stream and an output value.

  7. stepInvariant :: MonadDejaFu n => IAction n -> n (Either SomeException (Maybe (IAction n)), [IORefId], [MVarId], [TVarId])

    dejafu Test.DejaFu.Conc.Internal

    Run an invariant for one step

  8. stepThread :: (MonadDejaFu n, HasCallStack) => Bool -> Bool -> Scheduler g -> MemType -> ThreadId -> Action n -> Context n g -> n (What n g, ThreadAction, Threads n -> n ())

    dejafu Test.DejaFu.Conc.Internal

    Run a single thread one step, by dispatching on the type of Action. Each case looks very similar. This is deliberate, so that the essential differences between actions are more apparent, and not hidden by accidental differences in how things are expressed. Note: the returned snapshot action will definitely not do the right thing with relaxed memory.

  9. stepThrow :: (MonadDejaFu n, Exception e) => (Maybe MaskingState -> ThreadAction) -> ThreadId -> e -> Context n g -> n (What n g, ThreadAction, Threads n -> n ())

    dejafu Test.DejaFu.Conc.Internal

    Handle an exception being thrown from an AAtom, AThrow, or AThrowTo.

  10. stepTrans :: MonadDejaFu n => STMAction n -> IdSource -> n (STMAction n, n (), n (), IdSource, [TVarId], [TVarId], TAction)

    dejafu Test.DejaFu.Conc.Internal.STM

    Run a transaction for one step.

Page 16 of many | Previous | Next