typed-protocols-0.1.1.0

• Network
  Submodules

  •  Network.TypedProtocol
    Submodules

    •  Network.TypedProtocol.Codec
    •  Network.TypedProtocol.Core
    •  Network.TypedProtocol.Driver
    •  Network.TypedProtocol.Pipelined
    •  Network.TypedProtocol.Proofs

typed-protocols-cborg-0.1.0.4

• Network
  Submodules

  • TypedProtocol
    Submodules

    • Codec
      Submodules

      •  Network.TypedProtocol.Codec.CBOR

typed-protocols-doc-0.1.0.0

• Network
  Submodules

  • TypedProtocol
    Submodules

    •  Network.TypedProtocol.Documentation
      Submodules

      •  Network.TypedProtocol.Documentation.DefaultMain
      •  Network.TypedProtocol.Documentation.GraphViz
      •  Network.TypedProtocol.Documentation.Html
      •  Network.TypedProtocol.Documentation.TH
      •  Network.TypedProtocol.Documentation.Text
      •  Network.TypedProtocol.Documentation.Types

typed-protocols-examples-0.2.0.2

• Network
  Submodules

  • TypedProtocol
    Submodules

    •  Network.TypedProtocol.Channel
    • Driver
      Submodules

      •  Network.TypedProtocol.Driver.Simple
    • PingPong
      Submodules

      •  Network.TypedProtocol.PingPong.Client
      •  Network.TypedProtocol.PingPong.Codec
        Submodules

        •  Network.TypedProtocol.PingPong.Codec.CBOR
      •  Network.TypedProtocol.PingPong.Examples
      •  Network.TypedProtocol.PingPong.Server
      •  Network.TypedProtocol.PingPong.Type
    • ReqResp
      Submodules

      •  Network.TypedProtocol.ReqResp.Client
      •  Network.TypedProtocol.ReqResp.Codec
        Submodules

        •  Network.TypedProtocol.ReqResp.Codec.CBOR
      •  Network.TypedProtocol.ReqResp.Examples
      •  Network.TypedProtocol.ReqResp.Server
      •  Network.TypedProtocol.ReqResp.Type