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. |