Pudu programming language
Menu
API reference

Std.EnumMap.keysWhere

1 declaration

fn

keysWhere: &Std.EnumMap.EnumMap[K, V] -> fn(V) -> Bool -> Array[K]

This is a callable function.

What it does

The keys whose values the predicate accepts.

Answers keys rather than a smaller map, because a map with keys removed is

no longer total over the domain it claims, and quietly returning one would

give back the Option this module exists to remove.

Read the signature

  • The text after the name is the type checked by Pudu.
  • Read arrows from left to right: inputs come first, and the final type is returned.
  • & borrows a value for this call instead of moving or copying it.
  • Names inside [ ] are type arguments, such as the item type held by a collection.

Back to Std.EnumMapSearch related declarations