Module Rwlock.ExpertSource

Versions of the functions in Capsule.Sync.Rwlock.Expert which take a Parallel_kernel.t instead of an Await.t.

Sourceval with_access_shared : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t @ shared -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a @ unique once portable contended
Sourceval with_access_shared_freezing : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t @ shared -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a @ unique once portable contended
Sourceval with_access_shared_or_cancel : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t @ shared -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a Await.Or_canceled.t @ unique once portable contended
Sourceval with_access_shared_or_cancel_freezing : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t @ shared -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a Await.Or_canceled.t @ unique once portable contended
Sourceval with_access : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a @ unique once portable contended
Sourceval with_access_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a @ unique once portable contended
Sourceval with_access_or_cancel : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a Await.Or_canceled.t @ unique once portable contended
Sourceval with_access_or_cancel_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Access.t -> 'a @ unique once portable contended) @ local once) @ local once portable unyielding -> 'a Await.Or_canceled.t @ unique once portable contended
Sourceval with_password_shared : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.Shared.t @ local forkable -> 'a @ unique) @ local once) @ local once unyielding -> 'a @ unique
Sourceval with_password_shared_freezing : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.Shared.t @ local forkable -> 'a @ unique) @ local once) @ local once unyielding -> 'a @ unique
Sourceval with_password_shared_or_cancel : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.Shared.t @ local forkable -> 'a @ unique) @ local once) @ local once unyielding -> 'a Await.Or_canceled.t @ unique
Sourceval with_password_shared_or_cancel_freezing : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.Shared.t @ local forkable -> 'a @ unique) @ local once) @ local once unyielding -> 'a Await.Or_canceled.t @ unique
Sourceval with_password : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.t @ local -> 'a @ unique) @ local once) @ local once unyielding -> 'a @ unique
Sourceval with_password_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.t @ local -> 'a @ unique) @ local once) @ local once unyielding -> 'a @ unique
Sourceval with_password_or_cancel : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.t @ local -> 'a @ unique) @ local once) @ local once unyielding -> 'a Await.Or_canceled.t @ unique
Sourceval with_password_or_cancel_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Password.t @ local -> 'a @ unique) @ local once) @ local once unyielding -> 'a Await.Or_canceled.t @ unique
Sourceval with_key_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Key.t @ unique -> #('a * 'k Await.Capsule.Prim.Key.t) @ unique once) @ local once) @ local once unyielding -> 'a @ unique once
Sourceval with_key_or_cancel_poisoning : ('a : value_or_null) 'k. Parallel_kernel.t @ local -> Await.Cancellation.t @ local -> 'k t @ local -> f: (Parallel_kernel.t @ local -> ('k Await.Capsule.Prim.Key.t @ unique -> #('a * 'k Await.Capsule.Prim.Key.t) @ unique once) @ local once) @ local once unyielding -> 'a Await.Or_canceled.t @ unique once