jon.recoil.org

Module Outcometree

type out_name = {
  1. mutable printed_name : string;
}

An out_name is a string representation of an identifier which can be rewritten on the fly to avoid name collisions

type out_ident =
  1. | Oide_apply of Outcometree.out_ident * Outcometree.out_ident
  2. | Oide_dot of Outcometree.out_ident * string
  3. | Oide_ident of Outcometree.out_name
  4. | Oide_hash of Outcometree.out_ident
type out_string =
  1. | Ostr_string
  2. | Ostr_bytes
type out_attribute = {
  1. oattr_name : string;
}
type out_value =
  1. | Oval_array of Outcometree.out_value list * Asttypes.mutable_flag
  2. | Oval_char of char
  3. | Oval_constr of Outcometree.out_ident * Outcometree.out_value list
  4. | Oval_ellipsis
  5. | Oval_float of float
  6. | Oval_float32 of Stdlib.Obj.t
  7. | Oval_int of int
  8. | Oval_int8 of int
  9. | Oval_int16 of int
  10. | Oval_int32 of int32
  11. | Oval_int64 of int64
  12. | Oval_nativeint of nativeint
  13. | Oval_list of Outcometree.out_value list
  14. | Oval_printer of Stdlib.Format.formatter -> unit
  15. | Oval_record of (Outcometree.out_ident * Outcometree.out_value) list
  16. | Oval_record_unboxed_product of (Outcometree.out_ident * Outcometree.out_value) list
  17. | Oval_string of string * int * Outcometree.out_string
  18. | Oval_stuff of string
  19. | Oval_tuple of (string option * Outcometree.out_value) list
  20. | Oval_unboxed_tuple of (string option * Outcometree.out_value) list
  21. | Oval_variant of string * Outcometree.out_value option
  22. | Oval_lazy of Outcometree.out_value
  23. | Oval_code of CamlinternalQuote.Code.t
type out_modality = string
type out_atomicity =
  1. | Atomic
  2. | Nonatomic
type out_mutability =
  1. | Om_immutable
  2. | Om_mutable of string option * Outcometree.out_atomicity
type arg_label =
  1. | Nolabel
  2. | Labelled of string
  3. | Optional of string
  4. | Position of string

This definition avoids a cyclic dependency between Outcometree and Types.

type out_mode = string
type out_arg_mode = Outcometree.out_mode list
type out_ret_mode =
  1. | Orm_any of Outcometree.out_mode list
    (*

    The ret type could be anything, with modes annotating.

    *)
  2. | Orm_no_parens
    (*

    The ret type is arrow, and no need to print parens around the arrow

    *)
  3. | Orm_parens of Outcometree.out_mode list
    (*

    The ret type is arrow, and need to print parens around the arrow, with modes annotating.

    *)
type out_jkind_const =
  1. | Ojkind_const_default
  2. | Ojkind_const_abbreviation of string
    (*

    The base of Ojkind_const_mod is optional to enable printing individual axes

    *)
  3. | Ojkind_const_mod of Outcometree.out_jkind_const option * string list
  4. | Ojkind_const_with of Outcometree.out_jkind_const * Outcometree.out_type * Outcometree.out_modality list
  5. | Ojkind_const_kind_of of Outcometree.out_type
  6. | Ojkind_const_product of Outcometree.out_jkind_const list

Represents a constant jkind

and out_jkind =
  1. | Ojkind_const of Outcometree.out_jkind_const
  2. | Ojkind_var of string
  3. | Ojkind_product of Outcometree.out_jkind list
and out_vars_jkinds = (string * Outcometree.out_jkind option) list
and out_type_param = {
  1. ot_non_gen : bool;
  2. ot_name : string;
  3. ot_variance : Asttypes.variance * Asttypes.injectivity;
  4. ot_jkind : Outcometree.out_jkind option;
}
and out_type =
  1. | Otyp_abstract
  2. | Otyp_open
  3. | Otyp_alias of {
    1. non_gen : bool;
    2. aliased : Outcometree.out_type;
    3. alias : string;
    }
  4. | Otyp_arrow of Outcometree.arg_label * Outcometree.out_arg_mode * Outcometree.out_type * Outcometree.out_type
    (*

    INVARIANT: the out_type for the return must be Otyp_ret.

    *)
  5. | Otyp_class of Outcometree.out_ident * Outcometree.out_type list
  6. | Otyp_constr of Outcometree.out_ident * Outcometree.out_type list
  7. | Otyp_manifest of Outcometree.out_type * Outcometree.out_type
  8. | Otyp_object of {
    1. fields : (string * Outcometree.out_type) list;
    2. open_row : bool;
    }
  9. | Otyp_record of (string * Outcometree.out_mutability * Outcometree.out_type * Outcometree.out_modality list) list
  10. | Otyp_record_unboxed_product of (string * Outcometree.out_mutability * Outcometree.out_type * Outcometree.out_modality list) list
  11. | Otyp_stuff of string
  12. | Otyp_sum of Outcometree.out_constructor list
  13. | Otyp_tuple of (string option * Outcometree.out_type) list
  14. | Otyp_unboxed_tuple of (string option * Outcometree.out_type) list
  15. | Otyp_var of bool * string
  16. | Otyp_variant of Outcometree.out_variant * bool * string list option
  17. | Otyp_quote of Outcometree.out_type
  18. | Otyp_splice of Outcometree.out_type
  19. | Otyp_poly of Outcometree.out_vars_jkinds * Outcometree.out_type
  20. | Otyp_module of Outcometree.out_ident * (string * Outcometree.out_type) list
  21. | Otyp_attribute of Outcometree.out_type * Outcometree.out_attribute
  22. | Otyp_jkind_annot of Outcometree.out_type * Outcometree.out_jkind
  23. | Otyp_of_kind of Outcometree.out_jkind
  24. | Otyp_ret of Outcometree.out_ret_mode * Outcometree.out_type
    (*

    INVARIANT: See out_ret_mode.

    *)
and out_constructor = {
  1. ocstr_name : string;
  2. ocstr_args : (Outcometree.out_type * Outcometree.out_modality list) list;
  3. ocstr_return_type : (Outcometree.out_vars_jkinds * Outcometree.out_type) option;
}
and out_variant =
  1. | Ovar_fields of (string * bool * Outcometree.out_type list) list
  2. | Ovar_typ of Outcometree.out_type
and out_class_sig_item =
  1. | Ocsg_constraint of Outcometree.out_type * Outcometree.out_type
  2. | Ocsg_method of string * bool * bool * Outcometree.out_type
  3. | Ocsg_value of string * bool * bool * Outcometree.out_type
type out_module_type =
  1. | Omty_abstract
  2. | Omty_functor of (string option * Outcometree.out_module_type) option * Outcometree.out_module_type
  3. | Omty_ident of Outcometree.out_ident
  4. | Omty_signature of Outcometree.out_sig_item list
  5. | Omty_alias of Outcometree.out_ident
  6. | Omty_strengthen of Outcometree.out_module_type * Outcometree.out_ident * bool
and out_type_decl = {
  1. otype_name : string;
  2. otype_params : Outcometree.out_type_param list;
  3. otype_type : Outcometree.out_type;
  4. otype_private : Asttypes.private_flag;
  5. otype_jkind : Outcometree.out_jkind option;
  6. otype_unboxed : bool;
  7. otype_or_null_reexport : bool;
  8. otype_cstrs : (Outcometree.out_type * Outcometree.out_type) list;
  9. otype_attributes : Outcometree.out_attribute list;
}
and out_extension_constructor = {
  1. oext_name : string;
  2. oext_type_name : string;
  3. oext_type_params : string list;
  4. oext_args : (Outcometree.out_type * Outcometree.out_modality list) list;
  5. oext_ret_type : (Outcometree.out_vars_jkinds * Outcometree.out_type) option;
  6. oext_private : Asttypes.private_flag;
}
and out_type_extension = {
  1. otyext_name : string;
  2. otyext_params : string list;
  3. otyext_constructors : Outcometree.out_constructor list;
  4. otyext_private : Asttypes.private_flag;
}
and out_val_decl = {
  1. oval_name : string;
  2. oval_type : Outcometree.out_type;
  3. oval_modalities : Outcometree.out_modality list;
  4. oval_prims : string list;
  5. oval_attributes : Outcometree.out_attribute list;
}
and out_rec_status =
  1. | Orec_not
  2. | Orec_first
  3. | Orec_next
and out_ext_status =
  1. | Oext_first
  2. | Oext_next
  3. | Oext_exception
type out_phrase =
  1. | Ophr_eval of Outcometree.out_value * Outcometree.out_type
  2. | Ophr_signature of (Outcometree.out_sig_item * Outcometree.out_value option) list
  3. | Ophr_exception of exn * Outcometree.out_value