TypeCheck.DefaultOverrides.File (TypeCheck v0.8.2) View Source

Link to this section Summary

Types

encoding_mode()

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

erlang_time()

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

mode()

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

posix_time()

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

stat_options()

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

stream_mode()

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

Link to this section Types

encoding_mode()

Specs

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}}

erlang_time()

Specs

erlang_time() ::
  {{non_neg_integer(), %Range{first: 1, last: 12, step: 1},
    %Range{first: 1, last: 31, step: 1}},
   {%Range{first: 0, last: 23, step: 1}, %Range{first: 0, last: 59, step: 1},
    %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}}}

mode()

Specs

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()

posix_time()

Specs

posix_time() :: integer()

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

Full definition:

posix_time() :: integer()

stat_options()

Specs

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]

stream_mode()

Specs

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()}