List of all items

Structs

• actors::ActorDecl
• actors::BearerSeam
• actors::CallAdmission
• actors::Contract
• actors::ForeignCaller
• actors::OidcSeam
• actors::SignatureSeam
• actors::SumMember
• agent_state::AgentStateModel
• agent_state::Edge
• agent_state::NotEvaluated
• agent_state::StateMachine
• agent_state::Violation
• analysis::ContextBoundaryInfo
• analysis::ContextSequenceInfo
• analysis::ProjectAnalysis
• check_pipeline::FileCheckResult
• check_pipeline::UnitCheckCtx
• checker::CapabilityCtx
• checker::CapabilityInfo
• checker::CapabilityOpInfo
• checker::CheckSinks
• checker::CheckedProgram
• checker::ExprId
• checker::HandlerBodyCheck
• checker::RecordCheck
• checker::TestHandler
• checker::TestServiceSig
• checker::TyId
• checker::TypedCommons
• checker::TypedExpr
• checker::Types
• checker::VariantInfo
• expr_types::ExprTypeSink
• firstparty::Instantiable
• firstparty::Unit
• hints::Hint
• hints::HintSink
• icu::IcuParseError
• icu::IcuPlaceholder
• index::CallEdge
• index::ForeignRef
• index::ImplEdge
• index::IndexBuilder
• index::ProjectIndex
• index::RefEdge
• index::RefSink
• index::RefineEdge
• index::SiteRef
• index::SymbolEntry
• index::SymbolKey
• index::SymbolModifiers
• kernel_methods::KernelMethod
• locals::LocalBinding
• locals::LocalsSink
• project_model::AdapterBinding
• project_model::ErrorSink
• project_model::FnDecl
• project_model::IncludedFile
• project_model::ReachedTypes
• project_model::ShadowedReaches
• project_model::ShadowedType
• project_model::TypeDecl
• project_model::UnitInfo
• project_model::ViewConflict
• project_model::ViewReach
• requirements::Materialize
• requirements::Requirement
• requirements::RequirementSink
• resolver::CrossContextCapability
• resolver::CrossContextCapabilityOp
• resolver::CrossContextInfo
• resolver::CrossContextService
• resolver::MethodTable
• resolver::ResolvedCommons
• resolver::ShadowedImport
• schema_registry::AgentVersions
• schema_registry::MigrationStep
• secrets::SecretReads
• shadow_uses::ShadowScope
• stability::StabilityPolicy
• stability::UnitStability
• store_ops::StoreOp
• store_write::StoreWrite
• symbols::ConsumedType
• symbols::DerivedInstance
• symbols::FileDeclIndex
• symbols::MessageBundleInfo
• symbols::UnitTable
• test_suites::ResolvedStub
• test_suites::SuiteView
• unit_signature::CapabilityOpSignature
• unit_signature::CapabilitySignature
• unit_signature::FnSignature
• unit_signature::HandlerSignature
• unit_signature::MethodTableSignature
• unit_signature::ParamSignature
• unit_signature::StoreFieldSignature
• unit_signature::UnitId
• unit_signature::UnitSignature
• websocket::WsOpenTarget
• wire::WireField
• wire::WireModel
• wire::WireScalar
• wire::WireSum
• wire::WireType
• wire::WireVariant
• wire_format::Header
• wire_format::reference::Example
• worker_bindings::WorkerBinding

Enums

• Platform
• actors::CallSumMember
• actors::ClaimPredicate
• actors::Identity
• actors::Scheme
• actors::SumMemberSeam
• agent_state::Certainty
• agent_state::Target
• checker::Callee
• checker::NamedKind
• checker::QueryRole
• checker::StoreField
• checker::Ty
• firstparty::Binding
• firstparty::OptionKind
• firstparty::Platform
• firstparty::Stability
• firstparty::UnitKind
• hints::HintKind
• icu::DateStyle
• icu::FormatKind
• icu::IcuParseErrorKind
• icu::NumberStyle
• icu::PlaceholderKind
• icu::PluralCategory
• icu::SubSegment
• icu::TemplateSegment
• index::SymbolKind
• locals::LocalKind
• project_model::BuildTarget
• project_model::Visibility
• requirements::RequirementSource
• requirements::StoreKind
• symbols::ContextMessageBundle
• symbols::OptionValue
• test_suites::StubScope
• unit_signature::HandlerKindSignature
• unit_signature::ProtocolSignature
• websocket::WsOpenShape
• wire::BaseGuard
• wire::Expected
• wire::JsonKind
• wire::Provenance
• wire::Revalidation
• wire::TypeBody
• wire::TypeRef
• wire::UncheckedReason
• wire::WireBody
• wire::WireInst
• wire::WireRef
• wire_format::CallCheck
• wire_format::reference::Outcome
• worker_bindings::BindingSource

Functions

• actors::bearer_seam_for
• actors::by_clause_is_bearer
• actors::call_admission_for
• actors::caller_binder_for
• actors::claim_predicate_to_js
• actors::claim_witness_js
• actors::default_actor
• actors::foreign_caller_of
• actors::oidc_seam_for
• actors::parse_claim_predicate
• actors::prelude_actor
• actors::route_is_secured
• actors::scheme_admissible
• actors::signature_seam_for
• actors::signature_seam_for_by
• actors::signature_seam_of_route
• actors::sum_has_open_member
• actors::sum_members_for
• agent_state::agent_state_model
• agent_state::combine_guards
• agent_state::handler_commits
• agent_state::may_violate_diagnostics
• analysis::analyse_project
• analysis::analyse_project_with_policy
• assets::asset_key
• assets::at_path_error
• assets::at_path_reason
• assets::bundle_not_served_warnings
• assets::compose_unit_assets
• assets::content_type_for
• assets::declared_served_paths
• assets::deployed_assets
• assets::name_error
• assets::needs_project_error
• assets::outside_assets_dir_error
• assets::path_errors
• assets::phase_asset_files
• assets::phase_asset_routes
• assets::read_declared_files
• assets::served_path
• assets::served_path_with_hash
• assets::single_file_asset_errors
• assets::unsafe_asset_path_reason
• assets::unsafe_path_error
• ast_text::branch_outcome
• ast_text::pattern_summary
• ast_text::peel_paren
• check_pipeline::check_file_core
• check_pipeline::prepare_unit_check_ctx
• check_pipeline::record_analyse_types
• checker::call_record_type_name
• checker::certify
• checker::check
• checker::check_body
• checker::check_contracts
• checker::check_event_field_default
• checker::check_handler_body
• checker::check_invariants
• checker::check_migrations
• checker::check_record
• checker::check_record_in
• checker::check_state_initialiser
• checker::check_transitions
• checker::compatible
• checker::embedding_for
• checker::instantiate_field_ty
• checker::locale_tag_accepts
• checker::locale_tag_pattern
• checker::map_entry_ty
• checker::named_ty
• checker::named_ty_with_args
• checker::record_type_refs
• checker::reset_compared_cache
• checker::resolve_type_ref
• checker::resolve_type_ref_in
• checker::type_from_decl
• checker::type_param_subst
• checker::variants_of
• checker::zero_value_ts
• context_checks::build_capability_op_info
• context_checks::check_context_constraints
• context_checks::check_context_declarations
• context_checks::check_handler_constraints
• context_checks::reject_fn_types
• context_checks::ts_type_ref_display
• context_checks::type_ref_is_held
• context_checks::type_ref_to_display
• context_checks::validate_store_field_value_types
• contract::canon_capability_op_signature
• contract::canon_fn_signature
• contract::canon_handler_signature
• contract::canon_predicate
• contract::canon_refinement
• contract::canon_storage_type
• contract::canon_store_field_signature
• contract::canon_unit_signature
• contract::contract_hash
• contract::fnv1a64_hex
• contract::own_contract_hashes
• contract::service_contract_hash
• contract::service_normal_form
• embeds::compose_unit_embeds
• embeds::embedded_text
• embeds::name_error
• embeds::needs_project_error
• embeds::outside_embeds_dir_error
• embeds::path_errors
• embeds::phase_embed_files
• embeds::placement_error
• embeds::read_declared_embeds
• embeds::single_file_embed_errors
• embeds::unsafe_path_error
• exports::check_exports
• exports::manifest_diagnostics
• expr_types::type_at_offset
• expr_types::type_at_span
• firstparty::allow_entry_is_live
• firstparty::allows
• firstparty::cloudflare_binding_source
• firstparty::covers
• firstparty::experimental_items
• firstparty::experimental_items_in
• firstparty::exported_names
• firstparty::instantiable
• firstparty::is_extensible
• firstparty::is_extensible_in
• firstparty::names_first_party_item
• firstparty::names_first_party_item_in
• firstparty::platform_of
• firstparty::provider_takes_env
• firstparty::split_item_path
• firstparty::split_item_path_in
• firstparty::stability_of
• firstparty::stability_of_in
• firstparty::unit
• icu::find_icu_close
• icu::icu_dispatch_placeholders
• icu::parse_icu_placeholder
• icu::placeholder_names
• icu::split_template
• icu::template_format_kinds
• kernel_methods::methods_for
• locals::binding_at_def
• locals::locals_at
• narrowing::matched_is_tests
• packages::apply_graph
• project_model::assemble_unit_info
• project_model::check_discovered_files
• project_model::check_function_type_boundary_items
• project_model::close_reachable_types
• project_model::close_view_types
• project_model::collect_type_decls
• project_model::collect_unit_methods
• project_model::compose_unit_symbols
• project_model::firstparty_file_id
• project_model::firstparty_parsed
• project_model::handler_cross_caps
• project_model::inject_service_defaults
• project_model::merge_consumed_exports
• project_model::normalize_service_defaults
• project_model::phase_consumes_aliases
• project_model::phase_detect_consumes_cycles
• project_model::phase_discovery
• project_model::phase_edge_cache_reach
• project_model::phase_event_subscriptions
• project_model::phase_file_index
• project_model::phase_function_type_boundaries
• project_model::phase_group
• project_model::phase_locale_bundle_ambiguity
• project_model::phase_messages_bundles
• project_model::phase_parse
• project_model::phase_platform_lock
• project_model::phase_resolve_consumes
• project_model::phase_resolve_derived
• project_model::phase_resolve_uses
• project_model::phase_secrets_computed_name
• project_model::phase_symbol_tables
• project_model::phase_uses_name_conflicts
• project_model::phase_validate_capability_exports
• project_model::phase_validate_providers
• project_model::phase_validate_type_exports
• project_model::phase_workers_provider_agent_cross_context
• project_model::phase_workers_unprovided_capabilities
• project_model::phase_workers_ws_open_split
• project_model::provider_constructs_agent
• project_model::resolve_consume_prefix
• project_model::shadowed_imports
• project_model::shadowed_imports_in
• project_model::tree_root_for
• project_model::uses_first_order
• recovery::diagnose_unparsable
• requirements::store_reason
• resolver::check_hidden_type_names
• resolver::check_hidden_type_names_in_suite
• resolver::check_shadowed_type_names
• resolver::check_shadowed_type_names_in_suite
• resolver::compute_is_uses_commons_type
• resolver::cross_context_service_for
• resolver::resolve
• resolver::resolve_file
• resolver::resolve_file_record
• resolver::resolve_recovering
• resolver::split_broken_decl_echoes
• resolver::without_resolve_echoes
• schema_registry::parse_or_diagnose
• schema_registry::reconcile
• schema_registry::reconcile_agents
• secrets::provider_secret_reads_of
• secrets::secret_reads_of
• secrets::worker_secret_reads
• shadow_uses::check_shadowed_uses
• store_ops::is_mutating
• store_ops::is_mutating_any
• store_ops::ops_for
• store_write::store_kinds
• store_write::store_write
• symbols::assemble_index
• symbols::build_cross_context_info
• symbols::build_file_decl_index
• symbols::build_unit_table
• symbols::combined_types_for
• symbols::combined_types_for_unit_info
• symbols::consumes_span_of
• symbols::contract_types_for
• symbols::cron_and_queue_triggers
• symbols::detect_context_message_bundle
• symbols::discover_event_subscribers
• symbols::display_type_name
• symbols::display_type_names_in
• symbols::is_edge_cache_base
• symbols::is_synthetic_render
• symbols::local_value_kind
• symbols::parsed_alias_span
• symbols::record_capability_clause_ref
• symbols::record_flattened_caps
• symbols::record_provides_clause_ref
• symbols::resolve_given_cap_ref
• symbols::uses_span_of
• test_env::case_env
• test_env::check_env_binding_clash
• test_env::check_env_clauses
• test_env::has_env
• test_env::remote_env_disagreement
• test_suites::build_privileged_resolved
• test_suites::check_history_binding
• test_suites::event_publisher
• test_suites::history_handlers
• test_suites::history_variant_name
• test_suites::infer_harness_participants
• test_suites::infer_participants
• test_suites::integration_view
• test_suites::phase_integration_bodies
• test_suites::phase_test_bodies
• test_suites::privileged_view
• test_suites::prop_binding_generable
• test_suites::register_call_record_types
• test_suites::remote_clock_dependent
• test_suites::remote_unsupported
• test_suites::suite_ordinal
• test_suites::typecheck_case_body
• test_suites::typecheck_integration_case_body
• test_suites::value_block
• unit_signature::unit_signature_for
• websocket::analyse_open_shape
• wire::boundary_model
• wire::codec_suffix
• wire::collect_boundary_types
• wire::collect_codec_closure
• wire::collect_generic_instantiations
• wire::field_base_guards
• wire::field_predicates
• wire::inst_codec_suffix
• wire::json_kind_of
• wire::record_inst_fields
• wire::rename_type_ref
• wire::sum_inst_variants
• wire::wire_ref
• wire::wire_type
• wire_default::escape_ts_literal
• wire_default::lower_field_default_wire
• wire_format::edge_key_from
• wire_format::edge_key_to
• wire_format::edge_suffix
• wire_format::is_edge_name
• wire_format::reference::example_contracts
• wire_format::reference::render_reference
• wire_format::signing_input
• worker_bindings::duplicate_bindings
• worker_bindings::instance_binding_name
• worker_bindings::phase_duplicate_bindings
• worker_bindings::screaming_snake

Type Aliases

• expr_types::FileExprTypes
• hints::FileHints
• locals::FileLocals
• project_model::BrokenDeclNames
• project_model::InjectedUnits
• requirements::FileRequirements

Constants

• actors::CALLER_ID
• agent_state::PATH_BUDGET
• assets::SERVED_PREFIX
• builtin_names::map_query::ENTRIES
• builtin_names::map_query::KEY
• builtin_names::map_query::KEYS
• builtin_names::map_query::VALUE
• builtin_names::map_query::VALUES
• builtin_names::methods::FOLD_EFF
• builtin_names::methods::FOR_EACH
• builtin_names::methods::OF
• builtin_names::methods::PAR_TRAVERSE
• builtin_names::methods::PAR_TRAVERSE_ALL
• builtin_names::methods::PAR_TRAVERSE_TRY
• builtin_names::methods::RAW
• builtin_names::methods::TRAVERSE_ALL
• builtin_names::methods::TRAVERSE_TRY
• builtin_names::methods::UNSAFE
• builtin_names::types::BYTES
• builtin_names::types::DURATION
• builtin_names::types::FLOAT
• builtin_names::types::HTTP_RESULT
• builtin_names::types::INSTANT
• builtin_names::types::INT
• builtin_names::types::JSON
• builtin_names::types::LIST
• builtin_names::types::MAP
• builtin_names::types::MAP_ENTRY
• builtin_names::types::QUEUE_RESULT
• builtin_names::types::REQUEST_HEADERS
• builtin_names::types::STREAM
• builtin_names::types::TOKEN_CLAIMS
• checker::BOUNDARY_REJECTIONS
• checker::RUN_ID_NS
• contract::FNV1A64_OFFSET
• contract::FNV1A64_PRIME
• embeds::MAX_EMBEDS_TOTAL_BYTES
• embeds::MAX_EMBED_BYTES
• exports::EXPORT_CONTEXT
• exports::EXPORT_UNKNOWN
• firstparty::BYNK_ADAPTER_SRC
• firstparty::BYNK_CRYPTO_SRC
• firstparty::BYNK_LIST_SRC
• firstparty::BYNK_LOCALE_SRC
• firstparty::BYNK_LOCALE_TYPES_SRC
• firstparty::BYNK_MAP_SRC
• firstparty::BYNK_STRING_SRC
• firstparty::BYNK_SURFACE_CAPABILITIES
• firstparty::BYNK_UNIT
• firstparty::CLOUDFLARE_ADAPTER_SRC
• firstparty::CLOUDFLARE_BINDING_FILENAME
• firstparty::CLOUDFLARE_UNIT
• firstparty::CRYPTO_KEY_TYPES
• firstparty::CRYPTO_UNIT
• firstparty::EDGE_CACHE_BINDING_PREFIX
• firstparty::FIRSTPARTY_SOURCES
• firstparty::KV_BINDING_NAME
• firstparty::LIST_UNIT
• firstparty::LOCALE_TYPES_UNIT
• firstparty::LOCALE_UNIT
• firstparty::MAP_UNIT
• firstparty::R2_BINDING_PREFIX
• firstparty::R2_JURISDICTIONS
• firstparty::R2_JURISDICTION_OPTION
• firstparty::RATELIMIT_BINDING_PREFIX
• firstparty::RATELIMIT_LIMIT_OPTION
• firstparty::RATELIMIT_PERIODS
• firstparty::RATELIMIT_PERIOD_OPTION
• firstparty::SERVICE_BINDING_PREFIX
• firstparty::SERVICE_WORKER_OPTION
• firstparty::STRING_UNIT
• firstparty::UNITS
• kernel_methods::BYTES_METHODS
• kernel_methods::DURATION_METHODS
• kernel_methods::EFFECT_RESULT_METHODS
• kernel_methods::FLOAT_METHODS
• kernel_methods::INSTANT_METHODS
• kernel_methods::INT_METHODS
• kernel_methods::LIST_METHODS
• kernel_methods::MAP_METHODS
• kernel_methods::OPTION_METHODS
• kernel_methods::QUERY_METHODS
• kernel_methods::REQUEST_HEADERS_METHODS
• kernel_methods::RESULT_METHODS
• kernel_methods::STRING_METHODS
• kernel_methods::TOKEN_CLAIMS_METHODS
• packages::ALIAS_SHADOWS_UNIT
• packages::DEV_DEPENDENCY_IN_SOURCE
• packages::UNAPPROVED_REQUIREMENT
• packages::UNIT_NOT_EXPORTED
• packages::UNKNOWN_UNIT
• packages::UNSUPPORTED_IN_DEPENDENCY
• project_model::FIRSTPARTY_FILE_ID_BASE
• project_model::FIRSTPARTY_ID_BASE
• project_model::FIRSTPARTY_ID_BLOCK
• stability::EXPERIMENTAL
• stability::MANIFEST
• stability::NOT_EXPERIMENTAL
• stability::UNKNOWN_ITEM
• store_ops::CACHE_STORE_OPS
• store_ops::CELL_STORE_OPS
• store_ops::LOG_STORE_OPS
• store_ops::MAP_QUERY_ACCESSORS
• store_ops::MAP_STORE_OPS
• store_ops::SET_STORE_OPS
• test_suites::PROP_GEN_DEPTH
• websocket::CONNECTION_BINDING
• wire::WIRE_DISCRIMINANT
• wire_format::ACCEPTED_WIRE_VERSIONS
• wire_format::CALLER_HEADER
• wire_format::CALL_CHECKS
• wire_format::CALL_METHOD
• wire_format::CALL_PATH_PREFIX
• wire_format::CONTRACT_HEADER
• wire_format::EDGE_FROM_PREFIX
• wire_format::EDGE_TO_PREFIX
• wire_format::HEADERS
• wire_format::MALFORMED_JSON_DETAILS
• wire_format::MAX_BODY_BYTES
• wire_format::MIGRATE_CALLER
• wire_format::MIGRATE_KEY
• wire_format::MIGRATE_PATH_PREFIX
• wire_format::SIGNATURE_HEADER
• wire_format::SIGNATURE_WINDOW_SECONDS
• wire_format::SIGNING_SCHEME
• wire_format::TIMESTAMP_HEADER
• wire_format::WIRE_HEADER
• wire_format::WIRE_VERSION
• wire_format::reference::EXAMPLES
• wire_format::reference::EXAMPLE_SOURCE