Documentation

Std.Data.TreeMap.Raw.AdditionalOperations

Additional raw tree map operations #

This file defines more operations on Std.TreeMap.Raw. We currently do not provide lemmas for these functions.

@[inline]
def Std.TreeMap.Raw.filterMap {α : Type u} {β : Type v} {γ : Type w} {cmp : ααOrdering} (f : αβOption γ) (t : Raw α β cmp) :
Raw α γ cmp

Updates the values of the map by applying the given function to all mappings, keeping only those mappings where the function returns some value.

Equations
    Instances For
      @[inline]
      def Std.TreeMap.Raw.map {α : Type u} {β : Type v} {γ : Type w} {cmp : ααOrdering} (f : αβγ) (t : Raw α β cmp) :
      Raw α γ cmp

      Updates the values of the map by applying the given function to all mappings.

      Equations
        Instances For

          We do not provide get*GE, get*GT, get*LE and get*LT functions for the raw trees.