typpx 1.4.3 (latest) · OCaml Package

val untyped : Parsetree.expression -> Typedtree.expression

untyped is to embed an untyped AST in an typed AST. The embeded untyped AST will be kept as is when the typed one is untyped.

val ident : Path.t -> Typedtree.expression

val let_ : 
  ?recursive:bool ->
  Typedtree.value_binding list ->
  Typedtree.expression ->
  Typedtree.expression

val letmodule : 
  Ident.t ->
  Typedtree.module_expr ->
  Typedtree.expression ->
  Typedtree.expression

val app : 
  Typedtree.expression ->
  (Asttypes.arg_label * Typedtree.expression) list ->
  Typedtree.expression

val ignore : Typedtree.expression -> Typedtree.expression

ignore e creates Pervasives.ignore <e>. No check of Pervasives is the really OCaml stdlib's Pervasives.

val fun_ : 
  ?label:Asttypes.arg_label ->
  Typedtree.pattern ->
  Typedtree.expression ->
  Typedtree.expression

val tuple : Typedtree.expression list -> Typedtree.expression

val with_env : Env.t -> Typedtree.expression -> Typedtree.expression

Override expression's type environment field

val none : ?ty:Types.type_expr -> Env.t -> Typedtree.expression

Build None of the given content type. If ty is omitted the container type is Dummy.type_expr.

Raises Assert_failure when None is not accessible in the environment.

val some : Env.t -> Typedtree.expression -> Typedtree.expression

Build Some e of the given expression. Raises Assert_failure when Some is not accessible in the environment.

val list : Env.t -> Typedtree.expression list -> Typedtree.expression

Build the list of given expressions. The container type is t list where t is the type of the first expression. If no type is given, Dummy.type_expr is used.

Raises Assert_failure when either (::) and [] is not accessible in the environment.

val mark : string -> Typedtree.expression -> Typedtree.expression

Add @<string> to the expression

val partition_marks : 
  Typedtree.expression ->
  (string -> bool) ->
  string list * Typedtree.expression

Filter out matching @<string> attributes from the given expression.

package typpx