ChEx
Constructors
| Constructor | Description |
new()
Signature: unit -> ChEx
|
|
Static members
| Static member | Description |
deq(qlens)
Signature: qlens:Lens<'s,Channel<'v>> -> Alt<'s,'v>
Type parameters: 's, 'v |
gets an element from an immutable queue in a state throught the lens |
enq(qlens, x)
Signature: (qlens:Lens<'s,Channel<'v>> * x:'v) -> Alt<'s,unit>
Type parameters: 's, 'v |
adds an element into an immutable queue in a state throught the lens |
