hydra.dsl.lib.maps module

DSL functions for hydra.overlay.python.lib.maps.

hydra.dsl.lib.maps.alter(f: TypedTerm[Callable[[object], object]], k: TypedTerm[K], m: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.alter.

hydra.dsl.lib.maps.bimap(fk: TypedTerm[Callable[[K1], K2]], fv: TypedTerm[Callable[[V1], V2]], m: TypedTerm[Mapping[K1, V1]]) → TypedTerm[Mapping[K2, V2]]

DSL reference to hydra.overlay.python.lib.maps.bimap.

hydra.dsl.lib.maps.delete(k: TypedTerm[K], m: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.delete.

hydra.dsl.lib.maps.difference(m1: TypedTerm[Mapping[K, V]], m2: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.difference.

hydra.dsl.lib.maps.elems(m: TypedTerm[Mapping[K, V]]) → TypedTerm[Sequence[V]]

DSL reference to hydra.overlay.python.lib.maps.elems.

hydra.dsl.lib.maps.empty() → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.empty.

hydra.dsl.lib.maps.filter(p: TypedTerm[Callable[[V], bool]], m: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.filter.

hydra.dsl.lib.maps.filter_with_key(p: TypedTerm[Callable[[K, V], bool]], m: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.filterWithKey.

hydra.dsl.lib.maps.find_with_default(def_: TypedTerm[V], k: TypedTerm[K], m: TypedTerm[Mapping[K, V]]) → TypedTerm[V]

DSL reference to hydra.overlay.python.lib.maps.findWithDefault.

hydra.dsl.lib.maps.from_list(xs: TypedTerm[Sequence[tuple[K, V]]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.fromList.

hydra.dsl.lib.maps.insert(k: TypedTerm[K], v: TypedTerm[V], m: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.insert.

hydra.dsl.lib.maps.intersection(m1: TypedTerm[Mapping[K, V]], m2: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.intersection.

hydra.dsl.lib.maps.is_empty(m: TypedTerm[Mapping[K, V]]) → TypedTerm[bool]

DSL reference to hydra.overlay.python.lib.maps.isEmpty.

hydra.dsl.lib.maps.keys(m: TypedTerm[Mapping[K, V]]) → TypedTerm[Sequence[K]]

DSL reference to hydra.overlay.python.lib.maps.keys.

hydra.dsl.lib.maps.lookup(k: TypedTerm[K], m: TypedTerm[Mapping[K, V]]) → TypedTerm[object]

DSL reference to hydra.overlay.python.lib.maps.lookup.

hydra.dsl.lib.maps.map(f: TypedTerm[Callable[[V1], V2]], m: TypedTerm[Mapping[K, V1]]) → TypedTerm[Mapping[K, V2]]

DSL reference to hydra.overlay.python.lib.maps.map.

hydra.dsl.lib.maps.map_keys(f: TypedTerm[Callable[[K1], K2]], m: TypedTerm[Mapping[K1, V]]) → TypedTerm[Mapping[K2, V]]

DSL reference to hydra.overlay.python.lib.maps.mapKeys.

hydra.dsl.lib.maps.member(k: TypedTerm[K], m: TypedTerm[Mapping[K, V]]) → TypedTerm[bool]

DSL reference to hydra.overlay.python.lib.maps.member.

hydra.dsl.lib.maps.singleton(k: TypedTerm[K], v: TypedTerm[V]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.singleton.

hydra.dsl.lib.maps.size(m: TypedTerm[Mapping[K, V]]) → TypedTerm[int]

DSL reference to hydra.overlay.python.lib.maps.size.

hydra.dsl.lib.maps.to_list(m: TypedTerm[Mapping[K, V]]) → TypedTerm[Sequence[tuple[K, V]]]

DSL reference to hydra.overlay.python.lib.maps.toList.

hydra.dsl.lib.maps.union(m1: TypedTerm[Mapping[K, V]], m2: TypedTerm[Mapping[K, V]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.union.

hydra.dsl.lib.maps.unions(ms: TypedTerm[Sequence[Mapping[K, V]]]) → TypedTerm[Mapping[K, V]]

DSL reference to hydra.overlay.python.lib.maps.unions.