Idris2/libs/network/network.ipkg

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 08:42:11 +03:00
package network

modules = Network.Socket,
          Network.Socket.Data,
          Network.Socket.Raw,
          Network.FFI
Add libraries 2020-05-18 15:59:07 +03:00			`package network`

			`modules = Network.Socket,`
			`Network.Socket.Data,`
libs/network: Port FFI calls from deprecated interface to `%foreign` pragma 2020-05-20 22:09:56 +03:00			`Network.Socket.Raw,`
			`Network.FFI`