Scheme datum types (for Erlang types and specs)
. __Authors:__ Joseph Wayne Norton ([`norton@alum.mit.edu`](mailto:norton@alum.mit.edu)).
scm_alist() = [scm_pair()]
association list (list of pairs)
scm_any() = scmd_types_impl:s_any(scm_any()) | scm_alist() | scm_boolean() | scm_byte() | scm_bytevector() | scm_char() | scm_end() | scm_k() | scm_letter() | scm_list() | scm_list_nonempty() | scm_n() | scm_n_nonzero() | scm_n_pos() | scm_pair() | scm_port() | scm_eof() | scm_proc() | scm_q() | scm_start() | scm_string() | scm_symbol() | scm_thunk() | scm_vector() | scm_x() | scm_y() | scm_z() | scm_exception() | scm_error()
scm_boolean() = scmd_types_impl:s_boolean()
boolean value (#t or #f)
scm_byte() = scmd_types_impl:s_byte()
exact integer 0 =< byte < 256
scm_bytevector() = scmd_types_impl:s_bytevector()
bytevector
scm_char() = scmd_types_impl:s_character()
character
scm_end() = scmd_types_impl:s_integer_exact_non_neg()
exact non-negative integer
scm_eof() = scmi_types:eof()
end-of-file
scm_error() = scmi_types:error()
scm_exception() = scmi_types:exception()
scm_false() = scmd_types_impl:s_false()
falseexact non-negative integer
scm_k_pos() = scmd_types_impl:s_integer_exact_pos()
exact positive integer
scm_letter() = scmd_types_impl:s_letter()
alphabetic character
scm_list() = scmd_types_impl:s_list(scm_any())
list
scm_list_nonempty() = scmd_types_impl:s_list_nonempty(scm_any())
non-empty list
scm_n() = scmd_types_impl:s_integer()
integer
scm_n_nonzero() = scmd_types_impl:s_integer_nonzero()
non-zero integer
scm_n_pos() = scmd_types_impl:s_integer_pos()
positive integer
scm_obj() = scm_any()
any object
scm_pair() = scmd_types_impl:s_pair(scm_any())
pair
scm_port() = scmi_types:iodev()
port
scm_proc() = scmi_types:proc()
proc
scm_q() = scmd_types_impl:s_rational()
rational
scm_start() = scmd_types_impl:s_integer_exact_non_neg()
exact non-negative integer
scm_string() = scmd_types_impl:s_string()
string
scm_symbol() = scmd_types_impl:s_symbol()
symbol
scm_thunk() = scmi_types:thunk()
thunk
scm_true() = scmd_types_impl:s_true()
true
scm_vector() = scmd_types_impl:s_vector(scm_any())
vector
scm_x() = scmd_types_impl:s_real()
real number
scm_y() = scmd_types_impl:s_real()
real number
scm_z() = scmd_types_impl:s_complex()
complex number