package dolmen_model

  1. Overview
  2. Docs

Module Dolmen_model.FunSource

Sourceexception Comparison_of_functional_values
Sourceexception Function_value_expected of Value.t
Sourceexception Bad_arity of E.Term.Const.t * int * Value.t list
Sourcetype value_function =
  1. | Lambda of {
    1. ty_params : E.Ty.Var.t list;
    2. term_params : E.Term.Var.t list;
    3. body : E.Term.t;
    }
  2. | Lazy of {
    1. arity : int;
    2. cst : E.Term.Const.t;
    3. eval_lazy : Env.t -> (Env.t -> E.term -> Value.t) -> E.term list -> Value.t;
    }
  3. | Parametric of {
    1. arity : int;
    2. cst : E.Term.Const.t;
    3. ty_args : E.Ty.t list;
    4. eval_p : Value.t list -> Value.t;
    }
Sourceand t =
  1. | Partial of {
    1. func : value_function;
    2. args : E.term list;
    }
  2. | Ad_hoc of {
    1. cst : E.Term.Const.t;
    2. ty_args : E.Ty.t list;
    3. eval_a : E.Ty.t -> Value.t;
    }
Sourceval return : ('a, 'b, 'c, 'd, 'd, 'a) CamlinternalFormatBasics.format6 -> Format.formatter -> unit -> unit
Sourceval print : Format.formatter -> t -> unit
Sourceval compare : 'a -> 'b -> 'c
Sourceval ops : t Value.ops
Sourceval ad_hoc : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (E.Ty.t -> Value.t) -> Value.t
Sourceval mk : env:'a -> eval:('a -> E.Term.t -> Value.t) -> E.Ty.Var.t list -> E.Term.Var.t list -> E.Term.t -> Value.t
Sourceval builtin : arity:int -> cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t list -> Value.t) -> Value.t
Sourceval fun_1 : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t -> Value.t) -> Value.t
Sourceval fun_2 : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t -> Value.t -> Value.t) -> Value.t
Sourceval fun_3 : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t -> Value.t -> Value.t -> Value.t) -> Value.t
Sourceval fun_4 : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t -> Value.t -> Value.t -> Value.t -> Value.t) -> Value.t
Sourceval fun_n : cst:E.Term.Const.t -> ?ty_args:E.Ty.t list -> (Value.t list -> Value.t) -> Value.t
Sourceval fun_lazy : cst:E.Term.Const.t -> (Env.t -> (Env.t -> E.term -> Value.t) -> E.term list -> Value.t) -> Value.t
Sourceval arity : value_function -> int
Sourceval reduce_val : eval:(Env.t -> E.Term.t -> Value.t) -> Env.t -> value_function -> Value.t list -> Value.t
Sourceval apply_val : eval:(Env.t -> E.Term.t -> Value.t) -> Env.t -> Value.t -> Value.t list -> Value.t
Sourceval take_drop : int -> 'a list -> 'a list * 'a list
Sourceval reduce : eval:(Env.t -> E.term -> Value.t) -> Env.t -> value_function -> E.term list -> Value.t
Sourceval apply : eval:(Env.t -> E.term -> Value.t) -> Env.t -> Value.t -> E.Ty.t list -> E.term list -> Value.t