name:                tcp
version:             0.0.2
synopsis:            A purely functional TCP implementation
description:         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>.

license:             BSD3
license-file:        LICENSE
author:              Peng Li and Stephan Zdancewic
maintainer:          Don Stewart
category:            Network
build-type:          Simple
cabal-version:       >= 1.2
homepage:            http://www.cl.cam.ac.uk/~pes20/Netsem/
extra-source-files:  README, TODO

library
  exposed-modules:
    Network.TCP.Pure

    Network.TCP.LTS.InData
    Network.TCP.LTS.Out
    Network.TCP.LTS.InMisc
    Network.TCP.LTS.Time
    Network.TCP.LTS.InPassive
    Network.TCP.LTS.User
    Network.TCP.LTS.In
    Network.TCP.LTS.InActive

    Network.TCP.Aux.Output
    Network.TCP.Aux.Misc
    Network.TCP.Aux.SockMonad
    Network.TCP.Aux.HostMonad
    Network.TCP.Aux.Param

    Network.TCP.Type.Base
    Network.TCP.Type.Socket
    Network.TCP.Type.Datagram
    Network.TCP.Type.Syscall
    Network.TCP.Type.Timer

  build-depends:
    base,
    containers,
    old-time

  extensions:
    ScopedTypeVariables