package schoca

  1. Overview
  2. Docs
exception UnknownCmd of string
exception Quit
exception SyntaxError
type eval_method =
  1. | Lazy_eval
  2. | Eager_eval
val current_input_port : ScmTypes.datum Pervasives.ref
val current_output_port : ScmTypes.datum Pervasives.ref
val print_datum : ScmTypes.datum -> unit
module Environment : sig ... end
val scm_quit : 'a -> 'b
val scm_list : ScmTypes.datum -> ScmTypes.datum
val simple_cmd_1 : (ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val simple_cmd_2 : (ScmTypes.datum -> ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val simple_cmd_3 : (ScmTypes.datum -> ScmTypes.datum -> ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val predicate : (ScmTypes.datum -> bool) -> ScmTypes.datum -> ScmTypes.datum
val predicate2 : (ScmTypes.datum -> ScmTypes.datum -> bool) -> ScmTypes.datum -> ScmTypes.datum
val scm_boolean_p : ScmTypes.datum -> ScmTypes.datum
val scm_number_p : ScmTypes.datum -> ScmTypes.datum
val scm_symbol_p : ScmTypes.datum -> ScmTypes.datum
val scm_procedure_p : ScmTypes.datum -> ScmTypes.datum
val scm_pair_p : ScmTypes.datum -> ScmTypes.datum
val scm_vector_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_p : ScmTypes.datum -> ScmTypes.datum
val scm_port_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_p : ScmTypes.datum -> ScmTypes.datum
val scm_input_port_p : ScmTypes.datum -> ScmTypes.datum
val scm_output_port_p : ScmTypes.datum -> ScmTypes.datum
val num_test : (ScmDynnum.t -> bool) -> ScmTypes.datum -> bool
val scm_complex : ScmTypes.datum -> ScmTypes.datum
val scm_real : ScmTypes.datum -> ScmTypes.datum
val scm_rational : ScmTypes.datum -> ScmTypes.datum
val scm_integer : ScmTypes.datum -> ScmTypes.datum
val scm_exact : ScmTypes.datum -> ScmTypes.datum
val scm_inexact : ScmTypes.datum -> ScmTypes.datum
val scm_number_of_string : ScmTypes.datum -> ScmTypes.datum
val scm_string_of_number : ScmTypes.datum -> ScmTypes.datum
val scm_exact_of_inexact : ScmTypes.datum -> ScmTypes.datum
val scm_inexact_of_exact : ScmTypes.datum -> ScmTypes.datum
val scm_list_p : ScmTypes.datum -> ScmTypes.datum
val scm_lambda : ScmTypes.environment -> (ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val scm_eqv_p : ScmTypes.datum -> ScmTypes.datum
val scm_eq_p : ScmTypes.datum -> ScmTypes.datum
val scm_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_memq : ScmTypes.datum -> ScmTypes.datum
val scm_memv : ScmTypes.datum -> ScmTypes.datum
val scm_member : ScmTypes.datum -> ScmTypes.datum
val scm_assoc : ScmTypes.datum -> ScmTypes.datum
val scm_assq : ScmTypes.datum -> ScmTypes.datum
val scm_assv : ScmTypes.datum -> ScmTypes.datum
val scm_null_p : ScmTypes.datum -> ScmTypes.datum
val scm_quote : 'a -> (ScmTypes.datum -> 'b) -> ScmTypes.datum -> 'b
val scm_not_p : ScmTypes.datum -> ScmTypes.datum
val let_fun : ('a -> 'b -> ScmTypes.datum -> ScmTypes.datum -> 'c) -> 'a -> 'b -> ScmTypes.datum -> 'c
val scm_delay : ScmTypes.environment -> (ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val scm_force : ScmTypes.datum -> ScmTypes.datum
val scm_quasiquote : ScmTypes.environment -> (ScmTypes.datum -> 'a) -> ScmTypes.datum -> 'a
val one_element_list : ScmTypes.datum -> bool
val predicate_of_list : (ScmTypes.datum -> 'a) -> ('a -> 'a -> bool) -> ScmTypes.datum -> ScmTypes.datum
val num_predicate_of_list : (ScmDynnum.t -> ScmDynnum.t -> bool) -> ScmTypes.datum -> ScmTypes.datum
val char_predicate_of_list : (char -> char -> bool) -> ScmTypes.datum -> ScmTypes.datum
val string_predicate_of_list : (string -> string -> bool) -> ScmTypes.datum -> ScmTypes.datum
val num_predicate : (ScmDynnum.t -> bool) -> ScmTypes.datum -> ScmTypes.datum
val num_simple_cmd : (ScmDynnum.t -> ScmDynnum.t) -> ScmTypes.datum -> ScmTypes.datum
val scm_greater_p : ScmTypes.datum -> ScmTypes.datum
val scm_less_p : ScmTypes.datum -> ScmTypes.datum
val scm_greater_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_less_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_num_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_zero_p : ScmTypes.datum -> ScmTypes.datum
val scm_positive_p : ScmTypes.datum -> ScmTypes.datum
val scm_negative_p : ScmTypes.datum -> ScmTypes.datum
val scm_odd_p : ScmTypes.datum -> ScmTypes.datum
val scm_even_p : ScmTypes.datum -> ScmTypes.datum
val scm_sqrt : ScmTypes.datum -> ScmTypes.datum
val scm_asin : ScmTypes.datum -> ScmTypes.datum
val scm_acos : ScmTypes.datum -> ScmTypes.datum
val scm_expt : ScmTypes.datum -> ScmTypes.datum
val scm_im_part : ScmTypes.datum -> ScmTypes.datum
val scm_re_part : ScmTypes.datum -> ScmTypes.datum
val scm_quotient : ScmTypes.datum -> ScmTypes.datum
val scm_remainder : ScmTypes.datum -> ScmTypes.datum
val scm_modulo : ScmTypes.datum -> ScmTypes.datum
val scm_numerator : ScmTypes.datum -> ScmTypes.datum
val scm_denominator : ScmTypes.datum -> ScmTypes.datum
val scm_truncate : ScmTypes.datum -> ScmTypes.datum
val scm_set_car : ScmTypes.datum -> ScmTypes.datum
val scm_set_cdr : ScmTypes.datum -> ScmTypes.datum
val scm_cadr : ScmTypes.datum -> ScmTypes.datum
val scm_caar : ScmTypes.datum -> ScmTypes.datum
val scm_cddr : ScmTypes.datum -> ScmTypes.datum
val scm_cdar : ScmTypes.datum -> ScmTypes.datum
val scm_caaar : ScmTypes.datum -> ScmTypes.datum
val scm_caadr : ScmTypes.datum -> ScmTypes.datum
val scm_cadar : ScmTypes.datum -> ScmTypes.datum
val scm_cdaar : ScmTypes.datum -> ScmTypes.datum
val scm_caddr : ScmTypes.datum -> ScmTypes.datum
val scm_cdadr : ScmTypes.datum -> ScmTypes.datum
val scm_cddar : ScmTypes.datum -> ScmTypes.datum
val scm_cdddr : ScmTypes.datum -> ScmTypes.datum
val scm_caaaar : ScmTypes.datum -> ScmTypes.datum
val scm_caaadr : ScmTypes.datum -> ScmTypes.datum
val scm_caadar : ScmTypes.datum -> ScmTypes.datum
val scm_cadaar : ScmTypes.datum -> ScmTypes.datum
val scm_cdaaar : ScmTypes.datum -> ScmTypes.datum
val scm_caaddr : ScmTypes.datum -> ScmTypes.datum
val scm_cadadr : ScmTypes.datum -> ScmTypes.datum
val scm_caddar : ScmTypes.datum -> ScmTypes.datum
val scm_cdaadr : ScmTypes.datum -> ScmTypes.datum
val scm_cdadar : ScmTypes.datum -> ScmTypes.datum
val scm_cddaar : ScmTypes.datum -> ScmTypes.datum
val scm_cadddr : ScmTypes.datum -> ScmTypes.datum
val scm_cdaddr : ScmTypes.datum -> ScmTypes.datum
val scm_cddadr : ScmTypes.datum -> ScmTypes.datum
val scm_cdddar : ScmTypes.datum -> ScmTypes.datum
val scm_cddddr : ScmTypes.datum -> ScmTypes.datum
val scm_length : ScmTypes.datum -> ScmTypes.datum
val scm_append : ScmTypes.datum -> ScmTypes.datum
val scm_reverse : ScmTypes.datum -> ScmTypes.datum
val scm_list_tail : ScmTypes.datum -> ScmTypes.datum
val scm_list_ref : ScmTypes.datum -> ScmTypes.datum
val scm_symbol_of_string : ScmTypes.datum -> ScmTypes.datum
val scm_string_of_symbol : ScmTypes.datum -> ScmTypes.datum
val scm_char_eq_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_greater_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_less_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_greater_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_less_or_eqal_p : ScmTypes.datum -> ScmTypes.datum
val char_predicate : (char -> bool) -> ScmTypes.datum -> ScmTypes.datum
val scm_char_alphabetic_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_numeric_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_whitespace_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_uppercase_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_lowercase_p : ScmTypes.datum -> ScmTypes.datum
val chr_ci_cmp : (char -> char -> 'a) -> char -> char -> 'a
val scm_char_ci_eq_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_ci_greater_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_ci_less_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_ci_greater_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_ci_less_or_eqal_p : ScmTypes.datum -> ScmTypes.datum
val scm_integer_of_char : ScmTypes.datum -> ScmTypes.datum
val scm_char_of_datum_integer : ScmTypes.datum -> ScmTypes.datum
val scm_make_string : ScmTypes.datum -> ScmTypes.datum
val scm_string : ScmTypes.datum -> ScmTypes.datum
val scm_string_of_list : ScmTypes.datum -> ScmTypes.datum
val scm_list_of_string : ScmTypes.datum -> ScmTypes.datum
val scm_string_length : ScmTypes.datum -> ScmTypes.datum
val scm_string_ref : ScmTypes.datum -> ScmTypes.datum
val scm_string_set : ScmTypes.datum -> ScmTypes.datum
val scm_string_eq_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_greater_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_less_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_greater_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_less_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val str_ci_cmp : (string -> string -> 'a) -> string -> string -> 'a
val scm_string_ci_eq_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_ci_greater_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_ci_less_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_ci_greater_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_string_ci_less_or_equal_p : ScmTypes.datum -> ScmTypes.datum
val scm_substring : ScmTypes.datum -> ScmTypes.datum
val scm_string_append : ScmTypes.datum -> ScmTypes.datum
val scm_string_copy : ScmTypes.datum -> ScmTypes.datum
val scm_string_fill : ScmTypes.datum -> ScmTypes.datum
val scm_vector : ScmTypes.datum -> ScmTypes.datum
val exc_id : int Pervasives.ref
exception Exit_with_id_and_args of int * ScmTypes.datum
val scm_call_with_current_continuation : ScmTypes.environment -> (ScmTypes.datum -> ScmTypes.datum) -> ScmTypes.datum -> ScmTypes.datum
val scm_values : ScmTypes.datum -> ScmTypes.datum
val scm_report_environment : 'a -> ScmTypes.datum
val scm_make_vector : ScmTypes.datum -> ScmTypes.datum
val scm_getenv : ScmTypes.datum -> ScmTypes.datum
val scm_vector_ref : ScmTypes.datum -> ScmTypes.datum
val scm_vector_set : ScmTypes.datum -> ScmTypes.datum
val scm_vector_of_list : ScmTypes.datum -> ScmTypes.datum
val scm_list_of_vector : ScmTypes.datum -> ScmTypes.datum
val scm_vector_length : ScmTypes.datum -> ScmTypes.datum
val scm_current_input_port : 'a -> ScmTypes.datum
val scm_current_output_port : 'a -> ScmTypes.datum
val scm_open_input_file : ScmTypes.datum -> ScmTypes.datum
val scm_open_output_file : ScmTypes.datum -> ScmTypes.datum
val scm_close : ScmTypes.datum -> ScmTypes.datum
val input_channel_of_args : ScmTypes.datum -> Pervasives.in_channel
val output_channel_of_args : ScmTypes.datum -> Pervasives.out_channel
val scm_read : ScmTypes.datum -> ScmTypes.datum
val scm_read_char : ScmTypes.datum -> ScmTypes.datum
val scm_peek_char : ScmTypes.datum -> ScmTypes.datum
val scm_eof_object_p : ScmTypes.datum -> ScmTypes.datum
val scm_char_ready_p : 'a -> ScmTypes.datum
val display_string_of_datum : ScmTypes.datum -> string
val scm_write : ScmTypes.datum -> ScmTypes.datum
val scm_display : ScmTypes.datum -> ScmTypes.datum
val scm_newline : ScmTypes.datum -> ScmTypes.datum
val scm_write_char : ScmTypes.datum -> ScmTypes.datum
val command_list : (string * ScmTypes.datum) list
val init_environment : unit -> ScmTypes.environment
OCaml

Innovation. Community. Security.