@type encoding_mode() ::
  :utf8
  | {:encoding,
     :latin1
     | :unicode
     | :utf8
     | :utf16
     | :utf32
     | {:utf16, :big | :little}
     | {:utf32, :big | :little}}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

encoding_mode() :: :utf8
| {:encoding,
   :latin1
   | :unicode
   | :utf8
   | :utf16
   | :utf32
   | {:utf16, :big | :little}
   | {:utf32, :big | :little}}

@type erlang_time() ::
  {{year :: non_neg_integer(), month :: %Range{first: 1, last: 12, step: 1},
    day :: %Range{first: 1, last: 31, step: 1}},
   {hour :: %Range{first: 0, last: 23, step: 1},
    minute :: %Range{first: 0, last: 59, step: 1},
    second :: %Range{first: 0, last: 59, step: 1}}}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

erlang_time() :: {{year :: non_neg_integer(), month :: %{__struct__: Range, first: 1, last: 12, step: 1},
  day :: %{__struct__: Range, first: 1, last: 31, step: 1}},
 {hour :: %{__struct__: Range, first: 0, last: 23, step: 1},
  minute :: %{__struct__: Range, first: 0, last: 59, step: 1},
  second :: %{__struct__: Range, first: 0, last: 59, step: 1}}}

@type fd() :: {:file_descriptor, module :: module(), data :: term()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

fd :: {:file_descriptor, module :: module(), data :: term()}

@type io_device() :: pid() | fd()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

io_device() :: pid() | fd()

@type mode() ::
  :append
  | :binary
  | :charlist
  | :compressed
  | :delayed_write
  | :exclusive
  | :raw
  | :read
  | :read_ahead
  | :sync
  | :write
  | {:read_ahead, pos_integer()}
  | {:delayed_write, non_neg_integer(), non_neg_integer()}
  | encoding_mode()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

mode() :: :append
| :binary
| :charlist
| :compressed
| :delayed_write
| :exclusive
| :raw
| :read
| :read_ahead
| :sync
| :write
| {:read_ahead, pos_integer()}
| {:delayed_write, non_neg_integer(), non_neg_integer()}
| encoding_mode()

@type posix() ::
  :eacces
  | :eagain
  | :ebadf
  | :ebadmsg
  | :ebusy
  | :edeadlk
  | :edeadlock
  | :edquot
  | :eexist
  | :efault
  | :efbig
  | :eftype
  | :eintr
  | :einval
  | :eio
  | :eisdir
  | :eloop
  | :emfile
  | :emlink
  | :emultihop
  | :enametoolong
  | :enfile
  | :enobufs
  | :enodev
  | :enolck
  | :enolink
  | :enoent
  | :enomem
  | :enospc
  | :enosr
  | :enostr
  | :enosys
  | :enotblk
  | :enotdir
  | :enotsup
  | :enxio
  | :eopnotsupp
  | :eoverflow
  | :eperm
  | :epipe
  | :erange
  | :erofs
  | :espipe
  | :esrch
  | :estale
  | :etxtbsy
  | :exdev

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

posix :: :eacces
| :eagain
| :ebadf
| :ebadmsg
| :ebusy
| :edeadlk
| :edeadlock
| :edquot
| :eexist
| :efault
| :efbig
| :eftype
| :eintr
| :einval
| :eio
| :eisdir
| :eloop
| :emfile
| :emlink
| :emultihop
| :enametoolong
| :enfile
| :enobufs
| :enodev
| :enolck
| :enolink
| :enoent
| :enomem
| :enospc
| :enosr
| :enostr
| :enosys
| :enotblk
| :enotdir
| :enotsup
| :enxio
| :eopnotsupp
| :eoverflow
| :eperm
| :epipe
| :erange
| :erofs
| :espipe
| :esrch
| :estale
| :etxtbsy
| :exdev

@type posix_time() :: integer()

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

posix_time() :: integer()

@type stat_options() :: [{:time, :local | :universal | :posix}]

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

stat_options() :: [time: :local | :universal | :posix]

@type stream_mode() ::
  encoding_mode()
  | :append
  | :compressed
  | :trim_bom
  | {:read_ahead, pos_integer() | false}
  | {:delayed_write, non_neg_integer(), non_neg_integer()}

(This type is managed by TypeCheck, which allows checking values against the type at runtime.)

Full definition:

stream_mode() :: encoding_mode()
| :append
| :compressed
| :trim_bom
| {:read_ahead, pos_integer() | false}
| {:delayed_write, non_neg_integer(), non_neg_integer()}