genspio 0.0.3 (latest) · OCaml Package

type internal_error_details = {

variable : Common.string;
content : Common.string;
code : Common.string;

}

val pp_internal_error_details : 
  big_string:(Format.formatter -> Common.string -> unit) ->
  Format.formatter ->
  internal_error_details ->
  unit

type death_message =

| User of Common.string
| C_string_failure of internal_error_details
| String_to_int_failure of internal_error_details

val pp_death_message : 
  ?style:[< `Lispy | `User Lispy ] ->
  big_string:(Format.formatter -> Common.string -> unit) ->
  Format.formatter ->
  death_message ->
  unit

type death_function =
  comment_stack:Common.string Common.list ->
  death_message ->
  Common.string

type output_parameters = {

statement_separator : Common.string;
die_command : death_function Common.option;
max_argument_length : Common.int Common.option;

}

type internal_representation =

| Unit of Common.string
| Octostring of Common.string
| Int of Common.string
| Bool of Common.string
| List of Common.string
| Death of Common.string

val ir_unit : Common.string -> internal_representation

val ir_octostring : Common.string -> internal_representation

val ir_int : Common.string -> internal_representation

val ir_bool : Common.string -> internal_representation

val ir_death : Common.string -> internal_representation

val ir_list : Common.string -> internal_representation

val ir_to_shell : internal_representation -> Common.string

type compilation_error = {

error : [ `No_fail_configured of death_message | `Max_argument_length of Common.string | `Not_a_c_string of Common.string ];
code : Common.string Common.option;
comment_backtrace : Common.string Common.list;

}

exception Compilation of compilation_error

val error : 
  ?code:Common.string ->
  comment_backtrace:Common.string Common.list ->
  [ `Max_argument_length of Common.string
  | `No_fail_configured of death_message
  | `Not_a_c_string of Common.string ] ->
  'a

val pp_error : Format.formatter -> compilation_error -> unit

val to_ir : 
  'a. Common.string Common.list ->
  output_parameters ->
  'a Language.t ->
  internal_representation

val to_shell : output_parameters -> 'a Language.t -> Common.string

val with_die_function : 
  print_failure:(comment_stack:'a -> 'b -> string) ->
  statement_separator:Genspio.Common.String.t ->
  signal_name:string ->
  ?trap:[< `Exit_with of int | `None Exit_with ] ->
  (die:(comment_stack:'a -> 'b -> string) -> Genspio.Common.String.t) ->
  Genspio.Common.String.t

package genspio