archetype 1.2.8 · OCaml Package

module PT = ParseTree

type status =

| Passed
| Error

val status_to_yojson : status -> Yojson.Safe.t

val status_of_yojson : 
  Yojson.Safe.t ->
  status Ppx_deriving_yojson_runtime.error_or

val pp_status : 
  Ppx_deriving_runtime.Format.formatter ->
  status ->
  Ppx_deriving_runtime.unit

val show_status : status -> Ppx_deriving_runtime.string

type position = {

line : int;
col : int;
char : int;

}

val position_to_yojson : position -> Yojson.Safe.t

val position_of_yojson : 
  Yojson.Safe.t ->
  position Ppx_deriving_yojson_runtime.error_or

val pp_position : 
  Ppx_deriving_runtime.Format.formatter ->
  position ->
  Ppx_deriving_runtime.unit

val show_position : position -> Ppx_deriving_runtime.string

type range = {

start : position;
end_ : position;

}

val range_to_yojson : range -> Yojson.Safe.t

val range_of_yojson : 
  Yojson.Safe.t ->
  range Ppx_deriving_yojson_runtime.error_or

val pp_range : 
  Ppx_deriving_runtime.Format.formatter ->
  range ->
  Ppx_deriving_runtime.unit

val show_range : range -> Ppx_deriving_runtime.string

type item = {

range : range;
message : string;

}

val item_to_yojson : item -> Yojson.Safe.t

val item_of_yojson : Yojson.Safe.t -> item Ppx_deriving_yojson_runtime.error_or

val pp_item : 
  Ppx_deriving_runtime.Format.formatter ->
  item ->
  Ppx_deriving_runtime.unit

val show_item : item -> Ppx_deriving_runtime.string

type result = {

status : status;
items : item list;

}

val result_to_yojson : result -> Yojson.Safe.t

val result_of_yojson : 
  Yojson.Safe.t ->
  result Ppx_deriving_yojson_runtime.error_or

val pp_result : 
  Ppx_deriving_runtime.Format.formatter ->
  result ->
  Ppx_deriving_runtime.unit

val show_result : result -> Ppx_deriving_runtime.string

type outline = {

children : outline list;
name : string;
kind : int;
start : position;
end_ : position;

}

val outline_to_yojson : outline -> Yojson.Safe.t

val outline_of_yojson : 
  Yojson.Safe.t ->
  outline Ppx_deriving_yojson_runtime.error_or

val pp_outline : 
  Ppx_deriving_runtime.Format.formatter ->
  outline ->
  Ppx_deriving_runtime.unit

val show_outline : outline -> Ppx_deriving_runtime.string

type result_outline = {

status : status;
outlines : outline list;

}

val result_outline_to_yojson : result_outline -> Yojson.Safe.t

val result_outline_of_yojson : 
  Yojson.Safe.t ->
  result_outline Ppx_deriving_yojson_runtime.error_or

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 -> string -> item

val mk_outline : (string * int * Location.t) -> outline

val mk_result : status -> item list -> result

type symbol_kind =

| File
| Module
| Namespace
| Package
| Class
| Method
| Property
| Field
| Constructor
| Enum
| Interface
| Function
| Variable
| Constant
| String
| Number
| Boolean
| Array
| Object
| Key
| Null
| EnumMember
| Struct
| Event
| Operator
| 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_errors : unit -> string

val process : Options.lsp_kind -> Core.from_input -> string

val process_from_string : Options.lsp_kind -> string -> string

package archetype