o ,wi@sdZddlZddlZddlmZmZmZmZddlm Z ddlm Z e Z deddfdd Ze Zd eeeed effddfd d ZdedefddZdedefddZeddddgZdede jfddZdS)zHelper functions for writing Daglish traversals. These are kept in a separate file so they can reference both the core Daglish implementation and Fiddle Buildable's. N)AnyCallableTypeUnion)config)daglishvaluereturncCstt|dS)z)Registers a certain type to be immutable.N)_IMMUTABLE_OBJECT_IDSaddidrr[/home/ubuntu/sommelier/.venv/lib/python3.10/site-packages/fiddle/_src/daglish_extensions.pyregister_immutable sr fn_or_cls.cCstt|dSN)'_FUNCTIONS_WITH_IMMUTABLE_RETURN_VALUESr r )rrrr-register_function_with_immutable_return_value*srcCs2t|pt|totdd|Dpt|tvS)avReturns true if value is immutable from the point view of Fiddle. This method differs from `is_internable` in that NamedTuples and other tuple subclasses are included here. Frozen dataclasses are not considered as immutable here. Because dataclasses are not traversable by default, and will be handled like a generic object. The motivation for this decision is partly to encourage users to create fdl.Config out of dataclasses rather than have dataclass instances in the fdl.Config. Args: value: A candidate value to check for immutability. Returns: A bool indicating whether `value` is immutable. cs|]}t|VqdSr) is_immutable.0errr Ezis_immutable..)r is_internable isinstancetupleallr r r rrrr1s  rcCsPt|p't|totdd|Dp't|tvp't|tjo'tt |t vS)atReturns true if value can be unshared and build an equivalent object. This is a slight generalization of is_immutable, for example we can have shared = fdl.Config(jax.nn.initializers.glorot_uniform, batch_axis=(0,)) cfg.a.init = shared cfg.b.init = shared is_unshareable will return True for `shared`, indicating that we can replace the config with the following one, cfg2.a.init = fdl.Config(jax.nn.initializers.glorot_uniform, batch_axis=(0,)) cfg2.b.init = fdl.Config(jax.nn.initializers.glorot_uniform, batch_axis=(0,)) This differs in configuration API, because setting (cfg_or_cfg2).a.init.batch_axis = (1,) will set both initializers in cfg, but only the first initializer in cfg2. However, if we immediately call fdl.build(cfg), it is equivalent to fdl.build(cfg2), because the initializer is the same. For codegen, this will explictly classsify jax dtypes and initializers as immutable, so that they are not extracted as separate variables in generated code. Args: value: A candidate value to check for immutability. Returns: A bool indicating whether `value` is immutable. csrr)is_unshareablerrrrrorz!is_unshareable..) rrrrrr r config_lib Buildable get_callablerr rrrr Ks #   r z(?:{})|z\.(?P[\w_]+)z#\[(?P\d+|'[^']+'|\"[^\"]+\")\]pathcCsg}d}|t|krTt||}|std|d|d|}|dr0|t|dn|drB|tt |dnt d|| d}|t|ks t |S)aParses a string path into a path with Attr and Key elements. Note that we can't distinguish between Index and Key or Attr and BuildableAttr. We might eventually remove that distinction from Daglish itself. Args: path: Path string. If appended to a symbol it should be a valid Python expression; in particular if the first element is an attribute, the path must start with ".attribute_name", not "attribute_name". Returns: Parsed Daglish path. rzCould not parse z (starting at position ) attr_namekeyzUnexpected regex match )len _PATH_PARTmatch ValueError groupdictappendrAttrKeyast literal_evalAssertionErrorendr)r%result current_idxr+ match_dictrrr parse_paths"    r8)__doc__r1retypingrrrr fiddle._srcrr!rsetr rrrboolrr compileformatjoinr*strPathr8rrrrs2   -