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