Fuzion • Library Modules • base • concur • Unbuffered_Channel • infix <-

concur.Unbuffered_Channel.infix <-

(

val T

)

[Redefinition of concur.Channel.infix <-]

send a value to this Channel.

The channel must be open. Sending a value to a closed channel will cause a fault
(pre_fault if `safety` is enabled, otherwise `panic`).

In case the Channel is full, the attempt to send data will block until the Channel
is no longer full or closed.

Precondition

Inherited from concur.Sending_Channel.infix <-

pre
  (safety : !is_closed) || panic "send to closed Channel $T"

redefines:

concur.Channel.infix <-
concur.Sending_Channel.infix <-

Arguments

val

T¶

[src]

0.099dev (GIT hash a35e75388cc5c7a861f5c2a3f42d121e3aab582a)

last changed: 2026-11-03