package awa

  1. Overview
  2. Docs

Module Awa.ChannelSource

Sourcetype state =
  1. | Open
  2. | Sent_close
Sourcetype channel_end = {
  1. id : int32;
  2. win : int32;
  3. max_pkt : int32;
}
Sourcetype channel = {
  1. us : channel_end;
  2. them : channel_end;
  3. state : state;
  4. tosend : Cstruct.t;
}
Sourceval compare : channel -> channel -> int
Sourcetype t = channel
Sourcemodule Ordered : sig ... end
Sourceval make_end : int32 -> int32 -> int32 -> channel_end
Sourceval make : us:channel_end -> them:channel_end -> channel
Sourceval input_data : channel -> Cstruct.t -> (channel * Cstruct.t * Ssh.message option, string) result
Sourceval output_data : flush:bool -> channel -> Cstruct.t -> (channel * Ssh.message list, string) result
Sourceval flush : channel -> (channel * Ssh.message list, string) result
Sourceval adjust_window : channel -> int32 -> (channel * Ssh.message list, string) result
Sourcemodule Channel_map : sig ... end
Sourceval empty_db : 'a Channel_map.t
Sourceval is_empty : 'a Channel_map.t -> bool
Sourceval next_free : 'a Channel_map.t -> int32 option
Sourceval add : id:int32 -> win:int32 -> max_pkt:int32 -> channel Channel_map.t -> (channel * channel Channel_map.t, [> `No_channels_left ]) result
Sourceval lookup : Channel_map.key -> 'a Channel_map.t -> 'a option
Sourceval id : channel -> int32
Sourceval their_id : channel -> int32