Module `Jingoo.Jg_interp`Source

Sourceval filter_map : ('a -> 'b option) -> 'a list -> 'b list

val value_of_expr : 
  Jg_types.environment ->
  Jg_types.context ->
  Jg_types.expression ->
  Jg_types.tvalue

Sourceval apply_name_of : Jg_types.expression -> string

Sourceval ident_names_of : Jg_types.expression list -> string list

Sourceval ident_names_of_def : Jg_types.arguments -> Jg_types.macro_arg_names

Sourceval alias_names_of : (string * string option) list -> (string * string) list

Source

val nargs_of : 
  Jg_types.environment ->
  Jg_types.context ->
  (string option * Jg_types.expression) list ->
  Jg_types.tvalue list

Source

val kwargs_of_app : 
  Jg_types.environment ->
  Jg_types.context ->
  (string option * Jg_types.expression) list ->
  Jg_types.kwargs

Source

val kwargs_of_def : 
  Jg_types.environment ->
  Jg_types.context ->
  Jg_types.arguments ->
  Jg_types.macro_defaults

Source

val eval_macro : 
  Jg_types.environment ->
  Jg_types.context ->
  string ->
  Jg_types.tvalue list ->
  Jg_types.kwargs ->
  Jg_types.macro ->
  Jg_types.context

Sourceval is_safe_expr : Jg_types.expression -> bool

Source

val eval_statement : 
  Jg_types.environment ->
  Jg_types.context ->
  Jg_types.statement ->
  Jg_types.context

Sourceval unfold_extends : Jg_types.environment -> Jg_types.ast -> Jg_types.ast

Sourceval replace_blocks : Jg_types.ast -> Jg_types.ast

Sourceval get_file_path : Jg_types.environment -> string -> string

Source

val init_context : 
  ?env:Jg_types.environment ->
  ?models:Jg_types.frame ->
  output:(Jg_types.tvalue -> unit) ->
  unit ->
  Jg_types.context

Sourceval ast_from_lexbuf : string option -> Lexing.lexbuf -> Jg_types.ast

Sourceval error : string -> Lexing.lexbuf -> Jg_types.ast

Sourceval ast_from_chan : string option -> in_channel -> Jg_types.ast

Sourceval ast_from_file : env:Jg_types.environment -> string -> Jg_types.ast

Sourceval ast_from_string : string -> Jg_types.ast

Source

val extract_macros : 
  Jg_types.environment ->
  Jg_types.ast ->
  Jg_types.ast * (Jg_types.context -> string * Jg_types.macro) list

Sourcemodule Loaded : sig ... end

Source

val select_context : 
  ?env:Jg_types.environment ->
  models:Jg_types.frame ->
  output:(Jg_types.tvalue -> unit) ->
  Jg_types.context option ->
  Jg_types.context

Source

val from_file : 
  ?env:Jg_types.environment ->
  ?models:(string * Jg_types.tvalue) list ->
  output:(Jg_types.tvalue -> unit) ->
  ?ctx:Jg_types.context ->
  string ->
  unit

Source

val from_string : 
  ?env:Jg_types.environment ->
  ?models:(string * Jg_types.tvalue) list ->
  ?file_path:'a ->
  output:(Jg_types.tvalue -> unit) ->
  ?ctx:Jg_types.context ->
  string ->
  unit

Source

val from_chan : 
  ?env:Jg_types.environment ->
  ?models:(string * Jg_types.tvalue) list ->
  ?file_path:string ->
  output:(Jg_types.tvalue -> unit) ->
  ?ctx:Jg_types.context ->
  in_channel ->
  unit

Sourcemodule RevicedApi : sig ... end

package jingoo

Module Jingoo.Jg_interpSource

Module `Jingoo.Jg_interp`Source