Package network - Namespaces

• Control.Linear.Network
• Network.Socket

  Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things. Original (C) SimonJF, MIT Licensed, 2014 Modified (C) The Idris Community, 2015, 2016, 2019
• Network.Socket.Data

  Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things. Types used by Network.Socket.Raw and Network.Socket. Original (C) SimonJF, MIT Licensed, 2014 Modified (C) The Idris Community, 2015, 2016, 2019
• Network.Socket.Raw

  Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things. Type-unsafe parts. Use Network.Socket for a safe variant. Original (C) SimonJF, MIT Licensed, 2014 Modified (C) The Idris Community, 2015, 2016
• Network.FFI

  FFI binding to the low-Level C Sockets bindings for Idris. Modified (C) The Idris Community, 2020