Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. class GBCSSumCompare (f :: k -> Type) (g :: k -> Type) (z :: k1) (e :: k2) (o :: k3)

   generic-random	Generic.Random.Internal.BaseCase

   No documentation available.

2. gbcsSum :: forall prox proxy (p :: k) . GBCSSum f g z e yf yg => prox '(yf, yg) -> proxy '(z, e) -> IfM yf Weighted (Proxy :: Type -> Type) (f p) -> IfM yg Weighted (Proxy :: Type -> Type) (g p) -> IfM (yf ||? yg) Weighted (Proxy :: Type -> Type) ((f :+: g) p)

   generic-random	Generic.Random.Internal.BaseCase

   No documentation available.

3. gbcsSumCompare :: forall proxy0 proxy (p :: k) . GBCSSumCompare f g z e o => proxy0 o -> proxy '(z, e) -> Weighted (f p) -> Weighted (g p) -> Weighted ((f :+: g) p)

   generic-random	Generic.Random.Internal.BaseCase

   No documentation available.

4. class GASum opts (f :: Type -> Type)

   generic-random	Generic.Random.Internal.Generic

   No documentation available.

5. gaSum :: GASum opts f => opts -> Int -> Weights_ f -> Gen (f p)

   generic-random	Generic.Random.Internal.Generic

   No documentation available.

6. gaSum' :: GASum opts f => opts -> Weights_ f -> Int -> Gen (f p)

   generic-random	Generic.Random.Internal.Generic

   No documentation available.

7. Resume :: Command

   midi	Sound.MIDI.MachineControl

   No documentation available.

8. microsoftConsumer :: T

   midi	Sound.MIDI.Manufacturer

   No documentation available.

9. subsume :: forall (e :: Effect) (r :: EffectRow) a . Member e r => Sem (e ': r) a -> Sem r a

   polysemy	Polysemy

   Interprets an effect in terms of another identical effect. This is useful for defining interpreters that use reinterpretH without immediately consuming the newly introduced effect. Using such an interpreter recursively may result in duplicate effects, which may then be eliminated using subsume. For a version that can introduce an arbitrary number of new effects and reorder existing ones, see subsume_.

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

    polysemy	Polysemy

    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.

Page 122 of many | Previous | Next