@@ -1,7 +1,7 @@
1−-- Time to do this properly.
1+||| Time to do this properly.
2−-- Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things.
2+||| Low-Level C Sockets bindings for Idris. Used by higher-level, cleverer things.
3−-- (C) SimonJF, MIT Licensed, 2014
3+||| (C) SimonJF, MIT Licensed, 2014
4−module IdrisNet.Socket
4+module Network.Socket
6%include C "idris_net.h"
6%include C "idris_net.h"
7%include C "sys/types.h"
7%include C "sys/types.h"
@@ -140,7 +140,7 @@ record Socket where
140 descriptor : SocketDescriptor
140 descriptor : SocketDescriptor
141 family : SocketFamily
141 family : SocketFamily
142 socketType : SocketType
142 socketType : SocketType
143− protocalNumber : ProtocolNumber
143+ protocolNumber : ProtocolNumber
145||| Creates a UNIX socket with the given family, socket type and protocol
145||| Creates a UNIX socket with the given family, socket type and protocol
146||| number. Returns either a socket or an error.
146||| number. Returns either a socket or an error.