Hoogle Search

Within LTS Haskell 24.55 (ghc-9.10.3)

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

  1. bracketRootStep :: (Ord a, Fractional a) => (a -> a) -> ((a, a), (a, a)) -> ((a, a), (a, a))

    learn-physics Physics.Learn.RootFinding

    Given a bracketed root, return a half-width bracket.

  2. ReqSASLStep :: Key -> Value -> OpRequest

    memcache Database.Memcache.Types

    No documentation available.

  3. ResSASLStep :: OpResponse

    memcache Database.Memcache.Types

    No documentation available.

  4. type CoroutineStepResult (s :: Type -> Type) (m :: Type -> Type) r = Either s Coroutine s m r r

    monad-coroutine Control.Monad.Coroutine

    No documentation available.

  5. type WeaveStepper (s1 :: Type -> Type) (s2 :: Type -> Type) (s3 :: Type -> Type) (m :: Type -> Type) x y z = Weaver s1 s2 s3 m x y z -> CoroutineStepResult s1 m x -> CoroutineStepResult s2 m y -> Coroutine s3 m z

    monad-coroutine Control.Monad.Coroutine

    Type of functions capable of combining two coroutines' CoroutineStepResult values into a third one. Module Monad.Coroutine.SuspensionFunctors contains several WeaveStepper examples.

  6. type NestWeaveStepper (s0 :: Type -> Type) (s1 :: Type -> Type) (s2 :: Type -> Type) (m :: Type -> Type) x y z = WeaveStepper Sum s0 s1 Sum s0 s2 s0 m x y z

    monad-coroutine Control.Monad.Coroutine.Nested

    Type of functions capable of combining two child coroutines' CoroutineStepResult values into a parent coroutine. Use with the function weave.

  7. MkStepT :: m (Either a (f (StepT f m a))) -> StepT (f :: Type -> Type) (m :: Type -> Type) a

    monadology Control.Monad.Ology.Specific.StepT

    No documentation available.

  8. pendingStep :: forall (f :: Type -> Type) (m :: Type -> Type) . (Functor f, Monad m) => f --> StepT f m

    monadology Control.Monad.Ology.Specific.StepT

    A pending step for this result.

  9. runSteps :: forall (m :: Type -> Type) (f :: Type -> Type) . Monad m => Extract f -> StepT f m --> m

    monadology Control.Monad.Ology.Specific.StepT

    Run all the steps until done.

  10. unStepT :: StepT (f :: Type -> Type) (m :: Type -> Type) a -> m (Either a (f (StepT f m a)))

    monadology Control.Monad.Ology.Specific.StepT

    No documentation available.

Page 86 of many | Previous | Next