Module Moonpool.ChanSource

Channels.

The channels have bounded size. Push/pop return futures or can use effects to provide an await-friendly version.

The channels became bounded since @0.7 .

Sourcetype 'a t

Channel carrying values of type 'a.

Sourceval create : max_size:int -> unit -> 'a t

Create a channel.

Sourceexception Closed
Sourceval try_push : 'a t -> 'a -> bool

try_push chan x pushes x into chan. This does not block. Returns true if it succeeded in pushing.

  • raises Closed

    if the channel is closed.

Sourceval try_pop : 'a t -> 'a option

try_pop chan pops and return an element if one is available immediately. Otherwise it returns None.

  • raises Closed

    if the channel is closed and empty.

Sourceval close : _ t -> unit

Close the channel. Further push and pop calls will fail. This is idempotent.

Sourceval push : 'a t -> 'a -> unit

Push the value into the channel, suspending the current task if the channel is currently full.

  • raises Closed

    if the channel is closed

  • since 0.7
Sourceval pop : 'a t -> 'a

Pop an element. This might suspend the current task if the channel is currently empty.

  • raises Closed

    if the channel is empty and closed.

  • since 0.7