package gobba

  1. Overview
  2. Docs

Contains functions to manipulate expressions

val findbody : Types.expr -> Types.expr

Function that finds a nested lambda body

val replacebody : Types.expr -> Types.expr -> Types.expr

Function that finds and replaces a (nested) lambda body

val findparams : Types.expr -> Types.ide list

Function that creates a list with the params of a nested lambda

val lambda_of_paramlist : Types.ide list -> Types.expr -> Types.expr

Creates a nested Lambda from a list of params

val lambda_of_paramarr : Types.ide array -> Types.expr -> Types.expr

Creates a nested Lambda from an array of params

val apply_from_exprlist : Types.expr list -> Types.expr -> Types.expr

Creates a nested Apply from a list of expressions

val symbols_from_strings : Types.ide list -> Types.expr list

Creates a list of Symbol from a list of string

val show_expr_short : Types.expr -> Ppx_deriving_runtime.string

Show a short representation of an expression (useful for stack traces)