hydra.dsl.lib.sets module

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

hydra.dsl.lib.sets.delete(x: TypedTerm[X], s: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.difference(s1: TypedTerm[Set[X]], s2: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.empty() → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.filter(predicate: TypedTerm[Callable[[X], bool]], s: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.from_list(xs: TypedTerm[Sequence[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.insert(x: TypedTerm[X], s: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.intersection(s1: TypedTerm[Set[X]], s2: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.is_empty(s: TypedTerm[Set[X]]) → TypedTerm[bool]

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

hydra.dsl.lib.sets.map(f: TypedTerm[Callable[[X], Y]], s: TypedTerm[Set[X]]) → TypedTerm[Set[Y]]

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

hydra.dsl.lib.sets.member(x: TypedTerm[X], s: TypedTerm[Set[X]]) → TypedTerm[bool]

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

hydra.dsl.lib.sets.singleton(x: TypedTerm[X]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.size(s: TypedTerm[Set[X]]) → TypedTerm[int]

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

hydra.dsl.lib.sets.to_list(s: TypedTerm[Set[X]]) → TypedTerm[Sequence[X]]

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

hydra.dsl.lib.sets.union(s1: TypedTerm[Set[X]], s2: TypedTerm[Set[X]]) → TypedTerm[Set[X]]

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

hydra.dsl.lib.sets.unions(ss: TypedTerm[Sequence[Set[X]]]) → TypedTerm[Set[X]]

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