TypeCheck.DefaultOverrides.File (TypeCheck v0.8.0) View Source
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.
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() :: {{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}}}
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()}