System

System :: # (opaque)

Discover the native target and obtain evidence for OS-specific operations.

Discovery is effectful. Methods on a returned target or witness are pure: the same value always describes the same target, including in shared code. Witnesses have no public constructors or codecs. Keep a witness and pass it to helpers that need the corresponding operating-system facilities.

target! : () => Target

Obtain target information and opaque operating-system witnesses. This is supplied directly by the native host; there is no pure factory.

Linux

System.Linux :: # (opaque)

unix : Linux -> Unix

Evidence that Linux supports the Unix API family.

MacOS

System.MacOS :: # (opaque)

unix : MacOS -> Unix

Evidence that macOS supports the Unix API family.

Windows

System.Windows :: # (opaque)

Unix

System.Unix :: # (opaque)

Architecture : [X64, Arm64]

The architecture of a supported native host.

Target

System.Target :: # (opaque)

The native host selected by the platform bundle, not environment data.

arch : Target -> Architecture

os : Target -> [Linux(Linux), MacOS(MacOS), Windows(Windows)]