nikita-volkov / typeclasses / Typeclasses.Extensions.Dict

Extensions to the dict API, which utilise typeclasses.

foldMap : Typeclasses.Classes.Monoid.Monoid c -> (a -> b -> c) -> Dict a b -> c

O(n). Map each entry of dict to a type which has an instance of Monoid, and combine the results.