Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

  1. withIntMap :: SomeIntMap a -> (forall s . () => IntMap s a -> r) -> r

    refined-containers Data.IntMap.Strict.Refined

    Apply a map with an unknown set of keys to a continuation that can accept a map with any set of keys. This gives you a way to refer to the set (the parameter s), e.g.: 

    withIntMap (fromIntMap ...)
$ \(m :: IntMap s a) -> doSomethingWith @s

  2. withIntMapWith :: forall a r p . SomeIntMapWith p a -> (forall s . () => IntMap s a -> p s -> r) -> r

    refined-containers Data.IntMap.Strict.Refined

    Apply a map with proof for an unknown set of keys to a continuation that can accept a map with any set of keys satisfying the proof. This gives you a way to refer to the set (the parameter s).

Page 15 of many | Previous | Next