package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module LP = Links_core.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 : 
  Links_core.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 ->
  (Links_core.Lens.Phrase.t, Of_ir_error.t) Result.result