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

Link to this section Summary

Types

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

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

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

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

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

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

Link to this section Types

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

Specs

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

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

Specs

posix_time() :: integer()

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

Full definition:

posix_time() :: integer()

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]

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