Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

  1. mapSomeDictOf :: (forall (a :: k) . c a => f a -> g a) -> SomeDictOf f c -> SomeDictOf g c

    some-dict-of SomeDictOf

    Transform the type index used in the SomeDictOf. The provided function is unable to inspect the type, but you will have the class operations available to it. Example: 

    provideMempty ;: SomeDictOf Proxy Monoid -> SomeDictOf Identity Monoid
provideMempty = mapSomeDictOf (\proxy -> Identity mempty)

  2. mapDec :: Ord b => (a -> b) -> SortedList a -> SortedList b

    sorted-list Data.SortedList

    Just like map, but favoring functions that are monotonically decreasing instead of those that are monotonically increasing.

  3. mapSemiEquations :: (Equation -> Equation) -> Shy -> Shy

    speculate Test.Speculate.SemiReason

    No documentation available.

  4. mapTMaybe :: (a -> Maybe b) -> [[a]] -> [[b]]

    speculate Test.Speculate.Utils

    No documentation available.

  5. mapMaybeReversed :: (a -> Maybe b) -> List a -> List b

    strict-list StrictList

    Map and filter elements producing results in reversed order.

  6. mapReversed :: (a -> b) -> List a -> List b

    strict-list StrictList

    Map producing a list in reversed order.

  7. mapExponential :: (C y flat, C y, C u) => y -> T u q -> T rate flat (T y) -> T rate (Dimensional u q) (T y)

    synthesizer-dimensional Synthesizer.Dimensional.Amplitude.Displacement

    No documentation available.

  8. mapLinear :: (C y flat, C y, C u) => y -> T u y -> T rate flat (T y) -> T rate (Dimensional u y) (T y)

    synthesizer-dimensional Synthesizer.Dimensional.Amplitude.Displacement

    Map a control curve without amplitude unit by a linear (affine) function with a unit. This is a combination of raise and amplify.

  9. mapLinearDimension :: (C y, C y, C u, C v) => T v y -> T (Mul v u) y -> T rate (Dimensional u y) (T y) -> T rate (Dimensional (Mul v u) y) (T y)

    synthesizer-dimensional Synthesizer.Dimensional.Amplitude.Displacement

    No documentation available.

  10. mapAmplitude :: forall amp0 amp1 (arrow :: Type -> Type -> Type) yv . (C amp0, C amp1, Arrow arrow) => (amp0 -> amp1) -> Single arrow amp0 amp1 yv yv

    synthesizer-dimensional Synthesizer.Dimensional.Map

    We restrict the amplitude types to those of class Amplitude. Otherwise mapAmplitude could be abused for bringing amplitudes and respective sample values out of sync. For mapping amplitudes that are nested in some pairs, use it in combination with first and second. FIXME: This function however still breaks the abstraction, since normally it should not be observable how the volume is balanced between amplitude and signal. This function allows to replace an actual amplitude by Flat, which also breaks the abstraction. This may only be used for proportional mappings. See T.

Page 227 of many | Previous | Next