hackageDB :: [Package]

tcp: A purely functional TCP implementation

A purely functional TCP implementation

Peng Li's TCP stack based on the formal HOL4 TCP specification at http://www.cl.cam.ac.uk/~pes20/Netsem/, code base on the unified events and threads project http://www.seas.upenn.edu/~lipeng/homepage/unify.html.

Modules

• Network
  • TCP
    • Aux
      • Network.TCP.Aux.HostMonad
      • Network.TCP.Aux.Misc
      • Network.TCP.Aux.Output
      • Network.TCP.Aux.Param
      • Network.TCP.Aux.SockMonad
    • LTS
      • Network.TCP.LTS.In
      • Network.TCP.LTS.InActive
      • Network.TCP.LTS.InData
      • Network.TCP.LTS.InMisc
      • Network.TCP.LTS.InPassive
      • Network.TCP.LTS.Out
      • Network.TCP.LTS.Time
      • Network.TCP.LTS.User
    • Network.TCP.Pure
    • Type
      • Network.TCP.Type.Base
      • Network.TCP.Type.Datagram
      • Network.TCP.Type.Socket
      • Network.TCP.Type.Syscall
      • Network.TCP.Type.Timer

Downloads

• tcp-0.0.2.tar.gz (Cabal source package)
• package description (included in the package)