schoca 0.2.3 · OCaml Package

exception UnknownCmd of string

exception Quit

exception SyntaxError

type eval_method =

| Lazy_eval
| 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 concat : ScmTypes.datum -> 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 num_cmd : (ScmDynnum.t -> ScmDynnum.t) -> ScmTypes.datum -> ScmTypes.datum

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 lambda : 
  ScmTypes.environment ->
  ScmTypes.datum ->
  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 quote : ScmTypes.datum -> ScmTypes.datum

val eval : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_begin : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_if : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_cond : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_case : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val clamp : ScmTypes.datum -> ScmTypes.datum

val scm_define : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_and_p : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_or_p : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_not_p : ScmTypes.datum -> ScmTypes.datum

val scm_set_var : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val let_fun : 
  ('a -> 'b -> ScmTypes.datum -> ScmTypes.datum -> 'c) ->
  'a ->
  'b ->
  ScmTypes.datum ->
  'c

val let_with_late_binding : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum ->
  ScmTypes.datum

val let_with_sequencially_binding : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum ->
  ScmTypes.datum

val let_with_recursive_binding : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_do : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

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 apply : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_apply : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_map : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_for_each : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_abs : ScmTypes.datum -> ScmTypes.datum

val num_command_of_list : 
  ScmTypes.datum ->
  (ScmDynnum.t -> ScmDynnum.t -> ScmDynnum.t) ->
  ScmTypes.datum ->
  ScmTypes.datum

val one_element_list : ScmTypes.datum -> bool

val scm_add : ScmTypes.datum -> ScmTypes.datum

val scm_sub : ScmTypes.datum -> ScmTypes.datum

val scm_mul : ScmTypes.datum -> ScmTypes.datum

val scm_div : ScmTypes.datum -> ScmTypes.datum

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 num_simple_cmd2 : 
  (ScmDynnum.t -> 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_sin : ScmTypes.datum -> ScmTypes.datum

val scm_cos : ScmTypes.datum -> ScmTypes.datum

val scm_tan : ScmTypes.datum -> ScmTypes.datum

val scm_asin : ScmTypes.datum -> ScmTypes.datum

val scm_acos : ScmTypes.datum -> ScmTypes.datum

val scm_exp : ScmTypes.datum -> ScmTypes.datum

val scm_log : 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_max : ScmTypes.datum -> ScmTypes.datum

val scm_min : 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_gcd : ScmTypes.datum -> ScmTypes.datum

val scm_lcm : 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_car : ScmTypes.datum -> ScmTypes.datum

val scm_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_call_with_values : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  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_call_with_input_file : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_call_with_output_file : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_current_input_port : 'a -> ScmTypes.datum

val scm_current_output_port : 'a -> ScmTypes.datum

val scm_with_input_from_file : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val scm_with_output_from_file : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  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 load : 
  ScmTypes.environment ->
  ?prompt:(ScmTypes.datum -> ScmTypes.datum) ->
  Lexing.lexbuf ->
  ScmTypes.datum

val scm_load : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val define_scm_var : 
  ScmTypes.environment ->
  string ->
  ScmTypes.datum ->
  ScmTypes.datum Pervasives.ref

val register_scm_fun : 
  ScmTypes.environment ->
  string ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.environment * ScmTypes.datum Pervasives.ref

val command_list : (string * ScmTypes.datum) list

val scm_eval : 
  ScmTypes.environment ->
  (ScmTypes.datum -> ScmTypes.datum) ->
  ScmTypes.datum ->
  ScmTypes.datum

val init_environment : unit -> ScmTypes.environment

package schoca