package sexp_macro

You can search for identifiers within the package.

in-package search v0.2.0

sexp_macro
- Sexp_macro
  - Blocking
  - Loader
    
    S
    
    Monad
    
    List
    
    Monad_infix
  - Macro_loader
  - Sexp_loader
    
    Monad
    
    List
    
    Monad_infix

Legend:
Library
Module
Module type
Parameter
Class
Class type

module Blocking : sig ... end

The load... functions of this module mirror the corresponding functions of the Sexp module except that they do macro-expansion in the loaded file and may throw additional exceptions.

val expand_local_macros : Core.Sexp.t list -> Core.Sexp.t list Core.Or_error.t

expand_local_macros sexps takes a list of sexps and performs macro-expansion on them, except that an error will be returned if an :include macro is found.

module type Sexp_loader = sig ... end

A version of load_sexps that is functorized with respect to the functions that load the sexps from files and the corresponding monad.

module Loader (S : sig ... end) : sig ... end

val add_error_location : string -> exn -> exn

type ('a, 'b) load =
  ?allow_includes:bool ->
  string ->
  (Async.Sexp.t -> 'a) ->
  'b Async.Deferred.t

val load_sexp : ('a, 'a Core.Or_error.t) load

val load_sexp_exn : ('a, 'a) load

val load_sexps : ('a, 'a list Core.Or_error.t) load

val load_sexps_exn : ('a, 'a list) load

val included_files : string -> string list Core.Or_error.t Async.Deferred.t

module Macro_loader : sig ... end