linear-socket

Project information

An attempt at adding type-level information tracking socket properties, like Status, Family, and Protocol. Eventually, this can make use of linear-haskell for better safety guarantees.

14 Commits
1 Branch
2 Tags

README
GNU GPLv3
CHANGELOG

Created on

December 03, 2017

Copy SSH clone URLgit@gitlab.com:queertypes/linear-socket.git
Copy HTTPS clone URLhttps://gitlab.com/queertypes/linear-socket.git