// //------------------ DOK FILE -------------------------------------------------- +Header core.net.ssh =pkg core.net.ssh =title core.net.ssh =short =desc Documentation in progress... // // //------------------ PROTO ----------------------------------------------------- BLOCK_SIZE +Proto BLOCK_SIZE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- Channel +Proto Channel =type Channel =mode structure =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- HMAC_FAILED +Proto HMAC_FAILED =type [Str Int] =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- Mandatory +Proto Mandatory =type list Bool =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- OID_SHA1 +Proto OID_SHA1 =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- OID_SHA256 +Proto OID_SHA256 =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- OID_SHA512 +Proto OID_SHA512 =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- PACKET_MAX_SIZE +Proto PACKET_MAX_SIZE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH +Proto SSH =type SSH =mode structure =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_CLOSE +Proto SSH2_MSG_CHANNEL_CLOSE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_DATA +Proto SSH2_MSG_CHANNEL_DATA =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_EOF +Proto SSH2_MSG_CHANNEL_EOF =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_FAILURE +Proto SSH2_MSG_CHANNEL_FAILURE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_OPEN +Proto SSH2_MSG_CHANNEL_OPEN =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_OPEN_CONFIRMATION +Proto SSH2_MSG_CHANNEL_OPEN_CONFIRMATION =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_OPEN_FAILURE +Proto SSH2_MSG_CHANNEL_OPEN_FAILURE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_REQUEST +Proto SSH2_MSG_CHANNEL_REQUEST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_SUCCESS +Proto SSH2_MSG_CHANNEL_SUCCESS =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_CHANNEL_WINDOW_ADJUST +Proto SSH2_MSG_CHANNEL_WINDOW_ADJUST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_DEBUG +Proto SSH2_MSG_DEBUG =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_DISCONNECT +Proto SSH2_MSG_DISCONNECT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_GLOBAL_REQUEST +Proto SSH2_MSG_GLOBAL_REQUEST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_IGNORE +Proto SSH2_MSG_IGNORE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEXINIT +Proto SSH2_MSG_KEXINIT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_DH_GEX_GROUP +Proto SSH2_MSG_KEX_DH_GEX_GROUP =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_DH_GEX_INIT +Proto SSH2_MSG_KEX_DH_GEX_INIT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_DH_GEX_REPLY +Proto SSH2_MSG_KEX_DH_GEX_REPLY =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_DH_GEX_REQUEST +Proto SSH2_MSG_KEX_DH_GEX_REQUEST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_ECDH_INIT +Proto SSH2_MSG_KEX_ECDH_INIT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_KEX_ECDH_REPLY +Proto SSH2_MSG_KEX_ECDH_REPLY =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_NEWKEYS +Proto SSH2_MSG_NEWKEYS =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_REQUEST_FAILURE +Proto SSH2_MSG_REQUEST_FAILURE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_REQUEST_SUCCESS +Proto SSH2_MSG_REQUEST_SUCCESS =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_SERVICE_ACCEPT +Proto SSH2_MSG_SERVICE_ACCEPT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_SERVICE_REQUEST +Proto SSH2_MSG_SERVICE_REQUEST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_USERAUTH_BANNER +Proto SSH2_MSG_USERAUTH_BANNER =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_USERAUTH_FAILURE +Proto SSH2_MSG_USERAUTH_FAILURE =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_USERAUTH_PK_OK +Proto SSH2_MSG_USERAUTH_PK_OK =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_USERAUTH_REQUEST +Proto SSH2_MSG_USERAUTH_REQUEST =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_MSG_USERAUTH_SUCCESS +Proto SSH2_MSG_USERAUTH_SUCCESS =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH2_USERAUTH +Proto SSH2_USERAUTH =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_CHANNEL_CLOSED +Proto SSH_CHANNEL_CLOSED =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_CHANNEL_EOF +Proto SSH_CHANNEL_EOF =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_CHANNEL_FAILURE +Proto SSH_CHANNEL_FAILURE =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_CLOSED +Proto SSH_CLOSED =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_DATA +Proto SSH_DATA =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_DEBUG +Proto SSH_DEBUG =type Bool =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_ERROR +Proto SSH_ERROR =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_HANDSHAKE_FAILURE +Proto SSH_HANDSHAKE_FAILURE =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_MAX +Proto SSH_MAX =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_MIN +Proto SSH_MIN =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_N +Proto SSH_N =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_NOTIFICATIONS +Proto SSH_NOTIFICATIONS =type SSH_NOTIFICATIONS =mode sum =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_OK +Proto SSH_OK =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_PROTOCOL_CLIENT +Proto SSH_PROTOCOL_CLIENT =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_PROTOCOL_SERVER +Proto SSH_PROTOCOL_SERVER =type Str =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_READY +Proto SSH_READY =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_UNKNOWN +Proto SSH_UNKNOWN =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_USERAUTH_FAILURE +Proto SSH_USERAUTH_FAILURE =type SSH_NOTIFICATIONS =mode empty constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SSH_ZERO_PADDING +Proto SSH_ZERO_PADDING =type Bool =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SshAuth +Proto SshAuth =type SshAuth =mode sum =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SshDh +Proto SshDh =type SshDh =mode structure =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SshInit +Proto SshInit =type SshInit =mode structure =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- SshKeys +Proto SshKeys =type SshKeys =mode structure =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- WINDOW_INIT +Proto WINDOW_INIT =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- algosI +Proto algosI =type SshInit -> array Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- channelC +Proto channelC =type Channel -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- channelsS +Proto channelsS =type a1{SSH} -> (hashmap Int -> Channel) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- clientS +Proto clientS =type a1{SSH} -> Bool =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- closeAfterS +Proto closeAfterS =type a1{SSH} -> Bool =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- compression_algorithms_client_to_server +Proto compression_algorithms_client_to_server =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- compression_algorithms_server_to_client +Proto compression_algorithms_server_to_client =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- cookieI +Proto cookieI =type SshInit -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- decEnabledK +Proto decEnabledK =type SshKeys -> Bool =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- decIvK +Proto decIvK =type SshKeys -> Ref{BigNum} =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- decKeyK +Proto decKeyK =type SshKeys -> (fun Ref{BigNum} Str -> Str) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- decMacK +Proto decMacK =type SshKeys -> (fun Int Str -> Str) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- decMacLenK +Proto decMacLenK =type SshKeys -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- dhS +Proto dhS =type a1{SSH} -> SshDh =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- eDH +Proto eDH =type SshDh -> BigNum =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- ecDH +Proto ecDH =type SshDh -> [Str Str] =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encEnabledK +Proto encEnabledK =type SshKeys -> Bool =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encIvK +Proto encIvK =type SshKeys -> Ref{BigNum} =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encKeyK +Proto encKeyK =type SshKeys -> (fun Ref{BigNum} Str -> Str) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encMacK +Proto encMacK =type SshKeys -> (fun Int Str -> Str) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encryption_algorithms_client_to_server +Proto encryption_algorithms_client_to_server =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- encryption_algorithms_server_to_client +Proto encryption_algorithms_server_to_client =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fCheckAuthS +Proto fCheckAuthS =type a1{SSH} -> (fun Str Str Str -> Bool) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fHandlePacketS +Proto fHandlePacketS =type a1{SSH} -> (fun Int Str -> Int) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fNotifyChannelEventC +Proto fNotifyChannelEventC =type Channel -> (fun SSH_NOTIFICATIONS Str -> Int) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fNotifyChannelRequestC +Proto fNotifyChannelRequestC =type Channel -> (fun Str Int Str -> Int) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fNotifyEventS +Proto fNotifyEventS =type a1{SSH} -> (fun SSH_NOTIFICATIONS Str -> Int) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- fNotifyNewChannelS +Proto fNotifyNewChannelS =type a1{SSH} -> (fun Channel -> Int) =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- gDH +Proto gDH =type SshDh -> BigNum =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- gcmDecK +Proto gcmDecK =type SshKeys -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- gcmEncK +Proto gcmEncK =type SshKeys -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- hC +Proto hC =type Channel -> SSH =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- hashFifoS +Proto hashFifoS =type a1{SSH} -> fifo Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- hashS +Proto hashS =type a1{SSH} -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- iS +Proto iS =type a1{SSH} -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- kexInitS +Proto kexInitS =type a1{SSH} -> SshInit =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- kex_algorithms +Proto kex_algorithms =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- keysS +Proto keysS =type a1{SSH} -> SshKeys =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- languages_client_to_server +Proto languages_client_to_server =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- languages_server_to_client +Proto languages_server_to_client =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- localPacketMaxSizeC +Proto localPacketMaxSizeC =type Channel -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- localWindowC +Proto localWindowC =type Channel -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- mac_algorithms_client_to_server +Proto mac_algorithms_client_to_server =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- mac_algorithms_server_to_client +Proto mac_algorithms_server_to_client =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- pDH +Proto pDH =type SshDh -> BigNum =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- peerKexInitS +Proto peerKexInitS =type a1{SSH} -> SshInit =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- peerPacketMaxSizeC +Proto peerPacketMaxSizeC =type Channel -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- peerWindowC +Proto peerWindowC =type Channel -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- publicKeyS +Proto publicKeyS =type a1{SSH} -> [Str Str Key] =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sendS +Proto sendS =type a1{SSH} -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sendingC +Proto sendingC =type Channel -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sequenceNumberI +Proto sequenceNumberI =type SshInit -> Int =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- serverKeyS +Proto serverKeyS =type a1{SSH} -> Key =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- serverPublicKeyS +Proto serverPublicKeyS =type a1{SSH} -> Str =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- server_host_key_algorithms +Proto server_host_key_algorithms =type Int =mode constant =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sshAccept +Proto sshAccept =type fun a1{SSH} Key Stream (fun Str Str Str -> Bool) (fun SSH_NOTIFICATIONS Str -> a2) -> SSH =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg serverKey, =type a1{SSH} =desc // +arg tcp, =type Key =desc // +arg fCheckAuth, =type Stream =desc // +arg fNotify) =type fun Str Str Str -> Bool =desc // +arg E =type fun SSH_NOTIFICATIONS Str -> a2 =desc // +arg result =type SSH =desc // // //------------------ PROTO ----------------------------------------------------- sshAuthPassword +Proto sshAuthPassword =type fun Str -> SshAuth =mode constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sshAuthPublicKey +Proto sshAuthPublicKey =type fun Str Str -> SshAuth =mode constructor =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- sshBuildPacket +Proto sshBuildPacket =type fun a1{SSH} Int Str -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg extrapad, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshCheckSign +Proto sshCheckSign =type fun a1{SSH} Str -> Bool =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg sign) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- sshClose +Proto sshClose =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshConnect +Proto sshConnect =type fun a1{SSH} Str Int Str SshAuth (fun SSH_NOTIFICATIONS Str -> Int) -> SSH =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg ip, =type a1{SSH} =desc // +arg port, =type Str =desc // +arg login, =type Int =desc // +arg auth, =type Str =desc // +arg fNotify) =type SshAuth =desc // +arg F =type fun SSH_NOTIFICATIONS Str -> Int =desc // +arg result =type SSH =desc // // //------------------ PROTO ----------------------------------------------------- sshConnectAndAuth +Proto sshConnectAndAuth =type fun a1{SSH} Str Int (fun SSH_NOTIFICATIONS Str -> Int) -> a1{SSH} =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg ip, =type a1{SSH} =desc // +arg port, =type Str =desc // +arg fNotify) =type Int =desc // +arg D =type fun SSH_NOTIFICATIONS Str -> Int =desc // +arg result =type a1{SSH} =desc // // //------------------ PROTO ----------------------------------------------------- sshConnectWithPassword +Proto sshConnectWithPassword =type fun a1{SSH} Str Int Str Str (fun SSH_NOTIFICATIONS Str -> Int) -> a1{SSH} =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg ip, =type a1{SSH} =desc // +arg port, =type Str =desc // +arg login, =type Int =desc // +arg password, =type Str =desc // +arg fNotify) =type Str =desc // +arg F =type fun SSH_NOTIFICATIONS Str -> Int =desc // +arg result =type a1{SSH} =desc // // //------------------ PROTO ----------------------------------------------------- sshConnectWithPublicKey +Proto sshConnectWithPublicKey =type fun a1{SSH} Str Int Str Str Str (fun SSH_NOTIFICATIONS Str -> Int) -> a1{SSH} =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg ip, =type a1{SSH} =desc // +arg port, =type Str =desc // +arg login, =type Int =desc // +arg pem, =type Str =desc // +arg password, =type Str =desc // +arg fNotify) =type Str =desc // +arg G =type fun SSH_NOTIFICATIONS Str -> Int =desc // +arg result =type a1{SSH} =desc // // //------------------ PROTO ----------------------------------------------------- sshDecodePacket +Proto sshDecodePacket =type fun a1{SSH} Str -> [Str Int] =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg buf) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type [Str Int] =desc // // //------------------ PROTO ----------------------------------------------------- sshFail +Proto sshFail =type fun a1{SSH} SSH_NOTIFICATIONS -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code) =type a1{SSH} =desc // +arg B =type SSH_NOTIFICATIONS =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshGetBool +Proto sshGetBool =type fun Str Int -> Bool =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg i) =type Str =desc // +arg B =type Int =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleAccept +Proto sshHandleAccept =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleAuth +Proto sshHandleAuth =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleConnect +Proto sshHandleConnect =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleConnectDhge +Proto sshHandleConnectDhge =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleConnectEcdh +Proto sshHandleConnectEcdh =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleDefault +Proto sshHandleDefault =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleSrvAuth +Proto sshHandleSrvAuth =type fun a1{SSH} Int Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshHandleUnknownCode +Proto sshHandleUnknownCode =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshKexInit +Proto sshKexInit =type fun Bool -> SshInit =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Bool =desc // +arg result =type SshInit =desc // // //------------------ PROTO ----------------------------------------------------- sshMsgBool +Proto sshMsgBool =type fun Bool -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Bool =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshMsgInt +Proto sshMsgInt =type fun Int -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshMsgInt64 +Proto sshMsgInt64 =type fun Int -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Int =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshMsgStr +Proto sshMsgStr =type fun Str -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshNotifyChannelEvent +Proto sshNotifyChannelEvent =type fun Channel SSH_NOTIFICATIONS Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type Channel =desc // +arg data) =type SSH_NOTIFICATIONS =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshNotifyChannelRequest +Proto sshNotifyChannelRequest =type fun Channel Str Int Str -> a1 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg type, =type Channel =desc // +arg wantReply, =type Str =desc // +arg data) =type Int =desc // +arg D =type Str =desc // +arg result =type a1 =desc // // //------------------ PROTO ----------------------------------------------------- sshNotifyEvent +Proto sshNotifyEvent =type fun a1{SSH} SSH_NOTIFICATIONS Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type SSH_NOTIFICATIONS =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshNotifyNewChannel +Proto sshNotifyNewChannel =type fun a1{SSH} Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg c) =type a1{SSH} =desc // +arg B =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshOnChannelEvent +Proto sshOnChannelEvent =type fun Channel (fun SSH_NOTIFICATIONS Str -> a1) -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg fNotify) =type Channel =desc // +arg B =type fun SSH_NOTIFICATIONS Str -> a1 =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshOnChannelRequest +Proto sshOnChannelRequest =type fun Channel (fun Str Int Str -> a1) -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg fRequest) =type Channel =desc // +arg B =type fun Str Int Str -> a1 =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshOnEvent +Proto sshOnEvent =type fun a1{SSH} (fun SSH_NOTIFICATIONS Str -> a2) -> (fun SSH_NOTIFICATIONS Str -> Int) =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg fNotify) =type a1{SSH} =desc // +arg B =type fun SSH_NOTIFICATIONS Str -> a2 =desc // +arg result =type fun SSH_NOTIFICATIONS Str -> Int =desc // // //------------------ PROTO ----------------------------------------------------- sshOnNewChannel +Proto sshOnNewChannel =type fun a1{SSH} (fun Channel -> a2) -> (fun Channel -> Int) =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg fNewChannel) =type a1{SSH} =desc // +arg B =type fun Channel -> a2 =desc // +arg result =type fun Channel -> Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParse +Proto sshParse =type fun a1{SSH} Str -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelClose +Proto sshParseChannelClose =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelData +Proto sshParseChannelData =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelEof +Proto sshParseChannelEof =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelFailure +Proto sshParseChannelFailure =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelOpen +Proto sshParseChannelOpen =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelOpenConfirmation +Proto sshParseChannelOpenConfirmation =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelRequest +Proto sshParseChannelRequest =type fun a1{SSH} Str -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelSuccess +Proto sshParseChannelSuccess =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseChannelWindowAdjust +Proto sshParseChannelWindowAdjust =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseDebug +Proto sshParseDebug =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseDhgeGroup +Proto sshParseDhgeGroup =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseDhgeReply +Proto sshParseDhgeReply =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseEcdhInit +Proto sshParseEcdhInit =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseEcdhReply +Proto sshParseEcdhReply =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseGlobalRequest +Proto sshParseGlobalRequest =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseInts +Proto sshParseInts =type fun Str Int Int -> list Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg i, =type Str =desc // +arg n) =type Int =desc // +arg C =type Int =desc // +arg result =type list Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseKexInit +Proto sshParseKexInit =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseNewKeys +Proto sshParseNewKeys =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParsePacket +Proto sshParsePacket =type fun a1{SSH} -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshParseProtocol +Proto sshParseProtocol =type fun a1{SSH} -> a2 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type a2 =desc // // //------------------ PROTO ----------------------------------------------------- sshParseServiceAccept +Proto sshParseServiceAccept =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseServiceRequest +Proto sshParseServiceRequest =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseUserAuthFailure +Proto sshParseUserAuthFailure =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseUserAuthPkOk +Proto sshParseUserAuthPkOk =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseUserAuthRequest +Proto sshParseUserAuthRequest =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseUserAuthSuccess +Proto sshParseUserAuthSuccess =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshParseVals +Proto sshParseVals =type fun Str Int Int -> list Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg i, =type Str =desc // +arg n) =type Int =desc // +arg C =type Int =desc // +arg result =type list Str =desc // // //------------------ PROTO ----------------------------------------------------- sshParseValsNext +Proto sshParseValsNext =type fun Str Int Int -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg i, =type Str =desc // +arg n) =type Int =desc // +arg C =type Int =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelClose +Proto sshSendChannelClose =type fun Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelData +Proto sshSendChannelData =type fun Channel Str -> a1 =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg data) =type Channel =desc // +arg B =type Str =desc // +arg result =type a1 =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelEof +Proto sshSendChannelEof =type fun Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelFailure +Proto sshSendChannelFailure =type fun Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelMsg +Proto sshSendChannelMsg =type fun Channel Int a1 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type Channel =desc // +arg data) =type Int =desc // +arg C =type a1 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelOpen +Proto sshSendChannelOpen =type fun a1{SSH} Str Int -> Channel =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg type, =type a1{SSH} =desc // +arg channel) =type Str =desc // +arg C =type Int =desc // +arg result =type Channel =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelOpenConfirmation +Proto sshSendChannelOpenConfirmation =type fun Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelRequest +Proto sshSendChannelRequest =type fun Channel Str Bool a1 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg type, =type Channel =desc // +arg wantRetry, =type Str =desc // +arg data) =type Bool =desc // +arg D =type a1 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelSuccess +Proto sshSendChannelSuccess =type fun Channel -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type Channel =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendChannelWindowAdjust +Proto sshSendChannelWindowAdjust =type fun Channel Int -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg add) =type Channel =desc // +arg B =type Int =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendDhgeInit +Proto sshSendDhgeInit =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendDhgeRequest +Proto sshSendDhgeRequest =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendEcdhInit +Proto sshSendEcdhInit =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendEcdhReply +Proto sshSendEcdhReply =type fun a1{SSH} Str Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg serverPublicKey, =type a1{SSH} =desc // +arg serverPub) =type Str =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendGlobalRequest +Proto sshSendGlobalRequest =type fun a1{SSH} Str Bool a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg name, =type a1{SSH} =desc // +arg reply, =type Str =desc // +arg data) =type Bool =desc // +arg D =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendKexInit +Proto sshSendKexInit =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendMsg +Proto sshSendMsg =type fun a1{SSH} Int a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg code, =type a1{SSH} =desc // +arg data) =type Int =desc // +arg C =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendNewKeys +Proto sshSendNewKeys =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendServiceAccept +Proto sshSendServiceAccept =type fun a1{SSH} Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg service) =type a1{SSH} =desc // +arg B =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendServiceRequest +Proto sshSendServiceRequest =type fun a1{SSH} Str (fun SSH_NOTIFICATIONS Str -> a2) -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg service, =type a1{SSH} =desc // +arg fNotify) =type Str =desc // +arg C =type fun SSH_NOTIFICATIONS Str -> a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendUserAuthFailure +Proto sshSendUserAuthFailure =type fun a1{SSH} a2 -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg reason) =type a1{SSH} =desc // +arg B =type a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendUserAuthPkOk +Proto sshSendUserAuthPkOk =type fun a1{SSH} Str Str -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg signType, =type a1{SSH} =desc // +arg keyBlob) =type Str =desc // +arg C =type Str =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendUserAuthSuccess +Proto sshSendUserAuthSuccess =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendUserAuthWithPassword +Proto sshSendUserAuthWithPassword =type fun a1{SSH} Str Str (fun SSH_NOTIFICATIONS Str -> a2) -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg login, =type a1{SSH} =desc // +arg pwd, =type Str =desc // +arg fNotify) =type Str =desc // +arg D =type fun SSH_NOTIFICATIONS Str -> a2 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSendUserAuthWithPublicKey +Proto sshSendUserAuthWithPublicKey =type fun a1{SSH} a2 (fun SSH_NOTIFICATIONS Str -> a3) -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg login, =type a1{SSH} =desc // +arg fNotify) =type a2 =desc // +arg C =type fun SSH_NOTIFICATIONS Str -> a3 =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshSign +Proto sshSign =type fun a1 Key Str -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg key, =type a1 =desc // +arg plain) =type Key =desc // +arg C =type Str =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- sshSignVerify +Proto sshSignVerify =type fun a1 Str Str Str Str -> Bool =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg algo, =type a1 =desc // +arg publicKey, =type Str =desc // +arg plain, =type Str =desc // +arg sign) =type Str =desc // +arg E =type Str =desc // +arg result =type Bool =desc // // //------------------ PROTO ----------------------------------------------------- sshTcpClose +Proto sshTcpClose =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshTcpCloseAfter +Proto sshTcpCloseAfter =type fun a1{SSH} -> Int =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Int =desc // // //------------------ PROTO ----------------------------------------------------- sshWho +Proto sshWho =type fun a1{SSH} -> Str =mode function =pkg core.net.ssh =impl mcy =link =desc // +arg A =type a1{SSH} =desc // +arg result =type Str =desc // // //------------------ PROTO ----------------------------------------------------- tcpS +Proto tcpS =type a1{SSH} -> Stream =mode field =pkg core.net.ssh =impl mcy =link =desc // // //------------------ PROTO ----------------------------------------------------- xDH +Proto xDH =type SshDh -> BigNum =mode field =pkg core.net.ssh =impl mcy =link =desc