Module scmd_types

• Description
• Data Types

Scheme datum types (for Erlang types and specs)

. __Authors:__ Joseph Wayne Norton ([`norton@alum.mit.edu`](mailto:norton@alum.mit.edu)).

Data Types

scm_alist()

scm_alist() = [scm_pair()]

association list (list of pairs)

scm_any()

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()

scm_boolean() = scmd_types_impl:s_boolean()

boolean value (#t or #f)

scm_byte()

scm_byte() = scmd_types_impl:s_byte()

exact integer 0 =< byte < 256

scm_bytevector()

scm_bytevector() = scmd_types_impl:s_bytevector()

bytevector

scm_char()

scm_char() = scmd_types_impl:s_character()

character

scm_end()

scm_end() = scmd_types_impl:s_integer_exact_non_neg()

exact non-negative integer

scm_eof()

scm_eof() = scmi_types:eof()

end-of-file

scm_error()

scm_error() = scmi_types:error()

scm_exception()

scm_exception() = scmi_types:exception()

scm_false()

scm_false() = scmd_types_impl:s_false()

false

scm_k()

scm_k() = scmd_types_impl:s_integer_exact_non_neg()

exact non-negative integer

scm_k_pos()

scm_k_pos() = scmd_types_impl:s_integer_exact_pos()

exact positive integer

scm_letter()

scm_letter() = scmd_types_impl:s_letter()

alphabetic character

scm_list()

scm_list() = scmd_types_impl:s_list(scm_any())

list

scm_list_nonempty()

scm_list_nonempty() = scmd_types_impl:s_list_nonempty(scm_any())

non-empty list

scm_n()

scm_n() = scmd_types_impl:s_integer()

integer

scm_n_nonzero()

scm_n_nonzero() = scmd_types_impl:s_integer_nonzero()

non-zero integer

scm_n_pos()

scm_n_pos() = scmd_types_impl:s_integer_pos()

positive integer

scm_obj()

scm_obj() = scm_any()

any object

scm_pair()

scm_pair() = scmd_types_impl:s_pair(scm_any())

pair

scm_port()

scm_port() = scmi_types:iodev()

port

scm_proc()

scm_proc() = scmi_types:proc()

proc

scm_q()

scm_q() = scmd_types_impl:s_rational()

rational

scm_start()

scm_start() = scmd_types_impl:s_integer_exact_non_neg()

exact non-negative integer

scm_string()

scm_string() = scmd_types_impl:s_string()

string

scm_symbol()

scm_symbol() = scmd_types_impl:s_symbol()

symbol

scm_thunk()

scm_thunk() = scmi_types:thunk()

thunk

scm_true()

scm_true() = scmd_types_impl:s_true()

true

scm_vector()

scm_vector() = scmd_types_impl:s_vector(scm_any())

vector

scm_x()

scm_x() = scmd_types_impl:s_real()

real number

scm_y()

scm_y() = scmd_types_impl:s_real()

real number

scm_z()

scm_z() = scmd_types_impl:s_complex()

complex number