KumaChan/stdlib/os/path.km

type Path native;

export const Cwd: Path :=
    native 'os::Cwd';

export const EntryModulePath: Path :=
    native 'os::EntryModulePath';

export const EntryModuleDirPath: Path :=
    native 'os::EntryModuleDirPath';

export function Path:
    &(String) => Path
    native 'parse-path';

export function String:
    &(Path) => String
    native 'String from Path';

export function join:
    &(Path,List[String]) => Path
    native 'path-join';