RTypes v0.1.0 Types View Source

Link to this section Summary

Link to this section Types

Link to this type

complex_map() View Source
complex_map() :: %{
  key1: [type_generic(atom(), String.t())],
  key2: pos_integer()
}

Link to this type

type_any() View Source
type_any() :: any()

Link to this type

type_arity() View Source
type_arity() :: arity()

Link to this type

type_as_boolean(t) View Source
type_as_boolean(t) :: as_boolean(t)

Link to this type

type_atom() View Source
type_atom() :: atom()

Link to this type

type_binary() View Source
type_binary() :: binary()

Link to this type

type_bitstring() View Source
type_bitstring() :: bitstring()

Link to this type

type_bitstring_empty() View Source
type_bitstring_empty() :: <<_::0>>

Link to this type

type_bitstring_size() View Source
type_bitstring_size() :: <<_::10>>

Link to this type

type_bitstring_size_and_units() View Source
type_bitstring_size_and_units() :: <<_::20, _::_*8>>

Link to this type

type_bitstring_units() View Source
type_bitstring_units() :: <<_::_*16>>

Link to this type

type_boolean() View Source
type_boolean() :: boolean()

Link to this type

type_byte() View Source
type_byte() :: byte()

Link to this type

type_char() View Source
type_char() :: char()

Link to this type

type_charlist() View Source
type_charlist() :: charlist()

Link to this type

type_concrete_tuple() View Source
type_concrete_tuple() :: {type_any(), type_none()}

Link to this type

type_empty_list() View Source
type_empty_list() :: []

Link to this type

type_empty_map() View Source
type_empty_map() :: %{}

Link to this type

type_empty_tuple() View Source
type_empty_tuple() :: {}

Link to this type

type_float() View Source
type_float() :: float()

Link to this type

type_fun() View Source
type_fun() :: (... -> any())

Link to this type

type_fun_arity_0() View Source
type_fun_arity_0() :: (() -> any())

Link to this type

type_fun_arity_2() View Source
type_fun_arity_2() :: (any(), type_any() -> any())

Link to this type

type_fun_arity_any() View Source
type_fun_arity_any() :: (... -> :inet.port_number())

Link to this type

type_function() View Source
type_function() :: function()

Link to this type

type_generic(a, b) View Source
type_generic(a, b) :: {a, b}

Link to this type

type_generic2(a) View Source
type_generic2(a) :: {a, a}

Link to this type

type_identifier() View Source
type_identifier() :: identifier()

Link to this type

type_instansiated() View Source
type_instansiated() :: type_generic(byte(), type_private())

Link to this type

type_instansiated2() View Source
type_instansiated2() :: type_generic2(binary())

Link to this type

type_integer() View Source
type_integer() :: integer()

Link to this type

type_iodata() View Source
type_iodata() :: iodata()

Link to this type

type_iolist() View Source
type_iolist() :: iolist()

Link to this type

type_keyword() View Source
type_keyword() :: keyword()

Link to this type

type_keyword(t) View Source
type_keyword(t) :: keyword(t)

Link to this type

type_kw_list() View Source
type_kw_list() :: [{:key, any()}]

Link to this type

type_list() View Source
type_list() :: list()

Link to this type

type_list(a) View Source
type_list(a) :: [a]

Link to this type

type_literal_atom() View Source
type_literal_atom() :: :atom

Link to this type

type_literal_integer() View Source
type_literal_integer() :: 1

Link to this type

type_map() View Source
type_map() :: map()

Link to this type

type_map_keys() View Source
type_map_keys() :: %{key1: type_any(), key2: any()}

Link to this type

type_map_optional() View Source
type_map_optional() :: %{
  optional(integer()) => any(),
  required(atom()) => any()
}

Link to this type

type_maybe_improper_list() View Source
type_maybe_improper_list() :: maybe_improper_list()

Link to this type

type_maybe_improper_list(a, b) View Source
type_maybe_improper_list(a, b) :: maybe_improper_list(a, b)

Link to this type

type_mfa() View Source
type_mfa() :: mfa()

Link to this type

type_module() View Source
type_module() :: module()

Link to this type

type_neg_integer() View Source
type_neg_integer() :: neg_integer()

Link to this type

type_no_return() View Source
type_no_return() :: no_return()

Link to this type

type_node() View Source
type_node() :: node()

Link to this type

type_non_neg_integer() View Source
type_non_neg_integer() :: non_neg_integer()

Link to this type

type_none() View Source
type_none() :: none()

Link to this type

type_nonempty_charlist() View Source
type_nonempty_charlist() :: nonempty_charlist()

Link to this type

type_nonempty_improper_list(a, b) View Source
type_nonempty_improper_list(a, b) :: nonempty_improper_list(a, b)

Link to this type

type_nonempty_list() View Source
type_nonempty_list() :: [...]

Link to this type

type_nonempty_list(a) View Source
type_nonempty_list(a) :: [a, ...]

Link to this type

type_nonempty_list_short_any() View Source
type_nonempty_list_short_any() :: [...]

Link to this type

type_nonempty_list_short_typ() View Source
type_nonempty_list_short_typ() :: [any(), ...]

Link to this type

type_nonempty_maybe_improper_list() View Source
type_nonempty_maybe_improper_list() :: nonempty_maybe_improper_list()

Link to this type

type_nonempty_maybe_improper_list(a, b) View Source
type_nonempty_maybe_improper_list(a, b) :: nonempty_maybe_improper_list(a, b)

Link to this type

type_number() View Source
type_number() :: number()

Link to this type

type_pid() View Source
type_pid() :: pid()

Link to this type

type_port() View Source
type_port() :: port()

Link to this type

type_pos_integer() View Source
type_pos_integer() :: pos_integer()

Link to this type

type_range() View Source
type_range() :: 1..10

Link to this type

type_reference() View Source
type_reference() :: reference()

Link to this type

type_remote() View Source
type_remote() :: :blah.t(byte())

Link to this type

type_remote_generic(a) View Source
type_remote_generic(a) :: :blah.t(a)

Link to this type

type_remote_generic(a, b) View Source
type_remote_generic(a, b) :: Types2.generic_tuple(a, b)

Link to this type

type_remote_generic2(a, b) View Source
type_remote_generic2(a, b) :: Types2.remote_type(a, b)

Link to this type

type_struct() View Source
type_struct() :: struct()

Link to this type

type_term() View Source
type_term() :: term()

Link to this type

type_timeout() View Source
type_timeout() :: timeout()

Link to this type

type_tuple() View Source
type_tuple() :: tuple()

Link to this type

type_union() View Source
type_union() :: type_any() | type_none()