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