pyfect-dev 0.1.0__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- pyfect/__init__.py +729 -0
- pyfect/_all.py +242 -0
- pyfect/_background.py +28 -0
- pyfect/_binary_codecs.py +124 -0
- pyfect/_cached.py +165 -0
- pyfect/_catch.py +128 -0
- pyfect/_catch_reason.py +574 -0
- pyfect/_concurrency.py +291 -0
- pyfect/_context_effects.py +163 -0
- pyfect/_context_managers.py +76 -0
- pyfect/_core.py +368 -0
- pyfect/_digits.py +71 -0
- pyfect/_effect_args.py +46 -0
- pyfect/_effect_base.py +71 -0
- pyfect/_effect_concurrency.py +133 -0
- pyfect/_effect_eager.py +103 -0
- pyfect/_effect_errors.py +344 -0
- pyfect/_effect_folding.py +110 -0
- pyfect/_effect_hash.py +140 -0
- pyfect/_effect_logging.py +57 -0
- pyfect/_effect_metrics.py +102 -0
- pyfect/_effect_resources.py +179 -0
- pyfect/_effect_services.py +25 -0
- pyfect/_effect_timing.py +199 -0
- pyfect/_effect_tracing.py +99 -0
- pyfect/_equal.py +195 -0
- pyfect/_extras.py +43 -0
- pyfect/_fiber.py +969 -0
- pyfect/_fiber_all.py +134 -0
- pyfect/_fiber_collections.py +106 -0
- pyfect/_fn.py +706 -0
- pyfect/_hamt.py +174 -0
- pyfect/_interrupt_reason.py +33 -0
- pyfect/_isaac.py +149 -0
- pyfect/_iterables.py +231 -0
- pyfect/_js.py +263 -0
- pyfect/_js_date.py +87 -0
- pyfect/_json_text.py +286 -0
- pyfect/_json_value.py +9 -0
- pyfect/_layer_core.py +403 -0
- pyfect/_layer_for_life.py +33 -0
- pyfect/_layer_tracing.py +70 -0
- pyfect/_locked_ref.py +147 -0
- pyfect/_loop_thread.py +152 -0
- pyfect/_metric_ref.py +29 -0
- pyfect/_one_or_many.py +14 -0
- pyfect/_os_wait.py +118 -0
- pyfect/_path_posix.py +129 -0
- pyfect/_primitives.py +434 -0
- pyfect/_public.py +36 -0
- pyfect/_reasons.py +64 -0
- pyfect/_released.py +67 -0
- pyfect/_root.py +87 -0
- pyfect/_round_robin.py +73 -0
- pyfect/_some.py +17 -0
- pyfect/_stack.py +52 -0
- pyfect/_stack_frame.py +114 -0
- pyfect/_string_hash.py +35 -0
- pyfect/_subscriber_queue.py +47 -0
- pyfect/_tags.py +14 -0
- pyfect/_tracer_ref.py +21 -0
- pyfect/_tx_ops.py +77 -0
- pyfect/_unsubscripted.py +23 -0
- pyfect/_url.py +54 -0
- pyfect/_waiters.py +127 -0
- pyfect/_wake_tracking.py +98 -0
- pyfect/_wire_codec.py +123 -0
- pyfect/ai/__init__.py +73 -0
- pyfect/ai/_approvals.py +249 -0
- pyfect/ai/_decision_answers.py +185 -0
- pyfect/ai/_generated_client.py +298 -0
- pyfect/ai/_generated_support.py +84 -0
- pyfect/ai/_mcp/__init__.py +1 -0
- pyfect/ai/_mcp/batch.py +68 -0
- pyfect/ai/_mcp/client_transport.py +412 -0
- pyfect/ai/_mcp/client_wire.py +284 -0
- pyfect/ai/_mcp/core.py +490 -0
- pyfect/ai/_mcp/dispatch.py +1048 -0
- pyfect/ai/_mcp/http.py +462 -0
- pyfect/ai/_mcp/http_admission.py +269 -0
- pyfect/ai/_mcp/http_status.py +27 -0
- pyfect/ai/_mcp/input_wire.py +226 -0
- pyfect/ai/_mcp/log_levels.py +55 -0
- pyfect/ai/_mcp/param_headers.py +63 -0
- pyfect/ai/_mcp/projection.py +248 -0
- pyfect/ai/_mcp/register.py +683 -0
- pyfect/ai/_mcp/reverse_policy.py +155 -0
- pyfect/ai/_mcp/routing_header.py +24 -0
- pyfect/ai/_mcp/sessions.py +114 -0
- pyfect/ai/_mcp/stdio.py +110 -0
- pyfect/ai/_mcp/subscriptions.py +134 -0
- pyfect/ai/_mcp/tool_schema.py +35 -0
- pyfect/ai/_noul_answers.py +64 -0
- pyfect/ai/_openai_all_of.py +137 -0
- pyfect/ai/_openai_errors.py +233 -0
- pyfect/ai/_provider.py +439 -0
- pyfect/ai/_provider_tools.py +129 -0
- pyfect/ai/_stream_resolution.py +231 -0
- pyfect/ai/_structured_output_checks.py +138 -0
- pyfect/ai/_structured_output_codec.py +229 -0
- pyfect/ai/_structured_output_json.py +109 -0
- pyfect/ai/_tool_call_ids.py +80 -0
- pyfect/ai/ai_error.py +785 -0
- pyfect/ai/anthropic/__init__.py +28 -0
- pyfect/ai/anthropic/_errors.py +164 -0
- pyfect/ai/anthropic/_prompt.py +375 -0
- pyfect/ai/anthropic/_response.py +443 -0
- pyfect/ai/anthropic/_schema.py +206 -0
- pyfect/ai/anthropic/_stream.py +377 -0
- pyfect/ai/anthropic/_tools.py +248 -0
- pyfect/ai/anthropic/client.py +289 -0
- pyfect/ai/anthropic/config.py +32 -0
- pyfect/ai/anthropic/error.py +27 -0
- pyfect/ai/anthropic/language_model.py +366 -0
- pyfect/ai/anthropic/telemetry.py +51 -0
- pyfect/ai/anthropic/tool.py +570 -0
- pyfect/ai/anthropic_structured_output.py +138 -0
- pyfect/ai/chat.py +548 -0
- pyfect/ai/cloudflare/__init__.py +15 -0
- pyfect/ai/cloudflare/_errors.py +108 -0
- pyfect/ai/cloudflare/client.py +174 -0
- pyfect/ai/cloudflare/decision_model.py +117 -0
- pyfect/ai/cloudflare/schema.py +144 -0
- pyfect/ai/decision.py +290 -0
- pyfect/ai/decision_model.py +283 -0
- pyfect/ai/embedding_model.py +177 -0
- pyfect/ai/id_generator.py +79 -0
- pyfect/ai/language_model.py +1077 -0
- pyfect/ai/mcp_client.py +682 -0
- pyfect/ai/mcp_client_error.py +223 -0
- pyfect/ai/mcp_protocol.py +205 -0
- pyfect/ai/mcp_schema.py +1300 -0
- pyfect/ai/mcp_server.py +404 -0
- pyfect/ai/model.py +56 -0
- pyfect/ai/openai/__init__.py +49 -0
- pyfect/ai/openai/_errors.py +89 -0
- pyfect/ai/openai/_prompt.py +527 -0
- pyfect/ai/openai/_requests.py +34 -0
- pyfect/ai/openai/_response.py +569 -0
- pyfect/ai/openai/_schema.py +769 -0
- pyfect/ai/openai/_stream.py +771 -0
- pyfect/ai/openai/_tools.py +128 -0
- pyfect/ai/openai/_web_socket.py +295 -0
- pyfect/ai/openai/client.py +296 -0
- pyfect/ai/openai/client_generated.py +123 -0
- pyfect/ai/openai/config.py +34 -0
- pyfect/ai/openai/decision_model.py +177 -0
- pyfect/ai/openai/embedding_model.py +116 -0
- pyfect/ai/openai/error.py +8 -0
- pyfect/ai/openai/generated/__init__.py +7213 -0
- pyfect/ai/openai/generated/_recursive.py +18 -0
- pyfect/ai/openai/generated/_schemas_0.py +1015 -0
- pyfect/ai/openai/generated/_schemas_1.py +1016 -0
- pyfect/ai/openai/generated/_schemas_2.py +1017 -0
- pyfect/ai/openai/generated/_schemas_3.py +615 -0
- pyfect/ai/openai/generated/client.py +5298 -0
- pyfect/ai/openai/generated/types.py +8123 -0
- pyfect/ai/openai/language_model.py +304 -0
- pyfect/ai/openai/telemetry.py +19 -0
- pyfect/ai/openai/tool.py +391 -0
- pyfect/ai/openai_compat/__init__.py +25 -0
- pyfect/ai/openai_compat/_prompt.py +191 -0
- pyfect/ai/openai_compat/_request.py +153 -0
- pyfect/ai/openai_compat/_response.py +407 -0
- pyfect/ai/openai_compat/_schema.py +97 -0
- pyfect/ai/openai_compat/client.py +234 -0
- pyfect/ai/openai_compat/config.py +32 -0
- pyfect/ai/openai_compat/embedding_model.py +139 -0
- pyfect/ai/openai_compat/error.py +7 -0
- pyfect/ai/openai_compat/language_model.py +245 -0
- pyfect/ai/openai_compat/telemetry.py +51 -0
- pyfect/ai/openai_structured_output.py +118 -0
- pyfect/ai/openrouter/__init__.py +36 -0
- pyfect/ai/openrouter/_errors.py +186 -0
- pyfect/ai/openrouter/_prompt.py +272 -0
- pyfect/ai/openrouter/_response.py +226 -0
- pyfect/ai/openrouter/_stream.py +320 -0
- pyfect/ai/openrouter/client.py +283 -0
- pyfect/ai/openrouter/config.py +36 -0
- pyfect/ai/openrouter/decision_model.py +161 -0
- pyfect/ai/openrouter/error.py +23 -0
- pyfect/ai/openrouter/generated/__init__.py +3029 -0
- pyfect/ai/openrouter/generated/_recursive.py +15 -0
- pyfect/ai/openrouter/generated/_schemas_0.py +1015 -0
- pyfect/ai/openrouter/generated/_schemas_1.py +522 -0
- pyfect/ai/openrouter/generated/client.py +1445 -0
- pyfect/ai/openrouter/generated/types.py +4769 -0
- pyfect/ai/openrouter/language_model.py +345 -0
- pyfect/ai/openrouter/schema.py +165 -0
- pyfect/ai/prompt.py +664 -0
- pyfect/ai/response.py +768 -0
- pyfect/ai/response_id_tracker.py +82 -0
- pyfect/ai/telemetry.py +126 -0
- pyfect/ai/tokenizer.py +61 -0
- pyfect/ai/tool.py +536 -0
- pyfect/ai/toolkit.py +490 -0
- pyfect/ai/typesafe/__init__.py +17 -0
- pyfect/ai/typesafe/_errors.py +120 -0
- pyfect/ai/typesafe/client.py +146 -0
- pyfect/ai/typesafe/config.py +34 -0
- pyfect/ai/typesafe/decision_model.py +90 -0
- pyfect/ai/typesafe/schema.py +140 -0
- pyfect/batching/__init__.py +58 -0
- pyfect/batching/_api.py +71 -0
- pyfect/batching/_engine.py +229 -0
- pyfect/batching/_from_effect.py +76 -0
- pyfect/batching/_persisted.py +98 -0
- pyfect/batching/_request.py +133 -0
- pyfect/batching/_resolver.py +477 -0
- pyfect/batching/_with_cache.py +90 -0
- pyfect/big_decimal.py +500 -0
- pyfect/brand.py +114 -0
- pyfect/byte_size.py +354 -0
- pyfect/cache/__init__.py +29 -0
- pyfect/cache/_cache.py +426 -0
- pyfect/cache/_expiry.py +69 -0
- pyfect/cache/_scoped_cache.py +546 -0
- pyfect/case.py +174 -0
- pyfect/cause.py +462 -0
- pyfect/channel/__init__.py +155 -0
- pyfect/channel/_base.py +92 -0
- pyfect/channel/_catch.py +158 -0
- pyfect/channel/_catch_reason.py +572 -0
- pyfect/channel/_channel.py +158 -0
- pyfect/channel/_combinators.py +220 -0
- pyfect/channel/_concurrency_methods.py +217 -0
- pyfect/channel/_concurrent_map.py +118 -0
- pyfect/channel/_constructors.py +349 -0
- pyfect/channel/_context.py +232 -0
- pyfect/channel/_error_methods.py +336 -0
- pyfect/channel/_errors.py +180 -0
- pyfect/channel/_filters.py +225 -0
- pyfect/channel/_lifecycle.py +71 -0
- pyfect/channel/_lifecycle_methods.py +206 -0
- pyfect/channel/_loop.py +100 -0
- pyfect/channel/_merge.py +246 -0
- pyfect/channel/_repeat.py +154 -0
- pyfect/channel/_run.py +149 -0
- pyfect/channel/_run_methods.py +341 -0
- pyfect/channel/_sinks.py +88 -0
- pyfect/channel/_sources.py +238 -0
- pyfect/channel/_text.py +176 -0
- pyfect/channel/_transform_methods.py +415 -0
- pyfect/channel/_upstream.py +67 -0
- pyfect/channel_schema.py +131 -0
- pyfect/cli/__init__.py +79 -0
- pyfect/cli/_ansi.py +82 -0
- pyfect/cli/_command.py +469 -0
- pyfect/cli/_config.py +164 -0
- pyfect/cli/_environment.py +10 -0
- pyfect/cli/_help.py +195 -0
- pyfect/cli/_lexer.py +81 -0
- pyfect/cli/_parser.py +465 -0
- pyfect/cli/_settings.py +85 -0
- pyfect/cli/_suggest.py +33 -0
- pyfect/cli/_width.py +134 -0
- pyfect/cli/_wizard.py +317 -0
- pyfect/cli/argument.py +212 -0
- pyfect/cli/cli_config.py +40 -0
- pyfect/cli/cli_error.py +242 -0
- pyfect/cli/cli_output.py +305 -0
- pyfect/cli/command.py +440 -0
- pyfect/cli/completions/__init__.py +50 -0
- pyfect/cli/completions/_completer.ps1 +190 -0
- pyfect/cli/completions/_descriptor.py +182 -0
- pyfect/cli/completions/bash.py +300 -0
- pyfect/cli/completions/fish.py +164 -0
- pyfect/cli/completions/powershell.py +156 -0
- pyfect/cli/completions/zsh.py +189 -0
- pyfect/cli/flag.py +246 -0
- pyfect/cli/global_flag.py +99 -0
- pyfect/cli/help_doc.py +63 -0
- pyfect/cli/param.py +789 -0
- pyfect/cli/primitive.py +308 -0
- pyfect/cli/prompt/__init__.py +75 -0
- pyfect/cli/prompt/_auto_complete.py +205 -0
- pyfect/cli/prompt/_choices.py +104 -0
- pyfect/cli/prompt/_confirm.py +195 -0
- pyfect/cli/prompt/_core.py +512 -0
- pyfect/cli/prompt/_date.py +173 -0
- pyfect/cli/prompt/_date_parts.py +387 -0
- pyfect/cli/prompt/_file.py +372 -0
- pyfect/cli/prompt/_multi_select.py +204 -0
- pyfect/cli/prompt/_number.py +257 -0
- pyfect/cli/prompt/_select.py +117 -0
- pyfect/cli/prompt/_text.py +239 -0
- pyfect/cli/terminal_capabilities.py +118 -0
- pyfect/clock.py +150 -0
- pyfect/cluster/__init__.py +155 -0
- pyfect/cluster/_cluster_abandon.py +36 -0
- pyfect/cluster/_cluster_layer.py +122 -0
- pyfect/cluster/_entity_activation.py +16 -0
- pyfect/cluster/_entity_manager/__init__.py +22 -0
- pyfect/cluster/_entity_manager/_activation.py +540 -0
- pyfect/cluster/_entity_manager/_core.py +186 -0
- pyfect/cluster/_entity_manager/_decode.py +60 -0
- pyfect/cluster/_entity_manager/_manager.py +423 -0
- pyfect/cluster/_entity_manager/_state.py +113 -0
- pyfect/cluster/_entity_reaper.py +94 -0
- pyfect/cluster/_hash.py +13 -0
- pyfect/cluster/_interruptors.py +88 -0
- pyfect/cluster/_resource_map.py +179 -0
- pyfect/cluster/_resource_ref.py +266 -0
- pyfect/cluster/_shard_lock.py +14 -0
- pyfect/cluster/cluster_cron.py +230 -0
- pyfect/cluster/cluster_error.py +81 -0
- pyfect/cluster/cluster_http.py +210 -0
- pyfect/cluster/cluster_metrics.py +54 -0
- pyfect/cluster/cluster_schema.py +137 -0
- pyfect/cluster/cluster_socket.py +197 -0
- pyfect/cluster/cluster_workflow_engine/__init__.py +24 -0
- pyfect/cluster/cluster_workflow_engine/_engine.py +1099 -0
- pyfect/cluster/cluster_workflow_engine/_entities.py +298 -0
- pyfect/cluster/deliver_at.py +31 -0
- pyfect/cluster/entity/__init__.py +39 -0
- pyfect/cluster/entity/_entity.py +332 -0
- pyfect/cluster/entity/_handlers.py +168 -0
- pyfect/cluster/entity/_keep_alive.py +74 -0
- pyfect/cluster/entity/_queue.py +103 -0
- pyfect/cluster/entity/_request.py +34 -0
- pyfect/cluster/entity/_services.py +23 -0
- pyfect/cluster/entity/_test_client.py +237 -0
- pyfect/cluster/entity_address.py +25 -0
- pyfect/cluster/entity_id.py +20 -0
- pyfect/cluster/entity_proxy.py +161 -0
- pyfect/cluster/entity_proxy_server.py +103 -0
- pyfect/cluster/entity_resource.py +122 -0
- pyfect/cluster/entity_type.py +20 -0
- pyfect/cluster/envelope.py +307 -0
- pyfect/cluster/http_runner.py +254 -0
- pyfect/cluster/k8s_http_client.py +281 -0
- pyfect/cluster/k8s_types.py +1394 -0
- pyfect/cluster/machine_id.py +21 -0
- pyfect/cluster/message.py +219 -0
- pyfect/cluster/message_storage/__init__.py +67 -0
- pyfect/cluster/message_storage/_encoded.py +393 -0
- pyfect/cluster/message_storage/_memory.py +386 -0
- pyfect/cluster/message_storage/_noop.py +109 -0
- pyfect/cluster/message_storage/_service.py +388 -0
- pyfect/cluster/reply.py +236 -0
- pyfect/cluster/runner.py +32 -0
- pyfect/cluster/runner_address.py +23 -0
- pyfect/cluster/runner_health.py +93 -0
- pyfect/cluster/runner_server.py +286 -0
- pyfect/cluster/runner_storage.py +212 -0
- pyfect/cluster/runners/__init__.py +55 -0
- pyfect/cluster/runners/_local.py +460 -0
- pyfect/cluster/runners/_noop.py +57 -0
- pyfect/cluster/runners/_rpc.py +290 -0
- pyfect/cluster/runners/_service.py +113 -0
- pyfect/cluster/shard_id.py +39 -0
- pyfect/cluster/sharding/__init__.py +12 -0
- pyfect/cluster/sharding/_acquisition.py +490 -0
- pyfect/cluster/sharding/_clients.py +271 -0
- pyfect/cluster/sharding/_make.py +388 -0
- pyfect/cluster/sharding/_routing.py +296 -0
- pyfect/cluster/sharding/_runners_sync.py +198 -0
- pyfect/cluster/sharding/_service.py +91 -0
- pyfect/cluster/sharding/_singletons.py +183 -0
- pyfect/cluster/sharding/_state.py +296 -0
- pyfect/cluster/sharding/_storage_loop.py +421 -0
- pyfect/cluster/sharding_config.py +230 -0
- pyfect/cluster/sharding_registration_event.py +28 -0
- pyfect/cluster/single_runner.py +49 -0
- pyfect/cluster/singleton.py +36 -0
- pyfect/cluster/singleton_address.py +20 -0
- pyfect/cluster/snowflake.py +133 -0
- pyfect/cluster/socket_runner.py +67 -0
- pyfect/cluster/sql_message_storage.py +1001 -0
- pyfect/cluster/sql_runner_storage.py +841 -0
- pyfect/cluster/test_runner.py +23 -0
- pyfect/config/__init__.py +93 -0
- pyfect/config/_all.py +96 -0
- pyfect/config/_collections.py +291 -0
- pyfect/config/_config.py +261 -0
- pyfect/config/_constructors.py +106 -0
- pyfect/config/_error.py +27 -0
- pyfect/config/_leaf.py +92 -0
- pyfect/config/_scalars.py +193 -0
- pyfect/config/_schema.py +340 -0
- pyfect/config_provider/__init__.py +60 -0
- pyfect/config_provider/_dir.py +84 -0
- pyfect/config_provider/_dotenv.py +127 -0
- pyfect/config_provider/_env.py +79 -0
- pyfect/config_provider/_layers.py +80 -0
- pyfect/config_provider/_node.py +90 -0
- pyfect/config_provider/_provider.py +118 -0
- pyfect/config_provider/_unknown.py +62 -0
- pyfect/console/__init__.py +63 -0
- pyfect/console/_effects.py +134 -0
- pyfect/console/_live.py +156 -0
- pyfect/console/_service.py +49 -0
- pyfect/console/_table.py +90 -0
- pyfect/context.py +414 -0
- pyfect/cron/__init__.py +30 -0
- pyfect/cron/_model.py +183 -0
- pyfect/cron/_search.py +268 -0
- pyfect/cron/_text.py +202 -0
- pyfect/cron/_wall.py +42 -0
- pyfect/crypto.py +257 -0
- pyfect/date_time/__init__.py +77 -0
- pyfect/date_time/_calendar.py +209 -0
- pyfect/date_time/_current.py +118 -0
- pyfect/date_time/_epoch.py +22 -0
- pyfect/date_time/_iso.py +80 -0
- pyfect/date_time/_zones.py +135 -0
- pyfect/date_time/intl.py +144 -0
- pyfect/deferred.py +145 -0
- pyfect/devtools/__init__.py +24 -0
- pyfect/devtools/client.py +323 -0
- pyfect/devtools/layers.py +32 -0
- pyfect/devtools/schema.py +301 -0
- pyfect/devtools/server.py +72 -0
- pyfect/duration.py +295 -0
- pyfect/effect.py +565 -0
- pyfect/effectable.py +37 -0
- pyfect/encoding/__init__.py +62 -0
- pyfect/encoding/_archive.py +197 -0
- pyfect/encoding/_json_array_scanner.py +477 -0
- pyfect/encoding/base64.py +23 -0
- pyfect/encoding/base64_url.py +19 -0
- pyfect/encoding/encoding_error.py +17 -0
- pyfect/encoding/hex.py +28 -0
- pyfect/encoding/ini.py +188 -0
- pyfect/encoding/json_array.py +246 -0
- pyfect/encoding/ndjson.py +461 -0
- pyfect/encoding/schema_binary/__init__.py +257 -0
- pyfect/encoding/schema_binary/_channels.py +173 -0
- pyfect/encoding/schema_binary/_compile.py +584 -0
- pyfect/encoding/schema_binary/_decode.py +848 -0
- pyfect/encoding/schema_binary/_dictionary.py +90 -0
- pyfect/encoding/schema_binary/_encode.py +838 -0
- pyfect/encoding/schema_binary/_fingerprint.py +168 -0
- pyfect/encoding/schema_binary/_layout.py +350 -0
- pyfect/encoding/schema_binary/_literals.py +47 -0
- pyfect/encoding/schema_binary/_parser.py +163 -0
- pyfect/encoding/schema_binary/_reader.py +148 -0
- pyfect/encoding/schema_binary/_target.py +310 -0
- pyfect/encoding/schema_binary/_values.py +133 -0
- pyfect/encoding/schema_binary/_wire.py +253 -0
- pyfect/encoding/sse.py +476 -0
- pyfect/encoding/tar/__init__.py +396 -0
- pyfect/encoding/tar/_decoder.py +220 -0
- pyfect/encoding/tar/_encoder.py +83 -0
- pyfect/encoding/tar/_header.py +494 -0
- pyfect/encoding/tar/_model.py +82 -0
- pyfect/encoding/toml.py +375 -0
- pyfect/encoding/xml/__init__.py +222 -0
- pyfect/encoding/xml/_chars.py +119 -0
- pyfect/encoding/xml/_collector.py +106 -0
- pyfect/encoding/xml/_inputs.py +126 -0
- pyfect/encoding/xml/_model.py +114 -0
- pyfect/encoding/xml/_parser.py +694 -0
- pyfect/encoding/xml/_scanner.py +180 -0
- pyfect/encoding/xml/_writer.py +238 -0
- pyfect/encoding/yaml.py +739 -0
- pyfect/encoding/zip/__init__.py +392 -0
- pyfect/encoding/zip/_decoder.py +378 -0
- pyfect/encoding/zip/_format.py +122 -0
- pyfect/encoding/zip/_inflate.py +65 -0
- pyfect/encoding/zip/_model.py +86 -0
- pyfect/encoding/zip/_writer.py +311 -0
- pyfect/error_reporter.py +240 -0
- pyfect/errors.py +321 -0
- pyfect/eventlog/__init__.py +77 -0
- pyfect/eventlog/_conflicts.py +94 -0
- pyfect/eventlog/_crypto.py +64 -0
- pyfect/eventlog/_identity.py +26 -0
- pyfect/eventlog/_identity_derivation.py +79 -0
- pyfect/eventlog/_transferable_bytes.py +55 -0
- pyfect/eventlog/_uuid.py +33 -0
- pyfect/eventlog/event.py +115 -0
- pyfect/eventlog/event_group.py +55 -0
- pyfect/eventlog/event_journal.py +630 -0
- pyfect/eventlog/event_log.py +1039 -0
- pyfect/eventlog/event_log_encryption.py +219 -0
- pyfect/eventlog/event_log_message.py +357 -0
- pyfect/eventlog/event_log_remote.py +465 -0
- pyfect/eventlog/event_log_server.py +442 -0
- pyfect/eventlog/event_log_server_encrypted.py +322 -0
- pyfect/eventlog/event_log_server_unencrypted.py +814 -0
- pyfect/eventlog/event_log_session_auth.py +250 -0
- pyfect/eventlog/event_row.py +423 -0
- pyfect/eventlog/sql_event_journal.py +692 -0
- pyfect/eventlog/sql_event_log_server_encrypted.py +440 -0
- pyfect/eventlog/sql_event_log_server_unencrypted.py +568 -0
- pyfect/execution_plan/__init__.py +42 -0
- pyfect/execution_plan/_events.py +128 -0
- pyfect/execution_plan/_model.py +108 -0
- pyfect/execution_plan/_run.py +176 -0
- pyfect/exit.py +205 -0
- pyfect/fiber_handle.py +305 -0
- pyfect/fiber_map.py +350 -0
- pyfect/fiber_set.py +232 -0
- pyfect/file_system/__init__.py +69 -0
- pyfect/file_system/_copy.py +116 -0
- pyfect/file_system/_errors.py +32 -0
- pyfect/file_system/_file.py +177 -0
- pyfect/file_system/_live.py +351 -0
- pyfect/file_system/_model.py +72 -0
- pyfect/file_system/_noop.py +189 -0
- pyfect/file_system/_service.py +336 -0
- pyfect/file_system/_stat.py +69 -0
- pyfect/file_system/_watch.py +107 -0
- pyfect/filters.py +245 -0
- pyfect/graph/__init__.py +101 -0
- pyfect/graph/_all_pairs.py +150 -0
- pyfect/graph/_combine.py +259 -0
- pyfect/graph/_compact.py +143 -0
- pyfect/graph/_components.py +200 -0
- pyfect/graph/_cycles.py +144 -0
- pyfect/graph/_enumerate.py +168 -0
- pyfect/graph/_errors.py +51 -0
- pyfect/graph/_flow.py +164 -0
- pyfect/graph/_forest.py +109 -0
- pyfect/graph/_graph.py +269 -0
- pyfect/graph/_lowlink.py +98 -0
- pyfect/graph/_matching.py +101 -0
- pyfect/graph/_mutate.py +211 -0
- pyfect/graph/_query.py +138 -0
- pyfect/graph/_records.py +119 -0
- pyfect/graph/_render.py +109 -0
- pyfect/graph/_shortest.py +274 -0
- pyfect/graph/_snapshot.py +50 -0
- pyfect/graph/_store.py +136 -0
- pyfect/graph/_traverse.py +289 -0
- pyfect/graph/_view.py +384 -0
- pyfect/graph/_walker.py +70 -0
- pyfect/graphql/__init__.py +87 -0
- pyfect/graphql/_codec.py +117 -0
- pyfect/graphql/_http.py +309 -0
- pyfect/graphql/_schemas.py +39 -0
- pyfect/graphql/_slices.py +110 -0
- pyfect/graphql/_template.py +111 -0
- pyfect/graphql/_types.py +115 -0
- pyfect/graphql/_ws.py +395 -0
- pyfect/graphql/_ws_messages.py +120 -0
- pyfect/graphql/client.py +428 -0
- pyfect/graphql/client_error.py +285 -0
- pyfect/graphql/group.py +142 -0
- pyfect/graphql/middleware.py +98 -0
- pyfect/graphql/operation.py +409 -0
- pyfect/graphql/protocol.py +119 -0
- pyfect/graphql/resolver.py +574 -0
- pyfect/graphql/template.py +61 -0
- pyfect/hash_map.py +317 -0
- pyfect/hash_ring.py +206 -0
- pyfect/hash_set.py +163 -0
- pyfect/http/__init__.py +125 -0
- pyfect/http/_asgi_listener.py +272 -0
- pyfect/http/_authority.py +63 -0
- pyfect/http/_brotli.py +27 -0
- pyfect/http/_compression.py +52 -0
- pyfect/http/_field.py +18 -0
- pyfect/http/_foreign_path.py +27 -0
- pyfect/http/_form_data.py +34 -0
- pyfect/http/_httpx_options.py +120 -0
- pyfect/http/_in_memory.py +76 -0
- pyfect/http/_request_state.py +59 -0
- pyfect/http/_vary.py +14 -0
- pyfect/http/abort.py +65 -0
- pyfect/http/asgi/__init__.py +59 -0
- pyfect/http/asgi/_app.py +155 -0
- pyfect/http/asgi/_http.py +201 -0
- pyfect/http/asgi/_mount.py +263 -0
- pyfect/http/asgi/_scope.py +86 -0
- pyfect/http/asgi/_serve.py +72 -0
- pyfect/http/asgi/_types.py +13 -0
- pyfect/http/asgi/_web_socket.py +325 -0
- pyfect/http/body.py +437 -0
- pyfect/http/client/__init__.py +111 -0
- pyfect/http/client/_circuit_breaker.py +113 -0
- pyfect/http/client/_cookie_jar.py +120 -0
- pyfect/http/client/_make.py +252 -0
- pyfect/http/client/_rate_limit.py +423 -0
- pyfect/http/client/_redirects.py +93 -0
- pyfect/http/client/_retry.py +115 -0
- pyfect/http/client/_service.py +497 -0
- pyfect/http/cookies.py +444 -0
- pyfect/http/error.py +188 -0
- pyfect/http/etag.py +96 -0
- pyfect/http/file_like.py +49 -0
- pyfect/http/find_my_way/__init__.py +10 -0
- pyfect/http/find_my_way/_nodes.py +186 -0
- pyfect/http/find_my_way/_paths.py +43 -0
- pyfect/http/find_my_way/_query_string.py +67 -0
- pyfect/http/find_my_way/_router.py +401 -0
- pyfect/http/headers.py +343 -0
- pyfect/http/http_effect.py +198 -0
- pyfect/http/httpx_client.py +291 -0
- pyfect/http/hypercorn_server.py +122 -0
- pyfect/http/incoming_message.py +140 -0
- pyfect/http/live_server/__init__.py +191 -0
- pyfect/http/live_server/_body.py +164 -0
- pyfect/http/live_server/_exchange.py +321 -0
- pyfect/http/live_server/_head.py +194 -0
- pyfect/http/live_server/_inbound.py +156 -0
- pyfect/http/live_server/_listener.py +211 -0
- pyfect/http/live_server/_serve.py +225 -0
- pyfect/http/live_server/_timers.py +20 -0
- pyfect/http/live_server/_upgrade.py +108 -0
- pyfect/http/live_server/_websocket.py +286 -0
- pyfect/http/live_server/_ws_frames.py +242 -0
- pyfect/http/method.py +30 -0
- pyfect/http/middleware/__init__.py +61 -0
- pyfect/http/middleware/_compression.py +156 -0
- pyfect/http/middleware/_cors.py +129 -0
- pyfect/http/middleware/_decompression.py +274 -0
- pyfect/http/middleware/_forwarded.py +113 -0
- pyfect/http/middleware/_logger.py +73 -0
- pyfect/http/middleware/_search_params.py +34 -0
- pyfect/http/middleware/_tracer.py +153 -0
- pyfect/http/middleware/_types.py +16 -0
- pyfect/http/mime/__init__.py +69 -0
- pyfect/http/mime/_types.py +361 -0
- pyfect/http/multipart.py +613 -0
- pyfect/http/multipart_parser/__init__.py +348 -0
- pyfect/http/multipart_parser/_content_type.py +109 -0
- pyfect/http/multipart_parser/_headers.py +206 -0
- pyfect/http/multipart_parser/_search.py +85 -0
- pyfect/http/origin.py +146 -0
- pyfect/http/platform.py +593 -0
- pyfect/http/prometheus.py +34 -0
- pyfect/http/request.py +384 -0
- pyfect/http/response.py +474 -0
- pyfect/http/router/__init__.py +82 -0
- pyfect/http/router/_api.py +462 -0
- pyfect/http/router/_in_memory.py +76 -0
- pyfect/http/router/_markers.py +47 -0
- pyfect/http/router/_middleware.py +181 -0
- pyfect/http/router/_middleware_stack.py +51 -0
- pyfect/http/router/_provided.py +31 -0
- pyfect/http/router/_route.py +114 -0
- pyfect/http/router/_router.py +308 -0
- pyfect/http/schema.py +276 -0
- pyfect/http/server.py +199 -0
- pyfect/http/server_error.py +261 -0
- pyfect/http/server_request.py +729 -0
- pyfect/http/server_respondable.py +77 -0
- pyfect/http/server_response.py +569 -0
- pyfect/http/static_server/__init__.py +257 -0
- pyfect/http/static_server/_conditional.py +72 -0
- pyfect/http/static_server/_mime.py +55 -0
- pyfect/http/static_server/_range.py +53 -0
- pyfect/http/status.py +51 -0
- pyfect/http/template.py +161 -0
- pyfect/http/trace_context.py +91 -0
- pyfect/http/url.py +442 -0
- pyfect/http/url_params.py +304 -0
- pyfect/http/uvicorn_server.py +119 -0
- pyfect/http/web.py +171 -0
- pyfect/http/web_handler.py +463 -0
- pyfect/http/wire.py +209 -0
- pyfect/http_api/__init__.py +83 -0
- pyfect/http_api/_assets/scalar.js +8 -0
- pyfect/http_api/_assets/swagger-ui.css +3 -0
- pyfect/http_api/_assets/swagger-ui.js +4 -0
- pyfect/http_api/_client_method.py +220 -0
- pyfect/http_api/_client_payload.py +144 -0
- pyfect/http_api/_client_response.py +377 -0
- pyfect/http_api/_handlers.py +282 -0
- pyfect/http_api/_html.py +38 -0
- pyfect/http_api/_media_type.py +6 -0
- pyfect/http_api/_openapi_responses.py +164 -0
- pyfect/http_api/_openapi_schemas.py +163 -0
- pyfect/http_api/_path.py +102 -0
- pyfect/http_api/_payload.py +260 -0
- pyfect/http_api/_response.py +363 -0
- pyfect/http_api/_security.py +174 -0
- pyfect/http_api/api.py +265 -0
- pyfect/http_api/builder.py +447 -0
- pyfect/http_api/client.py +474 -0
- pyfect/http_api/endpoint.py +969 -0
- pyfect/http_api/error.py +280 -0
- pyfect/http_api/group.py +215 -0
- pyfect/http_api/middleware.py +232 -0
- pyfect/http_api/openapi.py +396 -0
- pyfect/http_api/scalar.py +143 -0
- pyfect/http_api/schema.py +713 -0
- pyfect/http_api/security.py +91 -0
- pyfect/http_api/swagger.py +69 -0
- pyfect/http_api/test.py +105 -0
- pyfect/json_patch.py +255 -0
- pyfect/json_pointer.py +100 -0
- pyfect/json_schema/__init__.py +66 -0
- pyfect/json_schema/_api.py +96 -0
- pyfect/json_schema/_converter.py +258 -0
- pyfect/json_schema/_draft04.py +198 -0
- pyfect/json_schema/_draft07.py +203 -0
- pyfect/json_schema/_keywords.py +202 -0
- pyfect/json_schema/_model.py +201 -0
- pyfect/json_schema/_openapi.py +208 -0
- pyfect/latch.py +127 -0
- pyfect/layer.py +479 -0
- pyfect/layer_map.py +279 -0
- pyfect/layer_ref.py +208 -0
- pyfect/logger/__init__.py +91 -0
- pyfect/logger/_batched.py +49 -0
- pyfect/logger/_console.py +116 -0
- pyfect/logger/_file.py +31 -0
- pyfect/logger/_formats.py +104 -0
- pyfect/logger/_layer.py +50 -0
- pyfect/logger/_level.py +53 -0
- pyfect/logger/_log.py +142 -0
- pyfect/logger/_model.py +163 -0
- pyfect/logger/_refs.py +78 -0
- pyfect/logger/_stdlib.py +54 -0
- pyfect/logger/_text.py +263 -0
- pyfect/logger/_tracer.py +35 -0
- pyfect/managed_runtime.py +393 -0
- pyfect/metric/__init__.py +119 -0
- pyfect/metric/_boundaries.py +27 -0
- pyfect/metric/_kinds.py +417 -0
- pyfect/metric/_metric.py +302 -0
- pyfect/metric/_prometheus.py +150 -0
- pyfect/metric/_refs.py +78 -0
- pyfect/metric/_runtime.py +75 -0
- pyfect/metric/_snapshot.py +97 -0
- pyfect/metric/_state.py +74 -0
- pyfect/msgspec.py +98 -0
- pyfect/mutable_hash_map.py +140 -0
- pyfect/mutable_hash_set.py +95 -0
- pyfect/net/__init__.py +18 -0
- pyfect/net/_errors.py +29 -0
- pyfect/net/address_resolver.py +179 -0
- pyfect/net/dns/__init__.py +92 -0
- pyfect/net/dns/_error.py +43 -0
- pyfect/net/dns/_records.py +335 -0
- pyfect/net/dns/_service.py +287 -0
- pyfect/net/dns/_system.py +89 -0
- pyfect/net/host.py +311 -0
- pyfect/net/ip_interface.py +202 -0
- pyfect/net/ip_network.py +250 -0
- pyfect/net/net_address/__init__.py +245 -0
- pyfect/net/net_address/_inet.py +412 -0
- pyfect/net/net_address/_ip.py +348 -0
- pyfect/net/net_address/_mac.py +119 -0
- pyfect/optic/__init__.py +50 -0
- pyfect/optic/_builtins.py +90 -0
- pyfect/optic/_data.py +97 -0
- pyfect/optic/_optic.py +422 -0
- pyfect/optic/_steps.py +151 -0
- pyfect/option.py +362 -0
- pyfect/otel/__init__.py +22 -0
- pyfect/otel/_attributes.py +67 -0
- pyfect/otel/_producer.py +322 -0
- pyfect/otel/_shutdown.py +26 -0
- pyfect/otel/_span.py +292 -0
- pyfect/otel/_wrapper.py +92 -0
- pyfect/otel/logger.py +154 -0
- pyfect/otel/metrics.py +126 -0
- pyfect/otel/resource.py +111 -0
- pyfect/otel/sdk.py +195 -0
- pyfect/otel/tracer.py +157 -0
- pyfect/partitioned_semaphore.py +211 -0
- pyfect/path.py +304 -0
- pyfect/persistence/__init__.py +77 -0
- pyfect/persistence/_columns.py +32 -0
- pyfect/persistence/_error.py +14 -0
- pyfect/persistence/_seconds.py +68 -0
- pyfect/persistence/_sql_keys.py +47 -0
- pyfect/persistence/circuit_breaker/__init__.py +120 -0
- pyfect/persistence/circuit_breaker/_breaker.py +317 -0
- pyfect/persistence/circuit_breaker/_errors.py +67 -0
- pyfect/persistence/circuit_breaker/_memory.py +243 -0
- pyfect/persistence/circuit_breaker/_redis.py +509 -0
- pyfect/persistence/circuit_breaker/_store.py +60 -0
- pyfect/persistence/circuit_breaker/_types.py +191 -0
- pyfect/persistence/key_value_store/__init__.py +51 -0
- pyfect/persistence/key_value_store/_layers.py +216 -0
- pyfect/persistence/key_value_store/_schema_store.py +91 -0
- pyfect/persistence/key_value_store/_sql.py +197 -0
- pyfect/persistence/key_value_store/_store.py +212 -0
- pyfect/persistence/persistable.py +164 -0
- pyfect/persistence/persisted_cache.py +159 -0
- pyfect/persistence/persisted_queue/__init__.py +75 -0
- pyfect/persistence/persisted_queue/_error.py +42 -0
- pyfect/persistence/persisted_queue/_mailbox.py +101 -0
- pyfect/persistence/persisted_queue/_memory.py +182 -0
- pyfect/persistence/persisted_queue/_queue.py +272 -0
- pyfect/persistence/persisted_queue/_redis.py +455 -0
- pyfect/persistence/persisted_queue/_redis_scripts.py +395 -0
- pyfect/persistence/persisted_queue/_sql.py +334 -0
- pyfect/persistence/persisted_queue/_sql_migrations.py +319 -0
- pyfect/persistence/persisted_queue/_sql_statements.py +441 -0
- pyfect/persistence/persisted_queue/_store.py +147 -0
- pyfect/persistence/persistence/__init__.py +84 -0
- pyfect/persistence/persistence/_kvs.py +135 -0
- pyfect/persistence/persistence/_memory.py +62 -0
- pyfect/persistence/persistence/_redis.py +162 -0
- pyfect/persistence/persistence/_service.py +276 -0
- pyfect/persistence/persistence/_sql.py +499 -0
- pyfect/persistence/rate_limiter/__init__.py +82 -0
- pyfect/persistence/rate_limiter/_errors.py +59 -0
- pyfect/persistence/rate_limiter/_limiter.py +325 -0
- pyfect/persistence/rate_limiter/_memory.py +217 -0
- pyfect/persistence/rate_limiter/_redis.py +485 -0
- pyfect/persistence/rate_limiter/_store.py +89 -0
- pyfect/persistence/redis/__init__.py +52 -0
- pyfect/persistence/redis/_error.py +12 -0
- pyfect/persistence/redis/_make.py +234 -0
- pyfect/persistence/redis/_script.py +78 -0
- pyfect/persistence/redis/_service.py +104 -0
- pyfect/persistence/redis_py.py +303 -0
- pyfect/persistence/user_directories.py +195 -0
- pyfect/platform.py +26 -0
- pyfect/platform_error.py +256 -0
- pyfect/pool/__init__.py +36 -0
- pyfect/pool/_pool.py +707 -0
- pyfect/pool/_state.py +161 -0
- pyfect/pool/_ttl.py +105 -0
- pyfect/pool/_waiters.py +116 -0
- pyfect/primary_key.py +35 -0
- pyfect/process/__init__.py +82 -0
- pyfect/process/_child.py +213 -0
- pyfect/process/_command.py +358 -0
- pyfect/process/_handle.py +77 -0
- pyfect/process/_live.py +455 -0
- pyfect/process/_os.py +78 -0
- pyfect/process/_pipes.py +291 -0
- pyfect/process/_spawner.py +75 -0
- pyfect/pubsub/__init__.py +33 -0
- pyfect/pubsub/_atomic.py +181 -0
- pyfect/pubsub/_hub.py +214 -0
- pyfect/pubsub/_pubsub.py +214 -0
- pyfect/pubsub/_replay.py +107 -0
- pyfect/pubsub/_subscription.py +226 -0
- pyfect/pull.py +132 -0
- pyfect/py.typed +0 -0
- pyfect/pydantic.py +188 -0
- pyfect/queue/__init__.py +33 -0
- pyfect/queue/_queue.py +525 -0
- pyfect/queue/_state.py +111 -0
- pyfect/queue/_views.py +55 -0
- pyfect/random.py +146 -0
- pyfect/rc_map.py +363 -0
- pyfect/rc_ref.py +271 -0
- pyfect/reactivity/__init__.py +53 -0
- pyfect/reactivity/_async_result_schema.py +227 -0
- pyfect/reactivity/_hydration.py +18 -0
- pyfect/reactivity/_live.py +21 -0
- pyfect/reactivity/_reactivity.py +256 -0
- pyfect/reactivity/_result_effect.py +17 -0
- pyfect/reactivity/_time.py +11 -0
- pyfect/reactivity/async_result.py +679 -0
- pyfect/reactivity/atom/__init__.py +143 -0
- pyfect/reactivity/atom/_combinators.py +223 -0
- pyfect/reactivity/atom/_constructors.py +80 -0
- pyfect/reactivity/atom/_conversions.py +79 -0
- pyfect/reactivity/atom/_effect.py +252 -0
- pyfect/reactivity/atom/_fn.py +341 -0
- pyfect/reactivity/atom/_kvs.py +101 -0
- pyfect/reactivity/atom/_optimistic.py +162 -0
- pyfect/reactivity/atom/_runtime.py +323 -0
- pyfect/reactivity/atom/_serializable.py +65 -0
- pyfect/reactivity/atom/_subscription_ref.py +102 -0
- pyfect/reactivity/atom/_swr.py +69 -0
- pyfect/reactivity/atom/_types.py +435 -0
- pyfect/reactivity/atom_http_api.py +667 -0
- pyfect/reactivity/atom_ref.py +260 -0
- pyfect/reactivity/atom_registry/__init__.py +219 -0
- pyfect/reactivity/atom_registry/_batch.py +96 -0
- pyfect/reactivity/atom_registry/_dispatcher.py +60 -0
- pyfect/reactivity/atom_registry/_lifetime.py +202 -0
- pyfect/reactivity/atom_registry/_node.py +423 -0
- pyfect/reactivity/atom_registry/_registry.py +380 -0
- pyfect/reactivity/atom_rpc.py +283 -0
- pyfect/reactivity/hydration.py +200 -0
- pyfect/redacted.py +83 -0
- pyfect/ref.py +129 -0
- pyfect/resource.py +98 -0
- pyfect/result.py +306 -0
- pyfect/rpc/__init__.py +64 -0
- pyfect/rpc/_encoded_schema.py +86 -0
- pyfect/rpc/_json_rpc.py +246 -0
- pyfect/rpc/_methods.py +177 -0
- pyfect/rpc/_rpc.py +498 -0
- pyfect/rpc/client/__init__.py +100 -0
- pyfect/rpc/client/_core.py +449 -0
- pyfect/rpc/client/_http.py +257 -0
- pyfect/rpc/client/_protocol.py +171 -0
- pyfect/rpc/client/_serialized.py +321 -0
- pyfect/rpc/client/_transports.py +328 -0
- pyfect/rpc/client/_worker.py +283 -0
- pyfect/rpc/client_error.py +35 -0
- pyfect/rpc/group.py +296 -0
- pyfect/rpc/message.py +299 -0
- pyfect/rpc/middleware.py +182 -0
- pyfect/rpc/schema.py +89 -0
- pyfect/rpc/serialization.py +366 -0
- pyfect/rpc/server/__init__.py +181 -0
- pyfect/rpc/server/_core.py +549 -0
- pyfect/rpc/server/_protocol.py +123 -0
- pyfect/rpc/server/_serialized.py +363 -0
- pyfect/rpc/server/_stdio.py +101 -0
- pyfect/rpc/server/_transports.py +427 -0
- pyfect/rpc/server/_worker.py +108 -0
- pyfect/rpc/test.py +74 -0
- pyfect/rpc/worker.py +92 -0
- pyfect/run.py +393 -0
- pyfect/schedule/__init__.py +91 -0
- pyfect/schedule/_combinators.py +168 -0
- pyfect/schedule/_constructors.py +223 -0
- pyfect/schedule/_cron.py +49 -0
- pyfect/schedule/_drive.py +191 -0
- pyfect/schedule/_model.py +405 -0
- pyfect/scheduler.py +575 -0
- pyfect/schema/__init__.py +866 -0
- pyfect/schema/_adapters.py +39 -0
- pyfect/schema/_arbitrary_constraint.py +242 -0
- pyfect/schema/_arbitrary_graph.py +325 -0
- pyfect/schema/_arbitrary_links.py +179 -0
- pyfect/schema/_arbitrary_number.py +112 -0
- pyfect/schema/_arrays.py +287 -0
- pyfect/schema/_assignable.py +118 -0
- pyfect/schema/_boolean_literals.py +31 -0
- pyfect/schema/_checks_number.py +216 -0
- pyfect/schema/_checks_order.py +140 -0
- pyfect/schema/_checks_size.py +277 -0
- pyfect/schema/_checks_string.py +241 -0
- pyfect/schema/_class.py +569 -0
- pyfect/schema/_codec_derivation.py +227 -0
- pyfect/schema/_codec_links.py +221 -0
- pyfect/schema/_codecs.py +316 -0
- pyfect/schema/_collections.py +172 -0
- pyfect/schema/_constructor_default.py +89 -0
- pyfect/schema/_data.py +440 -0
- pyfect/schema/_data_codecs.py +145 -0
- pyfect/schema/_decimal_regexp.py +243 -0
- pyfect/schema/_declare.py +68 -0
- pyfect/schema/_derive.py +292 -0
- pyfect/schema/_duration_codecs.py +27 -0
- pyfect/schema/_ecma_pattern.py +416 -0
- pyfect/schema/_error.py +26 -0
- pyfect/schema/_error_instance.py +222 -0
- pyfect/schema/_graph.py +271 -0
- pyfect/schema/_instances.py +240 -0
- pyfect/schema/_jsonschema/__init__.py +90 -0
- pyfect/schema/_jsonschema/_annotations.py +114 -0
- pyfect/schema/_jsonschema/_checks.py +253 -0
- pyfect/schema/_jsonschema/_compile.py +346 -0
- pyfect/schema/_jsonschema/_exact.py +19 -0
- pyfect/schema/_jsonschema/_merge.py +211 -0
- pyfect/schema/_jsonschema/_objects.py +231 -0
- pyfect/schema/_jsonschema/_references.py +221 -0
- pyfect/schema/_jsonschema/_template.py +69 -0
- pyfect/schema/_literals.py +147 -0
- pyfect/schema/_middleware.py +209 -0
- pyfect/schema/_net.py +522 -0
- pyfect/schema/_options.py +49 -0
- pyfect/schema/_parse.py +351 -0
- pyfect/schema/_parsed_text.py +37 -0
- pyfect/schema/_primitives.py +48 -0
- pyfect/schema/_record.py +41 -0
- pyfect/schema/_refine.py +81 -0
- pyfect/schema/_schema.py +158 -0
- pyfect/schema/_semver.py +144 -0
- pyfect/schema/_strategy/__init__.py +258 -0
- pyfect/schema/_strategy/_big_decimal.py +203 -0
- pyfect/schema/_strategy/_composites.py +119 -0
- pyfect/schema/_strategy/_leaves.py +94 -0
- pyfect/schema/_strategy/_net.py +133 -0
- pyfect/schema/_struct.py +87 -0
- pyfect/schema/_struct_keys.py +128 -0
- pyfect/schema/_tagged.py +254 -0
- pyfect/schema/_template_literal.py +172 -0
- pyfect/schema/_to_codec_array_from_single.py +115 -0
- pyfect/schema/_to_codec_go_json.py +174 -0
- pyfect/schema/_to_codec_json.py +73 -0
- pyfect/schema/_to_codec_string_tree.py +115 -0
- pyfect/schema/_to_differ_json_patch.py +44 -0
- pyfect/schema/_to_encoder_xml.py +119 -0
- pyfect/schema/_to_equivalence.py +186 -0
- pyfect/schema/_to_formatter.py +180 -0
- pyfect/schema/_to_iso.py +73 -0
- pyfect/schema/_to_strategy.py +31 -0
- pyfect/schema/_transform.py +210 -0
- pyfect/schema/_tree.py +27 -0
- pyfect/schema/_type_walk.py +53 -0
- pyfect/schema/_undefined.py +58 -0
- pyfect/schema/_value_codecs.py +84 -0
- pyfect/schema/_values.py +123 -0
- pyfect/schema/_void.py +86 -0
- pyfect/schema/ast/__init__.py +227 -0
- pyfect/schema/ast/_annotations.py +43 -0
- pyfect/schema/ast/_arrays.py +210 -0
- pyfect/schema/ast/_base.py +295 -0
- pyfect/schema/ast/_candidates.py +309 -0
- pyfect/schema/ast/_check.py +181 -0
- pyfect/schema/ast/_class.py +159 -0
- pyfect/schema/ast/_constructors.py +65 -0
- pyfect/schema/ast/_declaration.py +97 -0
- pyfect/schema/ast/_encoding.py +111 -0
- pyfect/schema/ast/_json.py +129 -0
- pyfect/schema/ast/_keywords.py +125 -0
- pyfect/schema/ast/_literal.py +157 -0
- pyfect/schema/ast/_objects.py +356 -0
- pyfect/schema/ast/_record.py +36 -0
- pyfect/schema/ast/_result.py +116 -0
- pyfect/schema/ast/_steps.py +209 -0
- pyfect/schema/ast/_suspend.py +65 -0
- pyfect/schema/ast/_template_literal.py +256 -0
- pyfect/schema/ast/_union.py +172 -0
- pyfect/schema/getter/__init__.py +136 -0
- pyfect/schema/getter/_binary.py +104 -0
- pyfect/schema/getter/_coerce.py +196 -0
- pyfect/schema/getter/_getter.py +243 -0
- pyfect/schema/getter/_make.py +151 -0
- pyfect/schema/getter/_text.py +141 -0
- pyfect/schema/getter/_tree_record.py +170 -0
- pyfect/schema/issue.py +420 -0
- pyfect/schema/model/__init__.py +120 -0
- pyfect/schema/model/_class.py +245 -0
- pyfect/schema/model/_dates.py +103 -0
- pyfect/schema/model/_fields.py +77 -0
- pyfect/schema/model/_toolkit.py +114 -0
- pyfect/schema/model/_uuid.py +69 -0
- pyfect/schema/representation/__init__.py +424 -0
- pyfect/schema/representation/_builtin_revivers.py +331 -0
- pyfect/schema/representation/_code.py +106 -0
- pyfect/schema/representation/_code_builtins.py +281 -0
- pyfect/schema/representation/_code_document.py +563 -0
- pyfect/schema/representation/_code_sort.py +111 -0
- pyfect/schema/representation/_from.py +278 -0
- pyfect/schema/representation/_import/__init__.py +78 -0
- pyfect/schema/representation/_import/_finalize.py +121 -0
- pyfect/schema/representation/_import/_intersect.py +467 -0
- pyfect/schema/representation/_import/_js_order.py +66 -0
- pyfect/schema/representation/_import/_keywords.py +224 -0
- pyfect/schema/representation/_import/_nodes.py +199 -0
- pyfect/schema/representation/_import/_translate.py +455 -0
- pyfect/schema/representation/_json.py +520 -0
- pyfect/schema/representation/_json_schema.py +178 -0
- pyfect/schema/representation/_model.py +284 -0
- pyfect/schema/representation/_revivers.py +89 -0
- pyfect/schema/representation/_to.py +249 -0
- pyfect/schema/transformation/__init__.py +99 -0
- pyfect/schema/transformation/_builtins.py +314 -0
- pyfect/schema/transformation/_durations.py +150 -0
- pyfect/schema/transformation/_transformation.py +177 -0
- pyfect/schema/variant_schema/__init__.py +69 -0
- pyfect/schema/variant_schema/_class.py +188 -0
- pyfect/schema/variant_schema/_defaults.py +30 -0
- pyfect/schema/variant_schema/_field.py +32 -0
- pyfect/schema/variant_schema/_struct.py +130 -0
- pyfect/schema/variant_schema/_toolkit.py +160 -0
- pyfect/scope.py +374 -0
- pyfect/scoped_ref.py +124 -0
- pyfect/semaphore.py +276 -0
- pyfect/semver.py +403 -0
- pyfect/semver_range.py +420 -0
- pyfect/sink/__init__.py +131 -0
- pyfect/sink/_combinators.py +151 -0
- pyfect/sink/_constructors.py +187 -0
- pyfect/sink/_context.py +87 -0
- pyfect/sink/_folds.py +336 -0
- pyfect/sink/_for_each.py +87 -0
- pyfect/sink/_sink.py +265 -0
- pyfect/sink/_steps.py +34 -0
- pyfect/sink/_taking.py +183 -0
- pyfect/socket/__init__.py +146 -0
- pyfect/socket/_accepted.py +65 -0
- pyfect/socket/_connection.py +384 -0
- pyfect/socket/_errors.py +135 -0
- pyfect/socket/_loop.py +66 -0
- pyfect/socket/_net.py +281 -0
- pyfect/socket/_socket.py +245 -0
- pyfect/socket/_tls.py +88 -0
- pyfect/socket/_tls_session.py +117 -0
- pyfect/socket/_web_socket.py +555 -0
- pyfect/socket/datagram/__init__.py +110 -0
- pyfect/socket/datagram/_core.py +460 -0
- pyfect/socket/datagram/_errors.py +102 -0
- pyfect/socket/datagram/_live.py +675 -0
- pyfect/socket/datagram/_model.py +217 -0
- pyfect/socket/server.py +258 -0
- pyfect/socket/ws.py +484 -0
- pyfect/sql/__init__.py +60 -0
- pyfect/sql/_loop.py +134 -0
- pyfect/sql/clickhouse/__init__.py +74 -0
- pyfect/sql/clickhouse/_connection.py +237 -0
- pyfect/sql/clickhouse/_rows.py +87 -0
- pyfect/sql/clickhouse/client.py +322 -0
- pyfect/sql/clickhouse/config.py +241 -0
- pyfect/sql/clickhouse/driver.py +434 -0
- pyfect/sql/clickhouse/error.py +106 -0
- pyfect/sql/clickhouse/migrator.py +47 -0
- pyfect/sql/clickhouse/params.py +168 -0
- pyfect/sql/client/__init__.py +35 -0
- pyfect/sql/client/_client.py +309 -0
- pyfect/sql/client/_sqlite_acquirers.py +130 -0
- pyfect/sql/client/_transaction.py +410 -0
- pyfect/sql/connection.py +87 -0
- pyfect/sql/d1/__init__.py +48 -0
- pyfect/sql/d1/api.py +270 -0
- pyfect/sql/d1/client.py +344 -0
- pyfect/sql/d1/config.py +55 -0
- pyfect/sql/error.py +311 -0
- pyfect/sql/libsql/__init__.py +58 -0
- pyfect/sql/libsql/_connection.py +110 -0
- pyfect/sql/libsql/_hrana.py +258 -0
- pyfect/sql/libsql/_local.py +251 -0
- pyfect/sql/libsql/_targets.py +28 -0
- pyfect/sql/libsql/_values.py +46 -0
- pyfect/sql/libsql/client.py +225 -0
- pyfect/sql/libsql/config.py +170 -0
- pyfect/sql/libsql/migrator.py +43 -0
- pyfect/sql/libsql/sdk.py +123 -0
- pyfect/sql/migrator.py +434 -0
- pyfect/sql/model.py +324 -0
- pyfect/sql/mssql/__init__.py +79 -0
- pyfect/sql/mssql/_connection.py +169 -0
- pyfect/sql/mssql/_driver.py +103 -0
- pyfect/sql/mssql/_names.py +9 -0
- pyfect/sql/mssql/_pool.py +125 -0
- pyfect/sql/mssql/_tds.py +447 -0
- pyfect/sql/mssql/_tds_params.py +155 -0
- pyfect/sql/mssql/_worker.py +155 -0
- pyfect/sql/mssql/client.py +344 -0
- pyfect/sql/mssql/config.py +118 -0
- pyfect/sql/mssql/error.py +111 -0
- pyfect/sql/mssql/migrator.py +43 -0
- pyfect/sql/mssql/parameter.py +44 -0
- pyfect/sql/mssql/procedure.py +119 -0
- pyfect/sql/mssql/types.py +137 -0
- pyfect/sql/mysql/__init__.py +60 -0
- pyfect/sql/mysql/_asyncmy.py +168 -0
- pyfect/sql/mysql/_bind.py +76 -0
- pyfect/sql/mysql/_connection.py +156 -0
- pyfect/sql/mysql/_pool.py +63 -0
- pyfect/sql/mysql/_session.py +262 -0
- pyfect/sql/mysql/client.py +244 -0
- pyfect/sql/mysql/config.py +108 -0
- pyfect/sql/mysql/error.py +104 -0
- pyfect/sql/mysql/migrator.py +44 -0
- pyfect/sql/pg/__init__.py +82 -0
- pyfect/sql/pg/_resolve.py +284 -0
- pyfect/sql/pg/_session.py +380 -0
- pyfect/sql/pg/client.py +398 -0
- pyfect/sql/pg/config.py +142 -0
- pyfect/sql/pg/connection.py +585 -0
- pyfect/sql/pg/error.py +131 -0
- pyfect/sql/pg/migrator.py +139 -0
- pyfect/sql/pg/pool.py +265 -0
- pyfect/sql/resolver.py +294 -0
- pyfect/sql/result.py +24 -0
- pyfect/sql/schema.py +116 -0
- pyfect/sql/sqlite/__init__.py +26 -0
- pyfect/sql/sqlite/_connection.py +230 -0
- pyfect/sql/sqlite/_worker.py +71 -0
- pyfect/sql/sqlite/client.py +248 -0
- pyfect/sql/sqlite/migrator.py +43 -0
- pyfect/sql/statement/__init__.py +144 -0
- pyfect/sql/statement/_compiler.py +384 -0
- pyfect/sql/statement/_segments.py +487 -0
- pyfect/sql/statement/_statement.py +526 -0
- pyfect/sql/statement/_transforms.py +93 -0
- pyfect/sql/stream.py +88 -0
- pyfect/stdio.py +206 -0
- pyfect/stream/__init__.py +151 -0
- pyfect/stream/_async_iterable.py +129 -0
- pyfect/stream/_base.py +69 -0
- pyfect/stream/_bridge_methods.py +139 -0
- pyfect/stream/_catch.py +135 -0
- pyfect/stream/_catch_reason.py +558 -0
- pyfect/stream/_channel_methods.py +61 -0
- pyfect/stream/_chunk_methods.py +169 -0
- pyfect/stream/_chunking.py +310 -0
- pyfect/stream/_concat.py +65 -0
- pyfect/stream/_constructors.py +341 -0
- pyfect/stream/_context.py +147 -0
- pyfect/stream/_error_methods.py +254 -0
- pyfect/stream/_execution_plan.py +199 -0
- pyfect/stream/_fanout.py +154 -0
- pyfect/stream/_fanout_methods.py +183 -0
- pyfect/stream/_filter_methods.py +203 -0
- pyfect/stream/_grouping.py +168 -0
- pyfect/stream/_many.py +65 -0
- pyfect/stream/_map_methods.py +233 -0
- pyfect/stream/_mapping.py +126 -0
- pyfect/stream/_run.py +114 -0
- pyfect/stream/_run_methods.py +114 -0
- pyfect/stream/_service_methods.py +36 -0
- pyfect/stream/_sink_methods.py +151 -0
- pyfect/stream/_sinking.py +277 -0
- pyfect/stream/_sources.py +124 -0
- pyfect/stream/_stream.py +162 -0
- pyfect/stream/_taking.py +330 -0
- pyfect/stream/_text.py +43 -0
- pyfect/stream/_timing.py +294 -0
- pyfect/stream/_timing_methods.py +252 -0
- pyfect/stream/_zip_methods.py +279 -0
- pyfect/stream/_zipping.py +213 -0
- pyfect/subscription_ref.py +66 -0
- pyfect/synchronized_ref.py +38 -0
- pyfect/take.py +36 -0
- pyfect/terminal/__init__.py +41 -0
- pyfect/terminal/_keys.py +113 -0
- pyfect/terminal/_live.py +223 -0
- pyfect/terminal/_service.py +73 -0
- pyfect/testing/__init__.py +122 -0
- pyfect/testing/_assertions.py +92 -0
- pyfect/testing/_clock.py +309 -0
- pyfect/testing/_console.py +164 -0
- pyfect/testing/_crypto.py +44 -0
- pyfect/testing/_decorators.py +211 -0
- pyfect/testing/_flaky.py +34 -0
- pyfect/testing/_layers.py +153 -0
- pyfect/testing/_prop.py +255 -0
- pyfect/testing/_runners.py +84 -0
- pyfect/testing/_runtime.py +174 -0
- pyfect/testing/_schema.py +238 -0
- pyfect/testing/plugin.py +59 -0
- pyfect/tracer/__init__.py +107 -0
- pyfect/tracer/_model.py +176 -0
- pyfect/tracer/_native.py +172 -0
- pyfect/tracer/_refs.py +87 -0
- pyfect/tracer/_spans.py +269 -0
- pyfect/transaction.py +340 -0
- pyfect/trie.py +317 -0
- pyfect/tx_chunk.py +127 -0
- pyfect/tx_deferred.py +75 -0
- pyfect/tx_hash_map.py +265 -0
- pyfect/tx_hash_set.py +151 -0
- pyfect/tx_priority_queue.py +224 -0
- pyfect/tx_pubsub.py +194 -0
- pyfect/tx_queue/__init__.py +27 -0
- pyfect/tx_queue/_queue.py +359 -0
- pyfect/tx_queue/_views.py +60 -0
- pyfect/tx_reentrant_lock.py +201 -0
- pyfect/tx_ref.py +79 -0
- pyfect/tx_semaphore.py +136 -0
- pyfect/tx_subscription_ref.py +118 -0
- pyfect/workers/__init__.py +62 -0
- pyfect/workers/_frames.py +82 -0
- pyfect/workers/_mailbox.py +51 -0
- pyfect/workers/_port.py +106 -0
- pyfect/workers/_process.py +155 -0
- pyfect/workers/_thread.py +100 -0
- pyfect/workers/python_worker.py +133 -0
- pyfect/workers/python_worker_runner.py +112 -0
- pyfect/workers/transferable.py +103 -0
- pyfect/workers/worker.py +273 -0
- pyfect/workers/worker_error.py +86 -0
- pyfect/workers/worker_runner.py +85 -0
- pyfect/workflow/__init__.py +78 -0
- pyfect/workflow/_crypto.py +23 -0
- pyfect/workflow/_encoded.py +381 -0
- pyfect/workflow/_memory.py +424 -0
- pyfect/workflow/_result.py +43 -0
- pyfect/workflow/_services.py +241 -0
- pyfect/workflow/_suspension.py +153 -0
- pyfect/workflow/activity.py +427 -0
- pyfect/workflow/durable_clock.py +72 -0
- pyfect/workflow/durable_deferred.py +403 -0
- pyfect/workflow/durable_queue.py +259 -0
- pyfect/workflow/workflow.py +509 -0
- pyfect/workflow/workflow_engine.py +42 -0
- pyfect/workflow/workflow_proxy.py +161 -0
- pyfect/workflow/workflow_proxy_server.py +146 -0
- pyfect_dev-0.1.0.dist-info/METADATA +296 -0
- pyfect_dev-0.1.0.dist-info/RECORD +1265 -0
- pyfect_dev-0.1.0.dist-info/WHEEL +4 -0
- pyfect_dev-0.1.0.dist-info/entry_points.txt +3 -0
- pyfect_dev-0.1.0.dist-info/licenses/LICENSE +21 -0
pyfect/cli/param.py
ADDED
|
@@ -0,0 +1,789 @@
|
|
|
1
|
+
"""The parameter tree behind flags and arguments (Effect's ``Param``).
|
|
2
|
+
|
|
3
|
+
A ``Param[A]`` parses an ``A`` out of a command line's ``ParsedArgs``: the
|
|
4
|
+
flag values by flag name and the positional arguments left. ``Single`` is
|
|
5
|
+
one named flag or argument; ``Mapped``, ``Transformed``, ``Optional`` and
|
|
6
|
+
``Variadic`` wrap it. Programs use ``Flag`` and ``Argument``, which are
|
|
7
|
+
typed views of these trees; help, completions and the parser read the
|
|
8
|
+
``Single`` nodes through ``extract_single_params``.
|
|
9
|
+
"""
|
|
10
|
+
|
|
11
|
+
from __future__ import annotations
|
|
12
|
+
|
|
13
|
+
import re
|
|
14
|
+
from abc import ABC, abstractmethod
|
|
15
|
+
from collections.abc import Callable, Mapping, Sequence
|
|
16
|
+
from dataclasses import dataclass, field, replace
|
|
17
|
+
from datetime import datetime
|
|
18
|
+
from typing import TYPE_CHECKING, Any, Literal, Never, cast
|
|
19
|
+
|
|
20
|
+
from pyfect import config as config_
|
|
21
|
+
from pyfect import schema as S
|
|
22
|
+
from pyfect._effect_args import wrong_argument
|
|
23
|
+
from pyfect._effect_base import EffectBase
|
|
24
|
+
from pyfect._js import js_number
|
|
25
|
+
from pyfect.cli import primitive as primitive_
|
|
26
|
+
from pyfect.cli._environment import Environment
|
|
27
|
+
from pyfect.cli.cli_error import (
|
|
28
|
+
CliError,
|
|
29
|
+
InvalidValue,
|
|
30
|
+
MissingArgument,
|
|
31
|
+
MissingOption,
|
|
32
|
+
)
|
|
33
|
+
from pyfect.cli.primitive import FileFormat, PathType, Primitive
|
|
34
|
+
from pyfect.cli.terminal_capabilities import TerminalCapabilities
|
|
35
|
+
from pyfect.effect import Effect, fail, gen, succeed
|
|
36
|
+
from pyfect.option import Some
|
|
37
|
+
from pyfect.redacted import Redacted
|
|
38
|
+
from pyfect.result import Err, Ok, Result
|
|
39
|
+
from pyfect.schema import Codec
|
|
40
|
+
from pyfect.schema.issue import Issue
|
|
41
|
+
|
|
42
|
+
if TYPE_CHECKING:
|
|
43
|
+
from pyfect.cli.prompt import Prompt
|
|
44
|
+
|
|
45
|
+
type Kind = Literal["flag", "argument"]
|
|
46
|
+
FLAG: Kind = "flag"
|
|
47
|
+
ARGUMENT: Kind = "argument"
|
|
48
|
+
|
|
49
|
+
|
|
50
|
+
@dataclass(frozen=True, slots=True)
|
|
51
|
+
class ParsedArgs:
|
|
52
|
+
"""What a param parses from: the values given for each flag name and
|
|
53
|
+
the positional arguments not yet taken."""
|
|
54
|
+
|
|
55
|
+
flags: Mapping[str, Sequence[str]] = field(default_factory=dict[str, Sequence[str]])
|
|
56
|
+
arguments: tuple[str, ...] = ()
|
|
57
|
+
|
|
58
|
+
|
|
59
|
+
type Parsed[A] = Effect[tuple[tuple[str, ...], A], CliError, Environment]
|
|
60
|
+
"""The positional arguments left and the value."""
|
|
61
|
+
type Parse[A] = Callable[[ParsedArgs], Parsed[A]]
|
|
62
|
+
|
|
63
|
+
|
|
64
|
+
@dataclass(frozen=True, slots=True)
|
|
65
|
+
class ParamMetadata:
|
|
66
|
+
is_optional: bool = False
|
|
67
|
+
is_variadic: bool = False
|
|
68
|
+
variadic_min: int | None = None
|
|
69
|
+
variadic_max: int | None = None
|
|
70
|
+
|
|
71
|
+
|
|
72
|
+
class Param[A](ABC):
|
|
73
|
+
"""A tree of params parsing an ``A``."""
|
|
74
|
+
|
|
75
|
+
kind: Kind
|
|
76
|
+
|
|
77
|
+
@abstractmethod
|
|
78
|
+
def parse(self, args: ParsedArgs) -> Parsed[A]: ...
|
|
79
|
+
|
|
80
|
+
@abstractmethod
|
|
81
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[A]:
|
|
82
|
+
"""This tree with every ``Single`` in it replaced by ``f``'s."""
|
|
83
|
+
|
|
84
|
+
@abstractmethod
|
|
85
|
+
def singles(self) -> list[Single[Any]]:
|
|
86
|
+
"""Every ``Single`` in the tree, alternatives included, in order."""
|
|
87
|
+
|
|
88
|
+
@abstractmethod
|
|
89
|
+
def metadata(self) -> ParamMetadata:
|
|
90
|
+
"""Whether the tree is optional or variadic, and its bounds."""
|
|
91
|
+
|
|
92
|
+
|
|
93
|
+
@dataclass(frozen=True, eq=False)
|
|
94
|
+
class Single[A](Param[A]):
|
|
95
|
+
"""One named flag or positional argument."""
|
|
96
|
+
|
|
97
|
+
kind: Kind
|
|
98
|
+
name: str
|
|
99
|
+
primitive: Primitive[A]
|
|
100
|
+
description: str | None = None
|
|
101
|
+
aliases: tuple[str, ...] = ()
|
|
102
|
+
type_name: str | None = None
|
|
103
|
+
hidden: bool = False
|
|
104
|
+
optional_value: str | None = None
|
|
105
|
+
"""The value a flag takes when given without one (``--flag``)."""
|
|
106
|
+
negation: str | Literal[False] | None = None
|
|
107
|
+
"""A boolean flag's negated name; ``None`` is ``no-<name>``, ``False``
|
|
108
|
+
none."""
|
|
109
|
+
|
|
110
|
+
def parse(self, args: ParsedArgs) -> Parsed[A]:
|
|
111
|
+
if self.kind == ARGUMENT:
|
|
112
|
+
return _parse_positional(self.name, self.primitive, args)
|
|
113
|
+
return _parse_flag(self.name, self.primitive, args)
|
|
114
|
+
|
|
115
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[A]:
|
|
116
|
+
return f(self)
|
|
117
|
+
|
|
118
|
+
def singles(self) -> list[Single[Any]]:
|
|
119
|
+
return [self]
|
|
120
|
+
|
|
121
|
+
def metadata(self) -> ParamMetadata:
|
|
122
|
+
return ParamMetadata()
|
|
123
|
+
|
|
124
|
+
|
|
125
|
+
@dataclass(frozen=True, eq=False)
|
|
126
|
+
class Mapped[X, A](Param[A]):
|
|
127
|
+
param: Param[X]
|
|
128
|
+
f: Callable[[X], A]
|
|
129
|
+
|
|
130
|
+
kind: Kind = field(init=False)
|
|
131
|
+
|
|
132
|
+
def __post_init__(self) -> None:
|
|
133
|
+
object.__setattr__(self, "kind", self.param.kind)
|
|
134
|
+
|
|
135
|
+
def parse(self, args: ParsedArgs) -> Parsed[A]:
|
|
136
|
+
f = self.f
|
|
137
|
+
return self.param.parse(args).map(lambda parsed: (parsed[0], f(parsed[1])))
|
|
138
|
+
|
|
139
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[A]:
|
|
140
|
+
return Mapped(self.param.map_singles(f), self.f)
|
|
141
|
+
|
|
142
|
+
def singles(self) -> list[Single[Any]]:
|
|
143
|
+
return self.param.singles()
|
|
144
|
+
|
|
145
|
+
def metadata(self) -> ParamMetadata:
|
|
146
|
+
return self.param.metadata()
|
|
147
|
+
|
|
148
|
+
|
|
149
|
+
type Alternative = Callable[[], Param[Any]]
|
|
150
|
+
|
|
151
|
+
|
|
152
|
+
@dataclass(frozen=True, eq=False)
|
|
153
|
+
class Transformed[X, A](Param[A]):
|
|
154
|
+
"""A parse built from the inner param's parse and its alternatives'."""
|
|
155
|
+
|
|
156
|
+
param: Param[X]
|
|
157
|
+
f: Callable[[Parse[X], tuple[Callable[[], Parse[Any]], ...]], Parse[A]]
|
|
158
|
+
alternatives: tuple[Alternative, ...] = ()
|
|
159
|
+
|
|
160
|
+
kind: Kind = field(init=False)
|
|
161
|
+
|
|
162
|
+
def __post_init__(self) -> None:
|
|
163
|
+
object.__setattr__(self, "kind", self.param.kind)
|
|
164
|
+
|
|
165
|
+
def parse(self, args: ParsedArgs) -> Parsed[A]:
|
|
166
|
+
parsers = tuple(_lazy_parse(alternative) for alternative in self.alternatives)
|
|
167
|
+
return self.f(self.param.parse, parsers)(args)
|
|
168
|
+
|
|
169
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[A]:
|
|
170
|
+
alternatives = tuple(_mapped_alternative(alt, f) for alt in self.alternatives)
|
|
171
|
+
return Transformed(self.param.map_singles(f), self.f, alternatives)
|
|
172
|
+
|
|
173
|
+
def singles(self) -> list[Single[Any]]:
|
|
174
|
+
found = self.param.singles()
|
|
175
|
+
for alternative in self.alternatives:
|
|
176
|
+
found.extend(alternative().singles())
|
|
177
|
+
return found
|
|
178
|
+
|
|
179
|
+
def metadata(self) -> ParamMetadata:
|
|
180
|
+
return self.param.metadata()
|
|
181
|
+
|
|
182
|
+
|
|
183
|
+
def _lazy_parse(alternative: Alternative) -> Callable[[], Parse[Any]]:
|
|
184
|
+
return lambda: alternative().parse
|
|
185
|
+
|
|
186
|
+
|
|
187
|
+
def _mapped_alternative(
|
|
188
|
+
alternative: Alternative, f: Callable[[Single[Any]], Single[Any]]
|
|
189
|
+
) -> Alternative:
|
|
190
|
+
return lambda: alternative().map_singles(f)
|
|
191
|
+
|
|
192
|
+
|
|
193
|
+
@dataclass(frozen=True, eq=False)
|
|
194
|
+
class Optional[X](Param[X | None]):
|
|
195
|
+
param: Param[X]
|
|
196
|
+
|
|
197
|
+
kind: Kind = field(init=False)
|
|
198
|
+
|
|
199
|
+
def __post_init__(self) -> None:
|
|
200
|
+
object.__setattr__(self, "kind", self.param.kind)
|
|
201
|
+
|
|
202
|
+
def parse(self, args: ParsedArgs) -> Parsed[X | None]:
|
|
203
|
+
missing = (MissingOption, MissingArgument)
|
|
204
|
+
return (
|
|
205
|
+
self.param.parse(args)
|
|
206
|
+
.map(lambda parsed: (parsed[0], cast("X | None", parsed[1])))
|
|
207
|
+
.catch_if(
|
|
208
|
+
lambda error: isinstance(error, missing),
|
|
209
|
+
lambda _: succeed((args.arguments, None)),
|
|
210
|
+
)
|
|
211
|
+
)
|
|
212
|
+
|
|
213
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[X | None]:
|
|
214
|
+
return Optional(self.param.map_singles(f))
|
|
215
|
+
|
|
216
|
+
def singles(self) -> list[Single[Any]]:
|
|
217
|
+
return self.param.singles()
|
|
218
|
+
|
|
219
|
+
def metadata(self) -> ParamMetadata:
|
|
220
|
+
return replace(self.param.metadata(), is_optional=True)
|
|
221
|
+
|
|
222
|
+
|
|
223
|
+
@dataclass(frozen=True, eq=False)
|
|
224
|
+
class Variadic[X](Param[tuple[X, ...]]):
|
|
225
|
+
param: Param[X]
|
|
226
|
+
min: int | None = None
|
|
227
|
+
max: int | None = None
|
|
228
|
+
|
|
229
|
+
kind: Kind = field(init=False)
|
|
230
|
+
|
|
231
|
+
def __post_init__(self) -> None:
|
|
232
|
+
object.__setattr__(self, "kind", self.param.kind)
|
|
233
|
+
|
|
234
|
+
def parse(self, args: ParsedArgs) -> Parsed[tuple[X, ...]]:
|
|
235
|
+
single = get_underlying_single_or_throw(self.param)
|
|
236
|
+
if single.kind == ARGUMENT:
|
|
237
|
+
return _parse_positional_variadic(self, single, args)
|
|
238
|
+
return _parse_flag_variadic(self, single, args)
|
|
239
|
+
|
|
240
|
+
def map_singles(self, f: Callable[[Single[Any]], Single[Any]]) -> Param[tuple[X, ...]]:
|
|
241
|
+
return Variadic(self.param.map_singles(f), self.min, self.max)
|
|
242
|
+
|
|
243
|
+
def singles(self) -> list[Single[Any]]:
|
|
244
|
+
return self.param.singles()
|
|
245
|
+
|
|
246
|
+
def metadata(self) -> ParamMetadata:
|
|
247
|
+
inner = self.param.metadata()
|
|
248
|
+
return replace(inner, is_variadic=True, variadic_min=self.min, variadic_max=self.max)
|
|
249
|
+
|
|
250
|
+
|
|
251
|
+
# --- parsing -----------------------------------------------------------------
|
|
252
|
+
|
|
253
|
+
|
|
254
|
+
def _parse_positional[A](name: str, primitive: Primitive[A], args: ParsedArgs) -> Parsed[A]:
|
|
255
|
+
if not args.arguments:
|
|
256
|
+
return fail(MissingArgument(name))
|
|
257
|
+
arg = args.arguments[0]
|
|
258
|
+
return primitive.parse(arg).map_both(
|
|
259
|
+
on_failure=lambda expected: cast("CliError", InvalidValue(name, arg, expected, "argument")),
|
|
260
|
+
on_success=lambda value: (args.arguments[1:], value),
|
|
261
|
+
)
|
|
262
|
+
|
|
263
|
+
|
|
264
|
+
def _parse_flag[A](name: str, primitive: Primitive[A], args: ParsedArgs) -> Parsed[A]:
|
|
265
|
+
values = args.flags.get(name)
|
|
266
|
+
if not values:
|
|
267
|
+
return fail(MissingOption(name))
|
|
268
|
+
if len(values) > 1:
|
|
269
|
+
return fail(InvalidValue(name, f"{len(values)} occurrences", "at most 1 value", "flag"))
|
|
270
|
+
arg = values[0]
|
|
271
|
+
return primitive.parse(arg).map_both(
|
|
272
|
+
on_failure=lambda expected: cast("CliError", InvalidValue(name, arg, expected, "flag")),
|
|
273
|
+
on_success=lambda value: (args.arguments, value),
|
|
274
|
+
)
|
|
275
|
+
|
|
276
|
+
|
|
277
|
+
def _plural(n: int) -> str:
|
|
278
|
+
return "" if n == 1 else "s"
|
|
279
|
+
|
|
280
|
+
|
|
281
|
+
def _parse_positional_variadic[X](
|
|
282
|
+
self: Variadic[X], single: Single[Any], args: ParsedArgs
|
|
283
|
+
) -> Parsed[tuple[X, ...]]:
|
|
284
|
+
def body():
|
|
285
|
+
results: list[X] = []
|
|
286
|
+
current = args.arguments
|
|
287
|
+
while current and (self.max is None or len(results) < self.max):
|
|
288
|
+
current, value = yield from self.param.parse(ParsedArgs(args.flags, current))
|
|
289
|
+
results.append(value)
|
|
290
|
+
minimum = self.min or 0
|
|
291
|
+
count = len(results)
|
|
292
|
+
if count < minimum:
|
|
293
|
+
if count == 0:
|
|
294
|
+
return (yield from fail(MissingArgument(single.name)))
|
|
295
|
+
return (
|
|
296
|
+
yield from fail(
|
|
297
|
+
InvalidValue(
|
|
298
|
+
single.name,
|
|
299
|
+
f"{count} values",
|
|
300
|
+
f"at least {minimum} value{_plural(minimum)}",
|
|
301
|
+
single.kind,
|
|
302
|
+
)
|
|
303
|
+
)
|
|
304
|
+
)
|
|
305
|
+
return current, tuple(results)
|
|
306
|
+
|
|
307
|
+
return gen(body)
|
|
308
|
+
|
|
309
|
+
|
|
310
|
+
def _parse_flag_variadic[X](
|
|
311
|
+
self: Variadic[X], single: Single[Any], args: ParsedArgs
|
|
312
|
+
) -> Parsed[tuple[X, ...]]:
|
|
313
|
+
def body():
|
|
314
|
+
values = [
|
|
315
|
+
value for name in (single.name, *single.aliases) for value in args.flags.get(name, ())
|
|
316
|
+
]
|
|
317
|
+
count = len(values)
|
|
318
|
+
if self.min is not None and count < self.min:
|
|
319
|
+
if count == 0:
|
|
320
|
+
return (yield from fail(MissingOption(single.name)))
|
|
321
|
+
return (
|
|
322
|
+
yield from fail(
|
|
323
|
+
InvalidValue(
|
|
324
|
+
single.name,
|
|
325
|
+
f"{count} occurrences",
|
|
326
|
+
f"at least {self.min} value{_plural(self.min)}",
|
|
327
|
+
single.kind,
|
|
328
|
+
)
|
|
329
|
+
)
|
|
330
|
+
)
|
|
331
|
+
if self.max is not None and count > self.max:
|
|
332
|
+
return (
|
|
333
|
+
yield from fail(
|
|
334
|
+
InvalidValue(
|
|
335
|
+
single.name,
|
|
336
|
+
f"{count} occurrences",
|
|
337
|
+
f"at most {self.max} value{_plural(self.max)}",
|
|
338
|
+
single.kind,
|
|
339
|
+
)
|
|
340
|
+
)
|
|
341
|
+
)
|
|
342
|
+
results: list[X] = []
|
|
343
|
+
for value in values:
|
|
344
|
+
_, parsed = yield from self.param.parse(ParsedArgs({single.name: (value,)}, ()))
|
|
345
|
+
results.append(parsed)
|
|
346
|
+
return args.arguments, tuple(results)
|
|
347
|
+
|
|
348
|
+
return gen(body)
|
|
349
|
+
|
|
350
|
+
|
|
351
|
+
# --- tree helpers --------------------------------------------------------------
|
|
352
|
+
|
|
353
|
+
|
|
354
|
+
def extract_single_params(param: Param[Any]) -> list[Single[Any]]:
|
|
355
|
+
"""Every ``Single`` in the tree, alternatives included, in order."""
|
|
356
|
+
return param.singles()
|
|
357
|
+
|
|
358
|
+
|
|
359
|
+
def get_underlying_single_or_throw(param: Param[Any]) -> Single[Any]:
|
|
360
|
+
"""The tree's one ``Single``; raises ``ValueError`` for none or several."""
|
|
361
|
+
singles = extract_single_params(param)
|
|
362
|
+
if not singles:
|
|
363
|
+
raise ValueError("No Single param found in param structure")
|
|
364
|
+
if len(singles) > 1:
|
|
365
|
+
raise ValueError(f"Multiple Single params found: {', '.join(s.name for s in singles)}")
|
|
366
|
+
return singles[0]
|
|
367
|
+
|
|
368
|
+
|
|
369
|
+
def get_param_metadata(param: Param[Any]) -> ParamMetadata:
|
|
370
|
+
"""Whether the tree is optional or variadic, and its bounds."""
|
|
371
|
+
return param.metadata()
|
|
372
|
+
|
|
373
|
+
|
|
374
|
+
# --- combinators ---------------------------------------------------------------
|
|
375
|
+
|
|
376
|
+
_DASHES = re.compile(r"^-+")
|
|
377
|
+
|
|
378
|
+
|
|
379
|
+
def with_alias[A](param: Param[A], alias: str) -> Param[A]:
|
|
380
|
+
stripped = _DASHES.sub("", alias)
|
|
381
|
+
return param.map_singles(lambda s: replace(s, aliases=(*s.aliases, stripped)))
|
|
382
|
+
|
|
383
|
+
|
|
384
|
+
def with_description[A](param: Param[A], description: str) -> Param[A]:
|
|
385
|
+
return param.map_singles(lambda s: replace(s, description=description))
|
|
386
|
+
|
|
387
|
+
|
|
388
|
+
def with_hidden[A](param: Param[A]) -> Param[A]:
|
|
389
|
+
return param.map_singles(lambda s: replace(s, hidden=True))
|
|
390
|
+
|
|
391
|
+
|
|
392
|
+
def with_metavar[A](param: Param[A], metavar: str) -> Param[A]:
|
|
393
|
+
return param.map_singles(lambda s: replace(s, type_name=metavar))
|
|
394
|
+
|
|
395
|
+
|
|
396
|
+
def with_optional_value[A](param: Param[A], value: str) -> Param[A]:
|
|
397
|
+
return param.map_singles(lambda s: replace(s, optional_value=value))
|
|
398
|
+
|
|
399
|
+
|
|
400
|
+
def with_negation[A](param: Param[A], name: str | Literal[False]) -> Param[A]:
|
|
401
|
+
return param.map_singles(lambda s: replace(s, negation=name))
|
|
402
|
+
|
|
403
|
+
|
|
404
|
+
def map_effect[X, A](
|
|
405
|
+
param: Param[X], f: Callable[[X], Effect[A, CliError, Environment]]
|
|
406
|
+
) -> Param[A]:
|
|
407
|
+
def make(parse: Parse[X], _: object) -> Parse[A]:
|
|
408
|
+
def run(args: ParsedArgs) -> Parsed[A]:
|
|
409
|
+
return parse(args).flat_map(
|
|
410
|
+
lambda parsed: f(parsed[1]).map(lambda value: (parsed[0], value))
|
|
411
|
+
)
|
|
412
|
+
|
|
413
|
+
return run
|
|
414
|
+
|
|
415
|
+
return Transformed(param, make)
|
|
416
|
+
|
|
417
|
+
|
|
418
|
+
def _invalid(single: Single[Any], value: object, expected: str) -> CliError:
|
|
419
|
+
return InvalidValue(single.name, _js_string(value), expected, single.kind)
|
|
420
|
+
|
|
421
|
+
|
|
422
|
+
def _js_string(value: object) -> str:
|
|
423
|
+
"""``String(value)`` for the values params produce."""
|
|
424
|
+
if value is True:
|
|
425
|
+
return "true"
|
|
426
|
+
if value is False:
|
|
427
|
+
return "false"
|
|
428
|
+
if value is None:
|
|
429
|
+
return "undefined"
|
|
430
|
+
if isinstance(value, float):
|
|
431
|
+
return js_number(value)
|
|
432
|
+
if isinstance(value, tuple):
|
|
433
|
+
return ",".join(_js_string(v) for v in cast("tuple[object, ...]", value))
|
|
434
|
+
return str(value)
|
|
435
|
+
|
|
436
|
+
|
|
437
|
+
def map_try_catch[X, A](
|
|
438
|
+
param: Param[X], f: Callable[[X], A], on_error: Callable[[Exception], str]
|
|
439
|
+
) -> Param[A]:
|
|
440
|
+
single = get_underlying_single_or_throw(param)
|
|
441
|
+
|
|
442
|
+
def apply(value: X) -> Effect[A, CliError, Environment]:
|
|
443
|
+
try:
|
|
444
|
+
return succeed(f(value))
|
|
445
|
+
except Exception as error:
|
|
446
|
+
return fail(_invalid(single, value, on_error(error)))
|
|
447
|
+
|
|
448
|
+
return map_effect(param, apply)
|
|
449
|
+
|
|
450
|
+
|
|
451
|
+
def filter_map[X, A](
|
|
452
|
+
param: Param[X], f: Callable[[X], Some[A] | None], on_none: Callable[[X], str]
|
|
453
|
+
) -> Param[A]:
|
|
454
|
+
def apply(value: X) -> Effect[A, CliError, Environment]:
|
|
455
|
+
result = f(value)
|
|
456
|
+
if result is not None:
|
|
457
|
+
return succeed(result.value)
|
|
458
|
+
return fail(_invalid(get_underlying_single_or_throw(param), value, on_none(value)))
|
|
459
|
+
|
|
460
|
+
return map_effect(param, apply)
|
|
461
|
+
|
|
462
|
+
|
|
463
|
+
def with_default[A](param: Param[A], default: object) -> Param[Any]:
|
|
464
|
+
optional = Optional(param)
|
|
465
|
+
if isinstance(default, Effect):
|
|
466
|
+
fallback = cast("Effect[Any, CliError, Environment]", default)
|
|
467
|
+
return map_effect(optional, lambda value: fallback if value is None else succeed(value))
|
|
468
|
+
return Mapped(optional, lambda value: default if value is None else value)
|
|
469
|
+
|
|
470
|
+
|
|
471
|
+
def _missing_name(error: MissingOption | MissingArgument) -> tuple[str, Kind]:
|
|
472
|
+
if isinstance(error, MissingOption):
|
|
473
|
+
return error.option, FLAG
|
|
474
|
+
return error.argument, ARGUMENT
|
|
475
|
+
|
|
476
|
+
|
|
477
|
+
def _on_missing[A](
|
|
478
|
+
param: Param[A],
|
|
479
|
+
recover: Callable[[MissingOption | MissingArgument, ParsedArgs], Parsed[Any]],
|
|
480
|
+
) -> Param[Any]:
|
|
481
|
+
def make(parse: Parse[A], _: object) -> Parse[Any]:
|
|
482
|
+
def run(args: ParsedArgs) -> Parsed[Any]:
|
|
483
|
+
return parse(args).catch_if(
|
|
484
|
+
lambda error: isinstance(error, (MissingOption, MissingArgument)),
|
|
485
|
+
lambda error: recover(cast("MissingOption | MissingArgument", error), args),
|
|
486
|
+
)
|
|
487
|
+
|
|
488
|
+
return run
|
|
489
|
+
|
|
490
|
+
return Transformed(param, make)
|
|
491
|
+
|
|
492
|
+
|
|
493
|
+
def with_fallback_config[A](param: Param[A], config: config_.Config[Any]) -> Param[Any]:
|
|
494
|
+
def recover(error: MissingOption | MissingArgument, args: ParsedArgs) -> Parsed[Any]:
|
|
495
|
+
name, kind = _missing_name(error)
|
|
496
|
+
return (
|
|
497
|
+
config_.option(config)
|
|
498
|
+
.map_error(
|
|
499
|
+
lambda config_error: cast(
|
|
500
|
+
"CliError", InvalidValue(name, "config", config_error.message, kind)
|
|
501
|
+
)
|
|
502
|
+
)
|
|
503
|
+
.flat_map(
|
|
504
|
+
lambda found: (
|
|
505
|
+
succeed((args.arguments, found.value))
|
|
506
|
+
if isinstance(found, Some)
|
|
507
|
+
else cast("Parsed[Any]", fail(error))
|
|
508
|
+
)
|
|
509
|
+
)
|
|
510
|
+
)
|
|
511
|
+
|
|
512
|
+
return _on_missing(param, recover)
|
|
513
|
+
|
|
514
|
+
|
|
515
|
+
def require_prompt(value: object) -> None:
|
|
516
|
+
from pyfect.cli import prompt as prompt_
|
|
517
|
+
|
|
518
|
+
if not isinstance(value, prompt_.Prompt | EffectBase):
|
|
519
|
+
hint = "to ask, pass a Prompt such as prompt.string(message)"
|
|
520
|
+
raise TypeError(wrong_argument(value, "prompt", "an Effect or a Prompt", hint))
|
|
521
|
+
|
|
522
|
+
|
|
523
|
+
def with_fallback_prompt[A](
|
|
524
|
+
param: Param[A], prompt: Prompt[Any] | Effect[Prompt[Any], CliError, Environment]
|
|
525
|
+
) -> Param[Any]:
|
|
526
|
+
from pyfect.cli import prompt as prompt_
|
|
527
|
+
|
|
528
|
+
require_prompt(prompt)
|
|
529
|
+
|
|
530
|
+
def recover(error: MissingOption | MissingArgument, args: ParsedArgs) -> Parsed[Any]:
|
|
531
|
+
def body():
|
|
532
|
+
capabilities = yield from TerminalCapabilities()
|
|
533
|
+
if not capabilities.can_prompt:
|
|
534
|
+
return (yield from fail(error))
|
|
535
|
+
built = prompt if isinstance(prompt, prompt_.Prompt) else (yield from prompt)
|
|
536
|
+
value = yield from prompt_.run(built).catch_all(
|
|
537
|
+
lambda _: cast("Effect[Never, CliError]", fail(error))
|
|
538
|
+
)
|
|
539
|
+
return args.arguments, value
|
|
540
|
+
|
|
541
|
+
return gen(body)
|
|
542
|
+
|
|
543
|
+
return _on_missing(param, recover)
|
|
544
|
+
|
|
545
|
+
|
|
546
|
+
def variadic[A](
|
|
547
|
+
param: Param[A], min: int | None = None, max: int | None = None
|
|
548
|
+
) -> Param[tuple[A, ...]]:
|
|
549
|
+
get_underlying_single_or_throw(param)
|
|
550
|
+
return Variadic(param, min, max)
|
|
551
|
+
|
|
552
|
+
|
|
553
|
+
def between[A](param: Param[A], min: int, max: int) -> Param[tuple[A, ...]]:
|
|
554
|
+
if min < 0:
|
|
555
|
+
raise ValueError("between: min must be non-negative")
|
|
556
|
+
if max < min:
|
|
557
|
+
raise ValueError("between: max must be greater than or equal to min")
|
|
558
|
+
return variadic(param, min, max)
|
|
559
|
+
|
|
560
|
+
|
|
561
|
+
def at_most[A](param: Param[A], max: int) -> Param[tuple[A, ...]]:
|
|
562
|
+
if max < 0:
|
|
563
|
+
raise ValueError("atMost: max must be non-negative")
|
|
564
|
+
return variadic(param, max=max)
|
|
565
|
+
|
|
566
|
+
|
|
567
|
+
def at_least[A](param: Param[A], min: int) -> Param[tuple[A, ...]]:
|
|
568
|
+
if min < 0:
|
|
569
|
+
raise ValueError("atLeast: min must be non-negative")
|
|
570
|
+
return variadic(param, min=min)
|
|
571
|
+
|
|
572
|
+
|
|
573
|
+
def or_else[A, B](param: Param[A], alternative: Callable[[], Param[B]]) -> Param[A | B]:
|
|
574
|
+
def make(parse: Parse[A], alternatives: tuple[Callable[[], Parse[Any]], ...]) -> Parse[A | B]:
|
|
575
|
+
def run(args: ParsedArgs) -> Parsed[A | B]:
|
|
576
|
+
return parse(args).catch_all(lambda _: alternatives[0]()(args))
|
|
577
|
+
|
|
578
|
+
return run
|
|
579
|
+
|
|
580
|
+
return Transformed(param, make, (alternative,))
|
|
581
|
+
|
|
582
|
+
|
|
583
|
+
def or_else_result[A, B](
|
|
584
|
+
param: Param[A], alternative: Callable[[], Param[B]]
|
|
585
|
+
) -> Param[Result[A, B]]:
|
|
586
|
+
def make(
|
|
587
|
+
parse: Parse[A], alternatives: tuple[Callable[[], Parse[Any]], ...]
|
|
588
|
+
) -> Parse[Result[A, B]]:
|
|
589
|
+
def run(args: ParsedArgs) -> Parsed[Result[A, B]]:
|
|
590
|
+
return (
|
|
591
|
+
parse(args)
|
|
592
|
+
.map(lambda parsed: (parsed[0], cast("Result[A, B]", Ok(parsed[1]))))
|
|
593
|
+
.catch_all(
|
|
594
|
+
lambda _: alternatives[0]()(args).map(
|
|
595
|
+
lambda parsed: (parsed[0], cast("Result[A, B]", Err(parsed[1])))
|
|
596
|
+
)
|
|
597
|
+
)
|
|
598
|
+
)
|
|
599
|
+
|
|
600
|
+
return run
|
|
601
|
+
|
|
602
|
+
return Transformed(param, make, (alternative,))
|
|
603
|
+
|
|
604
|
+
|
|
605
|
+
def filter[A](
|
|
606
|
+
param: Param[A], predicate: Callable[[A], bool], on_false: Callable[[A], str]
|
|
607
|
+
) -> Param[A]:
|
|
608
|
+
return filter_map(param, lambda value: Some(value) if predicate(value) else None, on_false)
|
|
609
|
+
|
|
610
|
+
|
|
611
|
+
def with_schema[A, B](param: Param[A], schema: Codec[B, A, Environment, object]) -> Param[B]:
|
|
612
|
+
decode = S.decode_unknown_effect(schema)
|
|
613
|
+
|
|
614
|
+
def apply(value: A) -> Effect[B, CliError, Environment]:
|
|
615
|
+
single = get_underlying_single_or_throw(param)
|
|
616
|
+
return decode(value).map_error(
|
|
617
|
+
lambda error: cast(
|
|
618
|
+
"CliError",
|
|
619
|
+
InvalidValue(
|
|
620
|
+
single.name,
|
|
621
|
+
_js_string(value),
|
|
622
|
+
f"Schema validation failed: {error.message}",
|
|
623
|
+
single.kind,
|
|
624
|
+
),
|
|
625
|
+
)
|
|
626
|
+
)
|
|
627
|
+
|
|
628
|
+
return map_effect(param, apply)
|
|
629
|
+
|
|
630
|
+
|
|
631
|
+
def map[X, A](param: Param[X], f: Callable[[X], A]) -> Param[A]:
|
|
632
|
+
return Mapped(param, f)
|
|
633
|
+
|
|
634
|
+
|
|
635
|
+
def optional[A](param: Param[A]) -> Param[A | None]:
|
|
636
|
+
return Optional(param)
|
|
637
|
+
|
|
638
|
+
|
|
639
|
+
# --- constructors ----------------------------------------------------------------
|
|
640
|
+
|
|
641
|
+
|
|
642
|
+
def single[A](kind: Kind, name: str, primitive: Primitive[A]) -> Param[A]:
|
|
643
|
+
return Single(kind, name, primitive)
|
|
644
|
+
|
|
645
|
+
|
|
646
|
+
def string(kind: Kind, name: str) -> Param[str]:
|
|
647
|
+
return Single(kind, name, primitive_.string)
|
|
648
|
+
|
|
649
|
+
|
|
650
|
+
def boolean(kind: Kind, name: str) -> Param[bool]:
|
|
651
|
+
return Single(kind, name, primitive_.boolean)
|
|
652
|
+
|
|
653
|
+
|
|
654
|
+
def integer(kind: Kind, name: str) -> Param[int]:
|
|
655
|
+
return Single(kind, name, primitive_.integer)
|
|
656
|
+
|
|
657
|
+
|
|
658
|
+
def finite(kind: Kind, name: str) -> Param[float]:
|
|
659
|
+
return Single(kind, name, primitive_.finite)
|
|
660
|
+
|
|
661
|
+
|
|
662
|
+
def date(kind: Kind, name: str) -> Param[datetime]:
|
|
663
|
+
return Single(kind, name, primitive_.date_)
|
|
664
|
+
|
|
665
|
+
|
|
666
|
+
def choice_with_value[A](kind: Kind, name: str, choices: Sequence[tuple[str, A]]) -> Param[A]:
|
|
667
|
+
return Single(kind, name, primitive_.choice(choices))
|
|
668
|
+
|
|
669
|
+
|
|
670
|
+
def literals[L: str](kind: Kind, name: str, choices: Sequence[L]) -> Param[L]:
|
|
671
|
+
return choice_with_value(kind, name, [(value, value) for value in choices])
|
|
672
|
+
|
|
673
|
+
|
|
674
|
+
def path(
|
|
675
|
+
kind: Kind,
|
|
676
|
+
name: str,
|
|
677
|
+
*,
|
|
678
|
+
path_type: PathType = "either",
|
|
679
|
+
must_exist: bool = False,
|
|
680
|
+
type_name: str | None = None,
|
|
681
|
+
) -> Param[str]:
|
|
682
|
+
return Single(kind, name, primitive_.path(path_type, must_exist), type_name=type_name)
|
|
683
|
+
|
|
684
|
+
|
|
685
|
+
def directory(kind: Kind, name: str, *, must_exist: bool = False) -> Param[str]:
|
|
686
|
+
return path(kind, name, path_type="directory", must_exist=must_exist, type_name="directory")
|
|
687
|
+
|
|
688
|
+
|
|
689
|
+
def file(kind: Kind, name: str, *, must_exist: bool = False) -> Param[str]:
|
|
690
|
+
return path(kind, name, path_type="file", must_exist=must_exist, type_name="file")
|
|
691
|
+
|
|
692
|
+
|
|
693
|
+
def redacted(kind: Kind, name: str) -> Param[Redacted[str]]:
|
|
694
|
+
return Single(kind, name, primitive_.redacted)
|
|
695
|
+
|
|
696
|
+
|
|
697
|
+
def file_text(kind: Kind, name: str) -> Param[str]:
|
|
698
|
+
return Single(kind, name, primitive_.file_text)
|
|
699
|
+
|
|
700
|
+
|
|
701
|
+
def file_parse(kind: Kind, name: str, *, format: FileFormat | None = None) -> Param[object]:
|
|
702
|
+
return Single(kind, name, primitive_.file_parse(format))
|
|
703
|
+
|
|
704
|
+
|
|
705
|
+
def file_schema[A](
|
|
706
|
+
kind: Kind,
|
|
707
|
+
name: str,
|
|
708
|
+
schema: Codec[A, object, Environment, object],
|
|
709
|
+
*,
|
|
710
|
+
format: FileFormat | None = None,
|
|
711
|
+
error_formatter: Callable[[Issue], str] | None = None,
|
|
712
|
+
) -> Param[A]:
|
|
713
|
+
return Single(
|
|
714
|
+
kind,
|
|
715
|
+
name,
|
|
716
|
+
primitive_.file_schema(schema, format=format, error_formatter=error_formatter),
|
|
717
|
+
)
|
|
718
|
+
|
|
719
|
+
|
|
720
|
+
def key_value_pair(kind: Kind, name: str) -> Param[dict[str, str]]:
|
|
721
|
+
def merge(pairs: tuple[dict[str, str], ...]) -> dict[str, str]:
|
|
722
|
+
return {key: value for pair in pairs for key, value in pair.items()}
|
|
723
|
+
|
|
724
|
+
return Mapped(variadic(Single(kind, name, primitive_.key_value_pair), min=1), merge)
|
|
725
|
+
|
|
726
|
+
|
|
727
|
+
def never(kind: Kind) -> Param[Never]:
|
|
728
|
+
return Single(kind, "__never__", primitive_.never)
|
|
729
|
+
|
|
730
|
+
|
|
731
|
+
__all__ = [
|
|
732
|
+
"ARGUMENT",
|
|
733
|
+
"FLAG",
|
|
734
|
+
"Alternative",
|
|
735
|
+
"Kind",
|
|
736
|
+
"Mapped",
|
|
737
|
+
"Optional",
|
|
738
|
+
"Param",
|
|
739
|
+
"ParamMetadata",
|
|
740
|
+
"Parse",
|
|
741
|
+
"Parsed",
|
|
742
|
+
"ParsedArgs",
|
|
743
|
+
"Single",
|
|
744
|
+
"Transformed",
|
|
745
|
+
"Variadic",
|
|
746
|
+
"at_least",
|
|
747
|
+
"at_most",
|
|
748
|
+
"between",
|
|
749
|
+
"boolean",
|
|
750
|
+
"choice_with_value",
|
|
751
|
+
"date",
|
|
752
|
+
"directory",
|
|
753
|
+
"extract_single_params",
|
|
754
|
+
"file",
|
|
755
|
+
"file_parse",
|
|
756
|
+
"file_schema",
|
|
757
|
+
"file_text",
|
|
758
|
+
"filter",
|
|
759
|
+
"filter_map",
|
|
760
|
+
"finite",
|
|
761
|
+
"get_param_metadata",
|
|
762
|
+
"get_underlying_single_or_throw",
|
|
763
|
+
"integer",
|
|
764
|
+
"key_value_pair",
|
|
765
|
+
"literals",
|
|
766
|
+
"map",
|
|
767
|
+
"map_effect",
|
|
768
|
+
"map_try_catch",
|
|
769
|
+
"never",
|
|
770
|
+
"optional",
|
|
771
|
+
"or_else",
|
|
772
|
+
"or_else_result",
|
|
773
|
+
"path",
|
|
774
|
+
"redacted",
|
|
775
|
+
"require_prompt",
|
|
776
|
+
"single",
|
|
777
|
+
"string",
|
|
778
|
+
"variadic",
|
|
779
|
+
"with_alias",
|
|
780
|
+
"with_default",
|
|
781
|
+
"with_description",
|
|
782
|
+
"with_fallback_config",
|
|
783
|
+
"with_fallback_prompt",
|
|
784
|
+
"with_hidden",
|
|
785
|
+
"with_metavar",
|
|
786
|
+
"with_negation",
|
|
787
|
+
"with_optional_value",
|
|
788
|
+
"with_schema",
|
|
789
|
+
]
|