Module `Flambda2_parser.Fexpr_prim_descr`

type param = Fexpr.prim_param

type t = Fexpr.prim_op

type decode_env = Fexpr_to_flambda_commons.env

type encode_env = Flambda_to_fexpr_commons.Env.t

type ('p, 't, 'r) lens = {

}

general 2-way translation between fexpr-related and flambda-related types

type ('a, 'b) map_lens = ('a, 'b, 'a) lens

reversible lens

type 'p value_lens = ('p, string Fexpr.located) map_lens

fexpr primitive parameter payload conversion

type 'p params_lens = ('p, param list) map_lens

parameters conversion

type 'p prim_lens =
  ('p,
    t,
    Flambda2_term_basics.Simple.t list ->
    Flambda2_terms.Flambda_primitive.t)
    lens

Full primitive translation assuming prior pattern-matching

type 'p conv = encode_env -> 'p -> t

reconversion to fexpr

type 'p param_cons

composable lens constructor

type 'p case_cons

pattern recognition constructor

type 'p cons0 =
  decode_env ->
  'p ->
  Flambda2_terms.Flambda_primitive.nullary_primitive

type 'p cons1 =
  decode_env ->
  'p ->
  Flambda2_terms.Flambda_primitive.unary_primitive

type 'p cons2 =
  decode_env ->
  'p ->
  Flambda2_terms.Flambda_primitive.binary_primitive

type 'p cons3 =
  decode_env ->
  'p ->
  Flambda2_terms.Flambda_primitive.ternary_primitive

type 'p cons4 =
  decode_env ->
  'p ->
  Flambda2_terms.Flambda_primitive.quaternary_primitive

type 'p consN =
  decode_env ->
  'p ->
  int ->
  Flambda2_terms.Flambda_primitive.variadic_primitive

Final boxing to primitive from parameters values

The variadic version also provides the actual number of arguments

val wrap_loc : 'a -> 'a Fexpr.located

val unwrap_loc : 'a Fexpr.located -> 'a

module Describe : sig ... end

All the necessary smart constructors to describe the structure of a fexpr primitive and its conversion from/to flambda.

val lookup_prim : 
  t ->
  (decode_env ->
    t ->
    Flambda2_term_basics.Simple.t list ->
    Flambda2_terms.Flambda_primitive.t)
    option

Fetch primitive conversion function from registered descriptions

Module Flambda2_parser.Fexpr_prim_descr