hydra.overlay.python package

Subpackages

• hydra.overlay.python.dsl package
  • Subpackages
    • hydra.overlay.python.dsl.meta package
      • Submodules
      • Module contents
    • hydra.overlay.python.dsl.python package
      • Module contents
  • Submodules
    • hydra.overlay.python.dsl.annotations module
      • annotate_term()
      • annotate_type()
      • bounded()
      • bounded_list()
      • bounded_map()
      • bounded_set()
      • bounded_string()
      • data_doc()
      • deprecated()
      • doc()
      • doc70()
      • doc80()
      • exclude()
      • min_length_list()
      • nonempty_list()
      • nonempty_map()
      • note()
      • preserve_field_name()
      • see()
      • set_max_length()
      • set_min_length()
      • set_term_annotation()
      • set_term_description()
      • set_type_annotation()
      • set_type_description()
      • two_or_more_list()
      • wrap_line()
    • hydra.overlay.python.dsl.literal_types module
      • bigint()
      • binary()
      • boolean()
      • decimal()
      • float32()
      • float64()
      • float_()
      • int16()
      • int32()
      • int64()
      • int8()
      • integer()
      • show_literal_type()
      • string()
      • uint16()
      • uint32()
      • uint64()
      • uint8()
    • hydra.overlay.python.dsl.literals module
      • bigint()
      • binary()
      • boolean()
      • decimal()
      • float32()
      • float64()
      • float_()
      • int16()
      • int32()
      • int64()
      • int8()
      • integer()
      • string()
      • uint16()
      • uint32()
      • uint64()
      • uint8()
    • hydra.overlay.python.dsl.prims module
      • TypeVar_
      • bigint()
      • binary()
      • boolean()
      • build_type_scheme()
      • comparison()
      • decimal()
      • default_fallback_primitive()
      • default_primitive_definition()
      • either()
      • float32()
      • float64()
      • float_type()
      • float_value()
      • function()
      • function_with_reduce()
      • int16()
      • int32()
      • int64()
      • int8()
      • integer_type()
      • integer_value()
      • list_()
      • literal()
      • literal_type()
      • map_()
      • optional()
      • other_err()
      • pair()
      • prim0()
      • prim1()
      • prim2()
      • prim3()
      • set_()
      • string()
      • term()
      • type_()
      • type_var_names()
      • type_vars_to_constraints()
      • uint16()
      • uint32()
      • uint64()
      • uint8()
      • v()
      • v_eq()
      • v_frac()
      • v_integral()
      • v_num()
      • v_ord()
      • variable()
      • void()
    • hydra.overlay.python.dsl.terms module
      • annot()
      • annotated()
      • annotation_map_as_term()
      • apply()
      • apply_all()
      • bigint()
      • binary()
      • boolean()
      • char()
      • comparison()
      • compose()
      • constant()
      • decimal()
      • false()
      • field()
      • fields_to_map()
      • first()
      • float32()
      • float64()
      • float_()
      • identity()
      • inject()
      • inject_unit()
      • int16()
      • int32()
      • int64()
      • int8()
      • integer()
      • just()
      • lambda_()
      • lambda_typed()
      • lambdas()
      • left()
      • let_multi()
      • let_term()
      • lets()
      • lets_typed()
      • list_()
      • literal()
      • map_()
      • map_term()
      • match()
      • match_with_variants()
      • nothing()
      • optional()
      • pair()
      • primitive()
      • project()
      • record()
      • right()
      • second()
      • set_()
      • string()
      • triple()
      • true()
      • tuple2()
      • tuple3()
      • tuple4()
      • tuple5()
      • tuple_()
      • tyapp()
      • tyapps()
      • tylam()
      • tylams()
      • type_application()
      • type_lambda()
      • uint16()
      • uint32()
      • uint64()
      • uint8()
      • unit()
      • unwrap()
      • var()
      • with_variant()
      • wrap()
    • hydra.overlay.python.dsl.types module
      • annot()
      • apply()
      • apply_many()
      • applys()
      • bigint()
      • binary()
      • boolean()
      • decimal()
      • either()
      • enum()
      • field()
      • float32()
      • float64()
      • float_()
      • forall()
      • foralls()
      • function()
      • function_many()
      • int16()
      • int32()
      • int64()
      • int8()
      • integer()
      • list_()
      • literal()
      • map_()
      • maybe()
      • mono()
      • non_negative_int32()
      • optional()
      • pair()
      • poly()
      • poly_constrained()
      • product()
      • record()
      • record_with_name()
      • set_()
      • string()
      • uint16()
      • uint32()
      • uint64()
      • uint8()
      • union()
      • unit()
      • use()
      • var()
      • variable()
      • void()
      • wrap()
      • wrap_with_name()
  • Module contents
• hydra.overlay.python.lib package
  • Submodules
    • hydra.overlay.python.lib.chars module
      • is_alpha_num()
      • is_lower()
      • is_space()
      • is_upper()
      • to_lower()
      • to_upper()
    • hydra.overlay.python.lib.effects module
      • apply()
      • bind()
      • compose()
      • fold_list()
      • map()
      • map_list()
      • map_optional()
      • pure()
    • hydra.overlay.python.lib.eithers module
      • bimap()
      • bind()
      • either()
      • fold_list()
      • from_left()
      • from_right()
      • is_left()
      • is_right()
      • left()
      • lefts()
      • map()
      • map_left()
      • map_list()
      • map_optional()
      • map_right()
      • map_set()
      • partition()
      • right()
      • rights()
    • hydra.overlay.python.lib.equality module
      • equal()
    • hydra.overlay.python.lib.files module
      • append_file()
      • copy()
      • create_directory()
      • create_symlink()
      • exists()
      • list_directory()
      • read_file()
      • read_symlink()
      • remove_directory()
      • remove_file()
      • rename()
      • status()
      • write_file()
    • hydra.overlay.python.lib.functions module
      • absurd()
      • identity()
    • hydra.overlay.python.lib.hashing module
      • sha256()
      • sha256_hex()
    • hydra.overlay.python.lib.lists module
      • apply()
      • at()
      • bind()
      • concat()
      • concat2()
      • cons()
      • distinct()
      • drop()
      • drop_while()
      • filter()
      • find()
      • foldl()
      • foldr()
      • group()
      • head()
      • init()
      • intersperse()
      • is_empty()
      • join()
      • last()
      • length()
      • map()
      • member()
      • partition()
      • replicate()
      • reverse()
      • singleton()
      • sort()
      • sort_by()
      • span()
      • tail()
      • take()
      • transpose()
      • uncons()
      • zip()
      • zip_with()
    • hydra.overlay.python.lib.literals module
      • base64_to_binary()
      • bigint_to_decimal()
      • bigint_to_int16()
      • bigint_to_int32()
      • bigint_to_int64()
      • bigint_to_int8()
      • bigint_to_uint16()
      • bigint_to_uint32()
      • bigint_to_uint64()
      • bigint_to_uint8()
      • binary_to_base64()
      • binary_to_bytes()
      • decimal_to_bigint()
      • decimal_to_float32()
      • decimal_to_float64()
      • float32_to_decimal()
      • float32_to_float64()
      • float64_to_decimal()
      • float64_to_float32()
      • int16_to_bigint()
      • int32_to_bigint()
      • int64_to_bigint()
      • int8_to_bigint()
      • parse_bigint()
      • parse_boolean()
      • parse_decimal()
      • parse_float32()
      • parse_float64()
      • parse_int16()
      • parse_int32()
      • parse_int64()
      • parse_int8()
      • parse_string()
      • parse_uint16()
      • parse_uint32()
      • parse_uint64()
      • parse_uint8()
      • print_bigint()
      • print_boolean()
      • print_decimal()
      • print_float32()
      • print_float64()
      • print_int16()
      • print_int32()
      • print_int64()
      • print_int8()
      • print_string()
      • print_uint16()
      • print_uint32()
      • print_uint64()
      • print_uint8()
      • uint16_to_bigint()
      • uint32_to_bigint()
      • uint64_to_bigint()
      • uint8_to_bigint()
    • hydra.overlay.python.lib.logic module
      • and_()
      • if_else()
      • not_()
      • or_()
    • hydra.overlay.python.lib.maps module
      • alter()
      • bimap()
      • delete()
      • elems()
      • empty()
      • filter()
      • filter_with_key()
      • find_with_default()
      • from_list()
      • insert()
      • is_empty()
      • keys()
      • lookup()
      • map()
      • map_keys()
      • member()
      • singleton()
      • size()
      • to_list()
      • union()
    • hydra.overlay.python.lib.math module
      • abs()
      • abs_()
      • acos()
      • acosh()
      • add()
      • add_float64()
      • asin()
      • asinh()
      • atan()
      • atan2()
      • atanh()
      • ceiling()
      • cos()
      • cosh()
      • div()
      • divide()
      • e()
      • even()
      • exp()
      • floor()
      • log()
      • log_base()
      • max()
      • max_()
      • maybe_pred()
      • maybe_succ()
      • min()
      • min_()
      • mod()
      • mul()
      • mul_float64()
      • negate()
      • negate_float64()
      • odd()
      • pi()
      • pow()
      • pow_()
      • range_()
      • rem()
      • round()
      • round_()
      • round_float32()
      • round_float64()
      • signum()
      • sin()
      • sinh()
      • sqrt()
      • sub()
      • sub_float64()
      • tan()
      • tanh()
      • truncate()
    • hydra.overlay.python.lib.optionals module
      • apply()
      • bind()
      • compose()
      • given()
      • givens()
      • is_given()
      • is_none()
      • map()
      • map_optional()
      • match()
      • to_list()
      • with_default()
    • hydra.overlay.python.lib.ordering module
      • compare()
      • gt()
      • gte()
      • lt()
      • lte()
      • max()
      • min()
    • hydra.overlay.python.lib.pairs module
      • bimap()
      • first()
      • pair()
      • second()
    • hydra.overlay.python.lib.regex module
      • find()
      • find_all()
      • matches()
      • replace()
      • replace_all()
      • split()
    • hydra.overlay.python.lib.sets module
      • delete()
      • difference()
      • empty()
      • filter()
      • from_list()
      • insert()
      • intersection()
      • is_empty()
      • map()
      • member()
      • singleton()
      • size()
      • to_list()
      • union()
      • unions()
    • hydra.overlay.python.lib.strings module
      • char_at()
      • concat()
      • concat2()
      • from_list()
      • is_empty()
      • join()
      • length()
      • split_on()
      • to_list()
      • to_lower()
      • to_upper()
      • words()
    • hydra.overlay.python.lib.system module
      • execute()
      • exit()
      • get_environment()
      • get_environment_variable()
      • get_time()
      • get_working_directory()
      • read_stdin()
      • write_stderr()
      • write_stdout()
    • hydra.overlay.python.lib.text module
      • decode_utf8()
      • encode_utf8()
  • Module contents
• hydra.overlay.python.sources package
  • Submodules
    • hydra.overlay.python.sources.libraries module
      • fun()
      • register_chars_primitives()
      • register_default_fallback_primitives()
      • register_effects_primitives()
      • register_eithers_primitives()
      • register_equality_primitives()
      • register_files_primitives()
      • register_functions_primitives()
      • register_hashing_primitives()
      • register_lists_primitives()
      • register_literals_primitives()
      • register_logic_primitives()
      • register_maps_primitives()
      • register_math_primitives()
      • register_optionals_primitives()
      • register_ordering_primitives()
      • register_pairs_primitives()
      • register_regex_primitives()
      • register_sets_primitives()
      • register_strings_primitives()
      • register_system_primitives()
      • register_text_primitives()
      • standard_library()
      • unsupported_effect_primitive()
  • Module contents
• hydra.overlay.python.util package
  • Submodules
    • hydra.overlay.python.util.cons_list module
      • ConsList
    • hydra.overlay.python.util.lazy module
      • Lazy
    • hydra.overlay.python.util.persistent_map module
      • PersistentMap
    • hydra.overlay.python.util.persistent_set module
      • PersistentSet
  • Module contents
    • ConsList
      • ConsList.concat()
      • ConsList.cons()
      • ConsList.drop()
      • ConsList.empty()
      • ConsList.filter()
      • ConsList.foldl()
      • ConsList.foldr()
      • ConsList.from_iterable()
      • ConsList.head
      • ConsList.init()
      • ConsList.is_empty()
      • ConsList.last()
      • ConsList.map()
      • ConsList.of()
      • ConsList.reverse()
      • ConsList.singleton()
      • ConsList.tail
      • ConsList.take()
    • Lazy
      • Lazy.get()
    • PersistentMap
      • PersistentMap.alter()
      • PersistentMap.bimap()
      • PersistentMap.contains_key()
      • PersistentMap.delete()
      • PersistentMap.empty()
      • PersistentMap.filter()
      • PersistentMap.filter_with_key()
      • PersistentMap.fold()
      • PersistentMap.from_mapping()
      • PersistentMap.from_pairs()
      • PersistentMap.insert()
      • PersistentMap.is_empty()
      • PersistentMap.items()
      • PersistentMap.keys()
      • PersistentMap.keys_list()
      • PersistentMap.lookup()
      • PersistentMap.map_keys()
      • PersistentMap.map_values()
      • PersistentMap.of_entries()
      • PersistentMap.singleton()
      • PersistentMap.to_list()
      • PersistentMap.union()
      • PersistentMap.values()
      • PersistentMap.values_list()
    • PersistentSet
      • PersistentSet.delete()
      • PersistentSet.difference()
      • PersistentSet.empty()
      • PersistentSet.filter()
      • PersistentSet.from_iterable()
      • PersistentSet.insert()
      • PersistentSet.intersection()
      • PersistentSet.is_empty()
      • PersistentSet.map()
      • PersistentSet.member()
      • PersistentSet.of()
      • PersistentSet.singleton()
      • PersistentSet.to_list()
      • PersistentSet.union()
      • PersistentSet.unions()

Submodules

• hydra.overlay.python.tools module
  • primitive()

Module contents