def inspect

bend-kit-camber@0.15.0.1 · camber.bend:408

import bend-kit-camber@0.15.0.1/camber.bend as Camber
import Base

408def inspect(-R: Type, -P: Data, -I: Data, -E: Data, -O: Data, context: Context<R, P, I, E, O>) -> IO(Maybe<&2, Counts>):
409  Context{messages} = context
410  do IO<Maybe<&2, Counts>>:
411    channel : Chan(Counts) <- Chan.new(Counts, 1)
412    +reply : Chan(Counts) = channel
413    sent : Result<&1, &1, Message<R, P, I, E, O>, Unit> <- Chan.send(Message<R, P, I, E, O>, messages, Inspect{reply})
414    inspect.sent(Message<R, P, I, E, O>, sent, reply)

Uses (12)

Used by (0)

No other definition uses this definition.