package archetype

  1. Overview
  2. Docs
package archetype
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PT = ParseTree
type status =
  1. | Passed
  2. | Error
  3. | Crash
val status_to_yojson : status -> Yojson.Safe.t
val pp_status : Ppx_deriving_runtime.Format.formatter -> status -> Ppx_deriving_runtime.unit
val show_status : status -> Ppx_deriving_runtime.string
type position = {
  1. line : int;
  2. col : int;
  3. char : int;
}
val position_to_yojson : position -> Yojson.Safe.t
val pp_position : Ppx_deriving_runtime.Format.formatter -> position -> Ppx_deriving_runtime.unit
val show_position : position -> Ppx_deriving_runtime.string
type range = {
  1. start : position;
  2. end_ : position;
}
val range_to_yojson : range -> Yojson.Safe.t
val pp_range : Ppx_deriving_runtime.Format.formatter -> range -> Ppx_deriving_runtime.unit
val severity_error : int
val severity_warning : int
val severity_information : int
val severity_hint : int
type item = {
  1. severity : int;
  2. range : range;
  3. message : string;
}
val item_to_yojson : item -> Yojson.Safe.t
val pp_item : Ppx_deriving_runtime.Format.formatter -> item -> Ppx_deriving_runtime.unit
type result = {
  1. status : status;
  2. items : item list;
}
val result_to_yojson : result -> Yojson.Safe.t
val pp_result : Ppx_deriving_runtime.Format.formatter -> result -> Ppx_deriving_runtime.unit
val show_result : result -> Ppx_deriving_runtime.string
type outline = {
  1. children : outline list;
  2. name : string;
  3. kind : int;
  4. start : position;
  5. end_ : position;
}
val outline_to_yojson : outline -> Yojson.Safe.t
val pp_outline : Ppx_deriving_runtime.Format.formatter -> outline -> Ppx_deriving_runtime.unit
val show_outline : outline -> Ppx_deriving_runtime.string
type result_outline = {
  1. status : status;
  2. outlines : outline list;
}
val result_outline_to_yojson : result_outline -> Yojson.Safe.t
val _ : Yojson.Safe.t -> result_outline Ppx_deriving_yojson_runtime.error_or
val pp_result_outline : Ppx_deriving_runtime.Format.formatter -> result_outline -> Ppx_deriving_runtime.unit
val show_result_outline : result_outline -> Ppx_deriving_runtime.string
val mk_position : (int * int) -> int -> position
val mk_range : Location.t -> range
val mk_item : Location.t -> int -> string -> item
val mk_outline : (string * int * Location.t) -> outline
val mk_result : status -> item list -> result
type symbol_kind =
  1. | File
  2. | Module
  3. | Namespace
  4. | Package
  5. | Class
  6. | Method
  7. | Property
  8. | Field
  9. | Constructor
  10. | Enum
  11. | Interface
  12. | Function
  13. | Variable
  14. | Constant
  15. | String
  16. | Number
  17. | Boolean
  18. | Array
  19. | Object
  20. | Key
  21. | Null
  22. | EnumMember
  23. | Struct
  24. | Event
  25. | Operator
  26. | TypeParameter
val symbol_kind_to_int : symbol_kind -> int
val mk_outline_from_label_exprs : PT.label_exprs -> outline list
val mk_outline_post_options : PT.asset_post_option list -> outline list
val mk_outline_from_invariants : PT.invariants -> outline list
val mk_outline_from_specification : PT.specification -> outline list
val mk_outline_from_security : PT.security -> outline list
val make_outline_from_enum : (PT.enum_kind * (string Location.loced * 'a * 'b) list * Location.t) -> outline list
val make_outline_from_decl : PT.declaration -> Location.t -> outline list
val process_crash : unit -> string
val process_errors : ?status:status -> unit -> string
val process : Options.lsp_kind -> Core.from_input -> string
val process_from_string : Options.lsp_kind -> string -> string