• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for typed-protocols-1.0.0.0 source tarball

typed-protocols-1.0.0.0/

• CHANGELOG.md
• LICENSE
• NOTICE
• README.md
• typed-protocols.cabal
• cborg/
  • Network/
    • TypedProtocol/
      • Codec/
        • CBOR.hs
• examples/
  • Network/
    • TypedProtocol/
      • Channel.hs
      • Driver/
        • Simple.hs
      • PingPong/
        • Client.hs
        • Codec.hs
        • Examples.hs
        • Server.hs
        • Type.hs
        • Codec/
          • CBOR.hs
      • ReqResp/
        • Client.hs
        • Codec.hs
        • Examples.hs
        • Server.hs
        • Type.hs
        • Codec/
          • CBOR.hs
      • ReqResp2/
        • Client.hs
        • Type.hs
      • Stateful/
        • ReqResp/
          • Client.hs
          • Codec.hs
          • Examples.hs
          • Server.hs
          • Type.hs
      • Trans/
        • Wedge.hs
• src/
  • Network/
    • TypedProtocol.hs
    • TypedProtocol/
      • Codec.hs
      • Core.hs
      • Driver.hs
      • Lemmas.hs
      • Peer.hs
      • Proofs.hs
      • Peer/
        • Client.hs
        • Server.hs
• stateful/
  • Network/
    • TypedProtocol/
      • Stateful/
        • Codec.hs
        • Driver.hs
        • Peer.hs
        • Proofs.hs
        • Peer/
          • Client.hs
          • Server.hs
• stateful-cborg/
  • Network/
    • TypedProtocol/
      • Stateful/
        • Codec/
          • CBOR.hs
• test/
  • Main.hs
  • Network/
    • TypedProtocol/
      • PingPong/
        • Tests.hs
      • ReqResp/
        • Tests.hs