category

os_types

A set of operating-system related types.

Author: Paulo Moura
Version: 1.2
Date: 2018/2/28
Compilation flags:
static

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

  • Provided types: This category adds “file”, “file(Extensions)”, “directory”, and “environment_variable” types for type-checking when using the “type” library object.
  • Type file: For checking if a term is an atom and an existing file.
  • Type file(Extensions): For checking if a term is an atom and an existing file with one of the listed extensions (specified as ‘.ext’).
  • Type directory: For checking if a term is an atom and an existing directory.
  • Type environment_variable: For checking if a term is an atom and an existing environment variable.

See also

osp, os, type