Module Expr_generator.Non_polymorphic

type _ value =
  1. | Int : int -> int value
  2. | Float : float -> float value
  3. | Bool : bool -> bool value
  4. | String : string -> string value

This GADT represents a value in the AST.

type _ typ

This GADT represents the type of an expression. This type should be instantiated using int, float, bool, string, list

val int : int typ
val float : float typ
val bool : bool typ
val string : string typ
val list : 'a typ -> 'a list typ
type _ expr =
  1. | IntVar : int expr
  2. | FloatVar : float expr
  3. | StringVar : string expr
  4. | BoolVar : bool expr
  5. | Const : 'a value -> 'a expr
  6. | List : 'a expr list -> 'a list expr
  7. | Cons : 'a expr * 'a list expr -> 'a list expr
  8. | Int_of_string : string expr -> int expr
  9. | Int_of_float : float expr -> int expr
  10. | Float_of_int : int expr -> float expr
  11. | Float_of_string : string expr -> float expr
  12. | String_of_float : float expr -> string expr
  13. | String_of_int : int expr -> string expr
  14. | Concat : string expr * string expr -> string expr
  15. | Plus : int expr * int expr -> int expr
  16. | Minus : int expr * int expr -> int expr
  17. | Mult : int expr * int expr -> int expr
  18. | Plus_dot : float expr * float expr -> float expr
  19. | Minus_dot : float expr * float expr -> float expr
  20. | Mult_dot : float expr * float expr -> float expr
  21. | Eq : 'a expr * 'a expr -> bool expr
  22. | Gt : 'a expr * 'a expr -> bool expr
  23. | Lt : 'a expr * 'a expr -> bool expr
  24. | Or : bool expr * bool expr -> bool expr
  25. | And : bool expr * bool expr -> bool expr
  26. | Not : bool expr -> bool expr
  27. | If : bool expr * 'a expr * 'a expr -> 'a expr

This GADT represents OCaml expressions.

val gen_string : int -> string

Generates the string representation of an expression with the given depth.

val generate : ?forced:bool -> 'a typ -> int -> 'a expr

Generates a random expression with the provided typ and depth.

  • parameter forced

    determines whether the type of the expression needs to be forced to have the given type. For example, int_of_string x would be forced to have the type int while x would not. By default this is true and should only be set to false when the expression is going to be inserted into some larger expression that will force the sub-expression to have the correct type.

val to_string : ?max_cat:int -> 'a expr -> string

Converts an expr to a string.

  • parameter max_cat

    represents the maximum number of variables in the expression that can have the same type. By default this is 2.