spectra

-record(sp_simple_type, {
    type ::
        string
        | nonempty_string
        | integer
        | non_neg_integer
        | neg_integer
        | pos_integer
        | float
        | number
        | boolean
        | binary
        | nonempty_binary
        | bitstring
        | nonempty_bitstring
        | atom
        | term
        | reference
        | pid
        | port
        | iolist
        | iodata
        | none
        | map
}).
-record(sp_tuple, {fields :: any | [spectra:sp_type()]}).
-record(sp_map, {fields :: [spectra:map_field()], struct_name :: undefined | atom()}).
-record(sp_rec, {
    name :: atom(), fields :: [{atom(), spectra:sp_type()}], arity :: pos_integer()
}).
-record(sp_type_with_variables, {type :: spectra:sp_type(), vars :: [atom()]}).
-record(sp_function, {args :: any | [spectra:sp_type()], return :: spectra:sp_type()}).
-record(sp_union, {types = [spectra:sp_type()]}).
-record(sp_literal, {value :: term()}).
-record(sp_rec_ref, {
    record_name :: spectra:user_type_name(), field_types :: [spectra:record_field()]
}).
-record(sp_remote_type, {mfargs :: {module(), atom(), [spectra:sp_type()]}}).
-record(sp_maybe_improper_list, {elements :: spectra:sp_type(), tail :: spectra:sp_type()}).
-record(sp_nonempty_improper_list, {elements :: spectra:sp_type(), tail :: spectra:sp_type()}).
-record(sp_user_type_ref, {
    type_name :: spectra:user_type_name(), variables :: [spectra:sp_type()]
}).
-record(sp_var, {name :: atom()}).
-record(sp_range, {type :: integer, lower_bound :: integer(), upper_bound :: integer()}).
-record(sp_list, {type :: spectra:sp_type()}).
-record(sp_nonempty_list, {type :: spectra:sp_type()}).
-record(sp_function_spec, {args :: [spectra:sp_type()], return :: spectra:sp_type()}).
%% New structured type information
-record(type_info, {
    types = #{} :: #{spectra_type_info:type_key() => spectra:sp_type()},
    records = #{} :: #{atom() => #sp_rec{}},
    functions = #{} :: #{spectra_type_info:function_key() => [#sp_function_spec{}]}
}).