AlphaGitHub
Source/Packages

Runtime.NativePeerEndpoint

packages/execution/src/Runtime/NativePeerEndpoint.alpha

405 lines36 declarations17.3 KiBSHA-256 3f09597de6f2
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 91–108

nativePeerPortWrite

Full file
91def nativePeerPortWrite =
92  (lambda unrestricted base : Nat .
93    (lambda unrestricted tail : (family NativePhysicalCommands) .
94      (nativeLaunchRecipeCommand
95        (nativeSocketSystemCall
96          1
97          (nativeLaunchRecipeArguments
98            (nativeLaunchRecipeImmediate 1)
99            (frameNativeState (naturalAdd base linuxIPv4PortAt))
100            (nativeLaunchRecipeImmediate linuxIPv4PortBytes)
101            (nativeLaunchRecipeImmediate 0))
102          (nativeLaunchRecipeStore nativePeerScratchSlot))
103        b"peer-listening-port"
104        (nativeLaunchRecipeAssertEqual
105          (nativeLaunchRecipeSlotValue nativePeerScratchSlot)
106          (nativeLaunchRecipeImmediate linuxIPv4PortBytes)
107          b"peer-listening-port-count"
108          tail))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.