git.iko.soy/Idris-dev
on master help sign in
Small naming changes to the IdrisNet.Socket module.

- IdrisNet.Socket -> Network.Socket to match file & Network.CGI - Converted top-level comments from -- to ||| - Changed Socket's protocalNumber -> protocolNumber

commit64899cf6c56d4ca978065ad8fb60e9ecc1f3549e authorEric Weinstein <eric.q.weinstein@gmail.com> dateThu 31 Mar 2016, 22:45 (11 years ago) parent6076be4
1 file changed+5−5
compare with master
unifiedsplit
libs/contrib/Network/Socket.idr+5−5
libs/contrib/Network/Socket.idr+5−5
@@ -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.