package links

  1. Overview
  2. Docs
module LP = Lens.Phrase
module I = Ir
val internal_error : string -> exn
val raise_internal : string -> 'a

This code is mostly taken and adapted from query/query.ml

module IrValue : sig ... end
module LEnv = Env
module Env : sig ... end
module Of_ir_error : sig ... end
val lookup_val : ('a Value.Env.t * 'b) -> Ir.var -> ('a, Of_ir_error.t) Result.result
module Primitives : sig ... end
val project_record : (string * Links_core.Lens.Phrase.Value.t) list -> string -> (Links_core.Lens.Phrase.Value.t, Of_ir_error.t) Result.result
val project_value : Links_core.Lens.Phrase.Value.t -> string -> (Links_core.Lens.Phrase.Value.t, Of_ir_error.t) Result.result
val unexpected_ir_error : IrValue.t -> ('a, Of_ir_error.t) Result.result
val unpack_constant_phrase : Lens.Phrase.t -> (Links_core.Lens.Phrase.Value.t, Of_ir_error.t) Result.result
val unpack_constant_of_ir_value : IrValue.t -> (Links_core.Lens.Phrase.Value.t, Of_ir_error.t) Result.result
val lens_sugar_phrase_of_ir : I.value -> Value.t Value.Env.t -> (Lens.Phrase.t, Of_ir_error.t) Result.result
OCaml

Innovation. Community. Security.