liquid_interpreter 0.1.2 · OCaml Package

type app_state = {

settings : Liquid_syntax.Settings.t Base.ref;

}

val state : app_state

val nlit : Base.String.t -> Base.String.t

val notifier : 
  Base.String.t ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t

val has_notifier : Base.String.t -> 'a Liquid_syntax.Syntax.Ctx.t -> bool

val save_state : 
  'a Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.Ctx.key list

val rewind : 
  'a Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.Ctx.key Base.List.t ->
  'a Liquid_syntax.Syntax.Ctx.t

val list_from_ctx : 
  'a Liquid_syntax.Syntax.Ctx.t ->
  (Liquid_syntax.Syntax.Ctx.key * 'a) list

val var_from : Base.String.t -> Liquid_syntax.Syntax.value

val ast_from_file : string -> Liquid_syntax.Syntax.ast

val process_error : Base.string -> Liquid_syntax.Syntax.value

val interpret_function : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.string ->
  Liquid_syntax.Syntax.value Base.List.t ->
  Liquid_syntax.Syntax.value

val interpret_expression : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.expression ->
  Liquid_syntax.Syntax.value

val interpret_equation : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  (Liquid_syntax.Syntax.value
   * Liquid_syntax.Tokens.operator
   * Liquid_syntax.Syntax.value) ->
  Base.bool

val interpret_condition : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Liquid_syntax.Syntax.condition ->
  Base.bool

val interpret : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  Liquid_syntax.Syntax.ast ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_block : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  Liquid_syntax.Syntax.ast Base.list ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_else : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  Liquid_syntax.Syntax.ast Base.option ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_test : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  cond:Liquid_syntax.Syntax.condition ->
  body:Liquid_syntax.Syntax.ast ->
  else_body:Liquid_syntax.Syntax.ast Base.option ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_for : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  alias:Base.string ->
  iterable:Liquid_syntax.Syntax.value ->
  params:Liquid_syntax.Syntax.for_params ->
  body:Liquid_syntax.Syntax.ast ->
  else_body:Liquid_syntax.Syntax.ast Base.option ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_cycle : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  group:Base.string Base.option ->
  values:Base.string Base.list ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_increment : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  id:Base.string ->
  exp:Liquid_syntax.Syntax.expression ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_include : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  filename:Base.string ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_style : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  Liquid_syntax.Syntax.ast Base.option ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val interpret_render : 
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t ->
  Base.String.t ->
  filename:Base.string ->
  render_ctx:Liquid_syntax.Syntax.variable_context ->
  body:Liquid_syntax.Syntax.ast Base.option ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t * Base.String.t

val make_ctx : 
  Liquid_syntax.Settings.t ->
  Liquid_syntax.Syntax.value Liquid_syntax.Syntax.Ctx.t

val start : 
  Liquid_syntax.Settings.t ->
  Liquid_syntax.Syntax.ast ->
  Base.String.t

package liquid_interpreter