Source src/silo:std.effects.net

1##! Root networking effect — parent of the transport sub-effects.
2##!
3##! Concrete transports (Http, Tcp, Udp, Dns, …) are sub-effects of
4##! `Net`. A host can deny `+Net` in one shot to sandbox all networking
5##! rather than enumerating each sub-effect.
6
7:use
8  :open effects.io IO
9:end
10
11## Root networking effect; parent of concrete transport effects.
12:effect(pub) Net IO :end