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