pz.de.LocalStateEffect
|
Alias of penzai.data_effects.local_state.LocalStateEffect : Protocol for a local state effect. |
pz.de.InitialLocalStateRequest
|
Alias of penzai.data_effects.local_state.InitialLocalStateRequest : Effect request for local state, with a state initializer. |
pz.de.FrozenLocalStateRequest
|
Alias of penzai.data_effects.local_state.FrozenLocalStateRequest : Effect request for local state with a frozen value. |
pz.de.SharedLocalStateRequest
|
Alias of penzai.data_effects.local_state.SharedLocalStateRequest : Effect request for local state that is shared. |
pz.de.HandledLocalStateRef
|
Alias of penzai.data_effects.local_state.HandledLocalStateRef : Marker for a handled local state effect. |
pz.de.WithFunctionalLocalState
|
Alias of penzai.data_effects.local_state.WithFunctionalLocalState : LocalState effect handler that functionalizes local states. |
pz.de.handle_local_states ()
|
Alias of penzai.data_effects.local_state.handle_local_states : Extracts local states from a stateful model. |
pz.de.freeze_local_states (handled, states)
|
Alias of penzai.data_effects.local_state.freeze_local_states : Embeds the given states into a handled model, and removes the handler. |
pz.de.hoist_shared_state_requests (tree[, unsafe])
|
Alias of penzai.data_effects.local_state.hoist_shared_state_requests : Hoists out the value of shared states in a pytree. |
pz.de.embed_shared_state_requests (tree, ...)
|
Alias of penzai.data_effects.local_state.embed_shared_state_requests : Embeds shared state requests into a tree. |