Module Runtime.IO

type 'a t = 'a t

Runtime effect type, such as 'a for direct-style Eio adapters or 'a Lwt.t for Lwt adapters.

val return : 'a -> 'a t

Lift a pure value into the runtime effect.

val bind : 'a t -> ('a -> 'b t) -> 'b t

Sequence runtime effects.