.. index:: os_types
.. _os_types/0:

.. rst-class:: right

**category**

``os_types``
============

A set of operating-system related types.

| **Author:** Paulo Moura
| **Version:** 1.2
| **Date:** 2018/2/28

| **Compilation flags:**
|    ``static``


| **Provides:**
|    :ref:`type::type/1 <type/0::type/1>`
|    :ref:`type::check/2 <type/0::check/2>`
| **Uses:**
|    :ref:`list <list/0>`
|    :ref:`os <os/0>`

| **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.

.. contents::
   :local:
   :backlinks: top

Public predicates
-----------------

(see entity ancestors)

Protected predicates
--------------------

(see entity ancestors)

Private predicates
------------------

(see entity ancestors)

Operators
---------

(none)

.. seealso::

   :ref:`osp <osp/0>`, :ref:`os <os/0>`, :ref:`type <type/0>`

