silo:std.effects.io

Source src/silo:std.effects.io

1##! Root `IO` effect — parent of every concrete I/O sub-effect.
2##!
3##! Sub-effects live in sibling modules (Console, FileSystem, Temporal,
4##! Env, Net, Http, Tcp, …). Pure computations never mention `IO`;
5##! handler implementations are supplied by the host runtime.
6
7:use
8:end
9
10# Effect hierarchy
11## Root I/O effect; parent of the concrete effect rows below. Pure computations
12## do not mention it.
13:effect(pub) IO :end