Package network - Namespaces

• Control.Linear.Network
• Network.Socket

  Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things.
• 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.
• 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.
• Network.FFI

  FFI binding to the low-Level C Sockets bindings for Idris.