Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

  1. 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