Module Ortac_qcheck_stm.ReserrSource

Sourcetype init_state_error =
  1. | Mismatch_number_of_arguments of string
  2. | No_appropriate_specifications of string * string list
  3. | No_specification of string
  4. | No_translatable_specification of string
  5. | Not_a_function_call of string
  6. | Not_returning_sut of string
  7. | Qualified_name of string
Sourcetype W.kind +=
  1. | Constant_value of string
  2. | Ensures_not_found_for_next_state of string * string
  3. | Ensures_not_found_for_ret_sut of string * string list
  4. | Function_arity of string
  5. | Functional_argument of string
  6. | Ghost_values of string * [ `Arg | `Ret ]
  7. | Impossible_init_state_generation of init_state_error
  8. | Impossible_term_substitution of [ `Never | `New | `Old | `NotModel | `OutOfScope ]
  9. | Incompatible_sut of string
  10. | Incompatible_type of string * string
  11. | Incomplete_configuration_module of [ `Init_sut | `Sut ]
  12. | Incomplete_ret_val_computation of string
  13. | No_configuration_file of string
  14. | No_init_function of string
  15. | No_models of string
  16. | No_spec of string
  17. | No_sut_type of string
  18. | Not_a_structure of string
  19. | Returning_nested_sut of string
  20. | Sub_module_not_found of string
  21. | Sut_as_type_inst of string
  22. | Sut_in_tuple of string
  23. | Sut_type_not_specified of string
  24. | Sut_type_not_supported of string
  25. | Syntax_error_in_config_module of string
  26. | Third_order_function_argument of string
  27. | Tuple_arity of string
  28. | Type_not_supported of string
  29. | Type_not_supported_for_sut_parameter of string
  30. | Type_parameter_not_instantiated of string
Sourcetype 'a reserr
Sourceval ok : 'a -> 'a reserr
Sourceval error : W.t -> 'a reserr
Sourceval warns : W.t list -> unit reserr
Sourceval warn : W.t -> unit reserr
Sourceval (let*) : 'a reserr -> ('a -> 'b reserr) -> 'b reserr
Sourceval (>>=) : 'a reserr -> ('a -> 'b reserr) -> 'b reserr
Sourceval (and*) : 'a reserr -> 'b reserr -> ('a * 'b) reserr
Sourceval (<|>) : 'a reserr -> 'a reserr Lazy.t -> 'a reserr

a <|> b is the alternative between a and b. It picks the first one that succeed, looking first at a. IT doesn't store the warnings of the one it doesn't pick.

Sourceval traverse : ('a -> 'b reserr) -> 'a list -> 'b list reserr

traverse f xs maps f over xs and returns ok of the resulting list iff it contains no error

Sourceval traverse_ : ('a -> 'b reserr) -> 'a list -> unit reserr

traverse_ f xs is traverse f xs ignoring the returned list

Sourceval sequence : 'a reserr list -> 'a list reserr

sequence rs returns ok of the list of 'a iff there is no error in rs

Sourceval promote : 'a reserr list -> 'a list reserr

promote rs filters rs and returns ok of the list of 'a iff there is no errors of level Error in rs and store the errors of level Warning in the warnings list

Sourceval promote_map : ('a -> 'b reserr) -> 'a list -> 'b list reserr

promote_map f xs is List.map f xs |> promote with only one traversal

Sourceval promote_mapi : (int -> 'a -> 'b reserr) -> 'a list -> 'b list reserr

promote_mapi f xs is List.mapi f xs |> promote with only one traversal

Sourceval promote_opt : 'a reserr -> 'a option reserr

promote_opt r is promote for a unique value

Sourceval fold_left : ('a -> 'b -> 'a reserr) -> 'a -> 'b list -> 'a reserr
Sourceval of_option : default:W.t -> 'a option -> 'a reserr
Sourceval to_option : 'a reserr -> 'a option
Sourceval fmap : ('a -> 'b) -> 'a reserr -> 'b reserr
Sourceval (<$>) : ('a -> 'b) -> 'a reserr -> 'b reserr
Sourceval app : ('a -> 'b) reserr -> 'a reserr -> 'b reserr
Sourceval (<*>) : ('a -> 'b) reserr -> 'a reserr -> 'b reserr
Sourceval pp : bool -> 'a Fmt.t -> 'a reserr Fmt.t