package learn-ocaml

You can search for identifiers within the package.

in-package search v0.2.0

learn-ocaml.mutation_testing
- Mutation_test
  - M
  - Make
    
    _
    
    Ast_checker
    
    Make
    
    _
    
    Mutation
    
    Open_me
    
    Introspection
    
    S
    
    Sampler
    
    Sampler_reg
    
    Test_functions_function
    
    Test_functions_generic
    
    Make
    
    _
    
    S
    
    Test_functions_ref_var
    
    Test_functions_types
    
    Tester

Legend:
Library
Module
Module type
Parameter
Class
Class type

type !'a ast_checker =
  ?on_expression:(Parsetree.expression -> Learnocaml_report.t) ->
  ?on_pattern:(Parsetree.pattern -> Learnocaml_report.t) ->
  ?on_structure_item:(Parsetree.structure_item -> Learnocaml_report.t) ->
  ?on_external:(Parsetree.value_description -> Learnocaml_report.t) ->
  ?on_include:(Parsetree.include_declaration -> Learnocaml_report.t) ->
  ?on_open:(Parsetree.open_declaration -> Learnocaml_report.t) ->
  ?on_module_occurence:(string -> Learnocaml_report.t) ->
  ?on_variable_occurence:(string -> Learnocaml_report.t) ->
  ?on_function_call:
    ((Parsetree.expression * (string * Parsetree.expression) list) ->
      Learnocaml_report.t) ->
  'a ->
  Learnocaml_report.t

val ast_check_expr : Parsetree.expression ast_checker

val ast_check_structure : Parsetree.structure ast_checker

val find_binding : 
  Parsetree.structure ->
  string ->
  (Parsetree.expression -> Learnocaml_report.t) ->
  Learnocaml_report.t

val forbid : string -> ('a -> string) -> 'a list -> 'a -> Learnocaml_report.t

val restrict : string -> ('a -> string) -> 'a list -> 'a -> Learnocaml_report.t

val require : string -> ('a -> string) -> 'a -> 'a -> Learnocaml_report.t

val forbid_expr : 
  string ->
  Parsetree.expression list ->
  Parsetree.expression ->
  Learnocaml_report.t

val restrict_expr : 
  string ->
  Parsetree.expression list ->
  Parsetree.expression ->
  Learnocaml_report.t

val require_expr : 
  string ->
  Parsetree.expression ->
  Parsetree.expression ->
  Learnocaml_report.t

val forbid_syntax : string -> 'a -> Learnocaml_report.t

val require_syntax : string -> 'a -> Learnocaml_report.t

val ast_sanity_check : 
  ?modules:string list ->
  Parsetree.structure ->
  (unit -> Learnocaml_report.t) ->
  Learnocaml_report.t