Module `Archetype.Services`Source

Sourcetype status =

| Passed
| Error

Sourceval status_to_yojson : status -> Yojson.Safe.t

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

Source

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

Sourceval show_status : status -> Ppx_deriving_runtime.string

Sourcetype position = {

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

}

Sourceval position_to_yojson : position -> Yojson.Safe.t

Source

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

Source

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

Sourceval show_position : position -> Ppx_deriving_runtime.string

Sourcetype location = {

start : position;
end_ : position;

}

Sourceval location_to_yojson : location -> Yojson.Safe.t

Source

val location_of_yojson : 
  Yojson.Safe.t ->
  location Ppx_deriving_yojson_runtime.error_or

Source

val pp_location : 
  Ppx_deriving_runtime.Format.formatter ->
  location ->
  Ppx_deriving_runtime.unit

Sourceval show_location : location -> Ppx_deriving_runtime.string

Sourcetype kind =

| StorageInvariant
| Fails
| Assert
| PostCondition
| SecurityPredicate

Sourceval kind_to_yojson : kind -> Yojson.Safe.t

Sourceval kind_of_yojson : Yojson.Safe.t -> kind Ppx_deriving_yojson_runtime.error_or

Source

val pp_kind : 
  Ppx_deriving_runtime.Format.formatter ->
  kind ->
  Ppx_deriving_runtime.unit

Sourceval show_kind : kind -> Ppx_deriving_runtime.string

Sourcetype invariant = {

label : string;
formulas : string list;

}

Sourceval invariant_to_yojson : invariant -> Yojson.Safe.t

Source

val invariant_of_yojson : 
  Yojson.Safe.t ->
  invariant Ppx_deriving_yojson_runtime.error_or

Source

val pp_invariant : 
  Ppx_deriving_runtime.Format.formatter ->
  invariant ->
  Ppx_deriving_runtime.unit

Sourceval show_invariant : invariant -> Ppx_deriving_runtime.string

Sourcetype property = {

kind : kind;
id : string;
formula : string;
invariants : invariant list;
location : location;

}

Sourceval property_to_yojson : property -> Yojson.Safe.t

Source

val property_of_yojson : 
  Yojson.Safe.t ->
  property Ppx_deriving_yojson_runtime.error_or

Source

val pp_property : 
  Ppx_deriving_runtime.Format.formatter ->
  property ->
  Ppx_deriving_runtime.unit

Sourceval show_property : property -> Ppx_deriving_runtime.string

Sourcetype 'a result = {

status : status;
obj : 'a;

}

Sourceval result_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a result -> Yojson.Safe.t

Source

val result_of_yojson : 
  'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
  Yojson.Safe.t ->
  'a result Ppx_deriving_yojson_runtime.error_or

Source

val pp_result : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a result ->
  Ppx_deriving_runtime.unit

Source

val show_result : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a result ->
  Ppx_deriving_runtime.string

Sourcetype result_get_property = property list result

Sourceval result_get_property_to_yojson : result_get_property -> Yojson.Safe.t

Source

val result_get_property_of_yojson : 
  Yojson.Safe.t ->
  result_get_property Ppx_deriving_yojson_runtime.error_or

Source

val _ : 
  Yojson.Safe.t ->
  result_get_property Ppx_deriving_yojson_runtime.error_or

Source

val pp_result_get_property : 
  Ppx_deriving_runtime.Format.formatter ->
  result_get_property ->
  Ppx_deriving_runtime.unit

Source

val show_result_get_property : 
  result_get_property ->
  Ppx_deriving_runtime.string

Sourceval mk_position : (int * int) -> int -> position

Sourceval mk_location : Location.t -> location

Sourceval mk_invariant : string -> string list -> invariant

Source

val mk_property : 
  ?invariants:invariant list ->
  kind ->
  string ->
  string ->
  location ->
  property

Sourceval mk_property_get_property : status -> property list -> result_get_property

Sourceval extract_properties : ParseTree.archetype -> property list

Sourceval print_json : ('a -> Yojson.Safe.t) -> 'a -> string

Sourceval process : Options.service_kind -> Core.from_input -> string

Sourceval process_from_string : Options.service_kind -> string -> string

package archetype

Module Archetype.ServicesSource

Module `Archetype.Services`Source