package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

minicaml
- Minicaml
  - Dictp
  - Eval
  - File
  - Interface
  - Iop
  - Jscompiler
  - Lexer
  - Listp
  - Numerical
  - Optimizer
  - Parser
  - Primitives
  - Ramda
  - Repl
  - Special
  - Static
  - Stringp
  - Typecheck
  - Types
  - Util
    
    Dict

Legend:
Library
Module
Module type
Parameter
Class
Class type

val wrapprim : 
  ('a * (('b -> 'c) * 'd)) list ->
  ('a * (('b -> 'e -> 'f -> 'c) * 'd)) list

Wrap non-special primitives (those that do note use apply and eval) into a general type constructor

val table : 
  (string
   * ((Types.evt list ->
      (Types.evt -> Types.type_wrapper list -> Types.evalstate -> Types.evt) ->
      Types.evalstate ->
      Types.evt)
      * int))
    list

val impure_table : 
  (string
   * ((Types.evt list ->
      (Types.evt -> Types.type_wrapper list -> Types.evalstate -> Types.evt) ->
      Types.evalstate ->
      Types.evt)
      * int))
    list

val fulltable : 
  (string
   * ((Types.evt list ->
      (Types.evt -> Types.type_wrapper list -> Types.evalstate -> Types.evt) ->
      Types.evalstate ->
      Types.evt)
      * int))
    list

val jsprelude : string

val getfun : 
  string ->
  Types.evt list ->
  (Types.evt -> Types.type_wrapper list -> Types.evalstate -> Types.evt) ->
  Types.evalstate ->
  Types.evt