package asak

You can search for identifiers within the package.

in-package search v0.2.0

Module `Asak.Parse_structure`Source

Sourceval parsetree_of_string : string -> Parsetree.structure Monad_error.ErrS.t

If the string is a valid OCaml code, return its parsetree.

Sourceval init_env : unit -> Env.t

Initial typing envrionement, maybe with an other openened library.

val type_with_init : 
  Parsetree.structure ->
  Typedtree.structure Monad_error.ErrS.t

Typecheck a parsetree with the initial environement.

Sourceval has_name : string -> Typedtree.value_binding -> bool

Check if a value_binding is a variable with the given name.

val get_specific_lambda_of_typedtree : 
  string ->
  Typedtree.structure ->
  Lambda.lambda Monad_error.ErrS.t

Extract a specific let binding in a typedtree, and transform it into a lambda expression.

val find_let_in_parsetree_items : 
  string ->
  Parsetree.structure ->
  Parsetree.structure_item option

Find a specific toplevel let-definition.

val read_structure_with_loc : 
  ?prefix:string ->
  Typedtree.structure ->
  ((string * Location.t) * Lambda.lambda) list

Return all let bindings of a typedtree converted in lambda expression plus its location.

val read_structure : 
  ?prefix:string ->
  Typedtree.structure ->
  (string * Lambda.lambda) list

Return all let bindings of a typedtree converted in lambda expressions.

Sourceval read_string : string -> (string * Lambda.lambda) list

Read a valid OCaml fragment and compile every toplevel definitions to Lambda.

Sourceval init_path : unit -> unit

An OCaml version-independent init_path