Up
Module
Internal_observer
Signature
module
State
: sig .. end
type
'a t = 'a
Types.Internal_observer.t
= {
mutable
state
:
State.t
;
observing
: 'a
Types.Node.t
;
mutable
on_update_handlers
: 'a
On_update_handler.t
list
;
mutable
prev_in_all
:
Types.Packed_internal_observer.t
Uopt.t
;
mutable
next_in_all
:
Types.Packed_internal_observer.t
Uopt.t
;
mutable
prev_in_observing
: 'a
t
Uopt.t
;
mutable
next_in_observing
: 'a
t
Uopt.t
;
}
val
invariant : 'a
Core_kernel.Invariant_intf.inv
-> 'a
t
Core_kernel.Invariant_intf.inv
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
val
same : 'a
t
-> 'b
t
-> bool
val
observing : 'a
t
-> 'a
Node.t
val
use_is_allowed : 'a
t
-> bool
val
value_exn : 'a
t
-> 'a
val
on_update_exn : 'a
t
-> 'a
On_update_handler.t
-> unit
val
unlink : 'a
t
-> unit
module
Packed
: sig .. end