package awa

You can search for identifiers within the package.

in-package search v0.2.0

package awa

awa
- Awa
  - Auth
  - Channel
    
    Channel_map
    
    Ordered
  - Cipher
  - Client
  - Common
  - Dbuf
  - Hmac
  - Hostkey
  - Kex
    
    Dh
  - Keys
    
    Log
  - Packet
  - Server
    
    Log
  - Ssh
  - Util
  - Wire

Legend:
Library
Module
Module type
Parameter
Class
Class type

type state =

| Open
| Sent_close

type channel_end = {

id : int32;
win : int32;
max_pkt : int32;

}

type channel = {

us : channel_end;
them : channel_end;
state : state;
tosend : Cstruct.t;

}

val compare : channel -> channel -> int

type t = channel

module Ordered : sig ... end

val make_end : int32 -> int32 -> int32 -> channel_end

val make : us:channel_end -> them:channel_end -> channel

val input_data : 
  channel ->
  Cstruct.t ->
  (channel * Cstruct.t * Ssh.message option, string) result

val output_data : 
  channel ->
  Cstruct.t ->
  (channel * Ssh.message list, string) result

val adjust_window : 
  channel ->
  int32 ->
  (channel * Ssh.message list, string) result

module Channel_map : sig ... end

type db = channel Channel_map.t

val empty_db : 'a Channel_map.t

val is_empty : 'a Channel_map.t -> bool

val next_free : 'a Channel_map.t -> int32 option

val add : 
  id:int32 ->
  win:int32 ->
  max_pkt:int32 ->
  channel Channel_map.t ->
  (channel * channel Channel_map.t, [> `No_channels_left ]) result

val update : channel -> channel Channel_map.t -> channel Channel_map.t

val remove : Channel_map.key -> 'a Channel_map.t -> 'a Channel_map.t

val lookup : Channel_map.key -> 'a Channel_map.t -> 'a option

val id : channel -> int32

val their_id : channel -> int32