package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Minicaml.Eval`

module T = ANSITerminal

Boolean Primitives

val bool_binop : (Types.evt * Types.evt) -> (bool -> bool -> bool) -> Types.evt

val bool_unop : Types.evt -> (bool -> bool) -> Types.evt

val uniqueorfail : 'a list -> 'a list

val eval : Types.expr -> Types.evalstate -> Types.evt

Evaluate an expression in an environment

val lookup : Types.ide -> Types.evalstate -> Types.evt

val applyfun : Types.evt -> Types.type_wrapper -> Types.evalstate -> Types.evt

val eval_assignment : 
  Types.evalstate ->
  (bool * Types.ide * Types.expr) ->
  Types.evalstate

val eval_assignment_list : 
  Types.assignment_type list ->
  Types.evalstate ->
  Types.evalstate

val eval_command : 
  Types.command ->
  Types.evalstate ->
  string ->
  Types.evt * Types.evalstate

val eval_command_list : 
  Types.command list ->
  Types.evalstate ->
  string ->
  Types.evt * Types.evalstate

val eval_directive : 
  Types.directive ->
  Types.evalstate ->
  string ->
  Types.evt * Types.evalstate