Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

  1. subsume_ :: forall (r :: EffectRow) (r' :: EffectRow) a . Subsume r r' => Sem r a -> Sem r' a

    polysemy Polysemy.Internal

    Allows reordering and adding known effects on top of the effect stack, as long as the polymorphic "tail" of new stack is a raise-d version of the original one. This function is highly polymorphic, so it may be a good idea to use its more concrete version (subsume), fitting functions from the raise family or type annotations to avoid vague errors in ambiguous contexts.

  2. subsumeMembership :: forall (r :: [Effect]) (r' :: EffectRow) (e :: Effect) . Members r r' => ElemOf e r -> ElemOf e r'

    polysemy Polysemy.Internal.Bundle

    Transform a membership proof's stack by arbitrary effects using evidence from the context.

  3. subsumeUsing :: forall (e :: Effect) (r :: [Effect]) a . ElemOf e r -> Sem (e ': r) a -> Sem r a

    polysemy Polysemy.Membership

    Interprets an effect in terms of another identical effect, given an explicit proof that the effect exists in r. This is useful in conjunction with tryMembership in order to conditionally make use of effects. For example: 

    tryListen :: KnownRow r => Sem r a -> Maybe (Sem r ([Int], a))
tryListen m = case tryMembership @(Writer [Int]) of
Just pr -> Just $ subsumeUsing pr (listen (raise m))
_       -> Nothing

  4. consumeInput :: Connection -> IO Bool

    postgresql-libpq Database.PostgreSQL.LibPQ

    If input is available from the server, consume it. consumeInput normally returns True indicating "no error", but returns False if there was some kind of trouble (in which case errorMessage can be consulted). Note that the result does not say whether any input data was actually collected. After calling consumeInput, the application can check isBusy and/or notifies to see if their state has changed.

  5. optMarkdownSummaryPath :: CommandLineOptions a -> Maybe FilePath

    sandwich Test.Sandwich.Misc

    No documentation available.

  6. class GUniverseSum (f :: Type -> Type)

    universe-base Data.Universe.Generic

    No documentation available.

  7. guniverseSum :: GUniverseSum f => [[f a]]

    universe-base Data.Universe.Generic

    No documentation available.

  8. plusCarrySum :: Word64 -> Word64 -> (Word64, Word64)

    wide-word Data.WideWord.Word64

    No documentation available.

  9. assumedUTF8ContentTypes :: Set ByteString

    yesod-test Yesod.Test.Internal

    List of Content-Types that are assumed to be UTF-8 (e.g. JSON).

  10. module Graphics.Rendering.OpenGL.GL.ColorSum

    This module corresponds to section 3.9 (Color Sum) of the OpenGL 2.1 specs.

Page 124 of many | Previous | Next