View Source TypeCheck.DefaultOverrides (TypeCheck v0.12.0)
Contains a many common types that can be used as overrides for Elixir's standard library's 'Remote Types'.
This module complements TypeCheck.Builtin
, contains all 'built-in' types of Elixir.
Implementing TypeSpecs for all types of Elixir's standard library is a work-in-progress. Some TypeCheck-versions of the types are a little more general than the original version, to make up for functionality in TypeCheck which does not exist yet.
Simply put, this means that you will never get a 'false positive' (a correct value not being accepted by a function), but in very rare cases you might get a 'false negative' (an improper value passing the type-check.)
Link to this section Summary
Functions
Lists all overridden types in {module, function, arity} format.
Link to this section Functions
@spec default_overrides() :: [mfa()]
Lists all overridden types in {module, function, arity} format.