hydra.dsl.lib.eithers module

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

hydra.dsl.lib.eithers.apply(ef: TypedTerm[object], ex: TypedTerm[object]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.apply.

hydra.dsl.lib.eithers.bimap(f: TypedTerm[Callable[[X], Z]], g: TypedTerm[Callable[[Y], W]], e: TypedTerm[object]) TypedTerm[object]

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

hydra.dsl.lib.eithers.bind(e: TypedTerm[object], f: TypedTerm[Callable[[Y], object]]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.bind.

hydra.dsl.lib.eithers.compose(f: TypedTerm[Callable[[X], object]], g: TypedTerm[Callable[[Y], object]], x: TypedTerm[X]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.compose.

hydra.dsl.lib.eithers.either(f: TypedTerm[Callable[[X], Z]], g: TypedTerm[Callable[[Y], Z]], e: TypedTerm[object]) TypedTerm[Z]

DSL reference to hydra.overlay.python.lib.eithers.either.

hydra.dsl.lib.eithers.fold_list(f: TypedTerm[Callable[[X, Y], object]], acc0: TypedTerm[X], xs: TypedTerm[Sequence[Y]]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.foldList.

hydra.dsl.lib.eithers.is_left(e: TypedTerm[object]) TypedTerm[bool]

DSL reference to hydra.overlay.python.lib.eithers.isLeft.

hydra.dsl.lib.eithers.is_right(e: TypedTerm[object]) TypedTerm[bool]

DSL reference to hydra.overlay.python.lib.eithers.isRight.

hydra.dsl.lib.eithers.left(x: TypedTerm[X]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.left.

hydra.dsl.lib.eithers.lefts(xs: TypedTerm[Sequence[object]]) TypedTerm[Sequence[X]]

DSL reference to hydra.overlay.python.lib.eithers.lefts.

hydra.dsl.lib.eithers.map(f: TypedTerm[Callable[[X], Y]], e: TypedTerm[object]) TypedTerm[object]

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

hydra.dsl.lib.eithers.map_list(f: TypedTerm[Callable[[X], object]], xs: TypedTerm[Sequence[X]]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.mapList.

hydra.dsl.lib.eithers.map_optional(f: TypedTerm[Callable[[X], object]], m: TypedTerm[object]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.mapOptional.

hydra.dsl.lib.eithers.map_set(f: TypedTerm[Callable[[X], object]], s: TypedTerm[Set[X]]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.mapSet.

hydra.dsl.lib.eithers.partition(xs: TypedTerm[Sequence[object]]) TypedTerm[tuple[Sequence[X], Sequence[Y]]]

DSL reference to hydra.overlay.python.lib.eithers.partition.

hydra.dsl.lib.eithers.right(x: TypedTerm[Y]) TypedTerm[object]

DSL reference to hydra.overlay.python.lib.eithers.right.

hydra.dsl.lib.eithers.rights(xs: TypedTerm[Sequence[object]]) TypedTerm[Sequence[Y]]

DSL reference to hydra.overlay.python.lib.eithers.rights.