From 8b5e74048e35673cbd26b00e278e296186d2aeb8 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 10 Jun 2021 10:00:43 +0200
Subject: [PATCH] Beginnings of a TCP driver

---
 tcp.prs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 tcp.prs

diff --git a/tcp.prs b/tcp.prs
new file mode 100644
index 0000000..952c4f3
--- /dev/null
+++ b/tcp.prs
@@ -0,0 +1,17 @@
+version 1 .
+embeddedType EntityRef.Ref .
+
+Connection = <connection @handle #!ActiveSocket @spec any>.
+ConnectionPeer = <connection-peer @handle #!ActiveSocket @spec any>.
+
+TcpOutbound = <outbound @host string @port int>.
+TcpInbound = <inbound @host string @port int>.
+
+ActiveSocket =
+  / <controller @controller #!Sink>
+  / <close @reason any>
+  / Socket
+.
+
+; TODO: <credit @amount int>
+Socket = <data @payload bytes>.