(unbranded: number): File.DescriptorCreates a File.Descriptor from a number.
When to use
Use to brand an operating-system file descriptor number when implementing a
FileSystem that returns custom File handles.
Details
File.Descriptor is a branded integer handle used by operating systems to
identify open files.
Gotchas
This constructor is nominal and does not check that the number is an integer or that it refers to an open file descriptor.
export const const FileDescriptor: Brand.Constructor<File.Descriptor>Creates a File.Descriptor from a number.
When to use
Use to brand an operating-system file descriptor number when implementing a
FileSystem that returns custom File handles.
Details
File.Descriptor is a branded integer handle used by operating systems to
identify open files.
Gotchas
This constructor is nominal and does not check that the number is an integer
or that it refers to an open file descriptor.
FileDescriptor = import BrandBrand.nominal<File.type File.Descriptor = Brand.Branded<number, "FileDescriptor">Branded type for file descriptors.
Details
File descriptors are numeric handles used by the operating system
to identify open files. The branded type ensures type safety.
Descriptor>()