def on_host

bend-trace-context@0.2.0.0 · generation.bend:34

import bend-trace-context@0.2.0.0/generation.bend as Generation

import Base

34# The host source has no state to hand back.
35def on_host(-A: Type, action: IO(Unit & A)) -> IO(A):
36  IO.bind(Unit & A, A, action, done => IO.pure(A, Pair.snd(Unit, A, done)))

Uses (6)

Used by (9)