package minicaml

You can search for identifiers within the package.

in-package search v0.2.0

minicaml
- Minicaml
  - Dictp
  - Eval
  - Iop
  - Lexer
  - Listp
  - Mstdlib
  - Numericalp
  - Optimizer
  - Parser
  - Primitives
  - Puritycheck
  - Repl
  - Stringp
  - Typecheck
  - Typep
  - Types
  - Util
    
    Dict

Legend:
Library
Module
Module type
Parameter
Class
Class type

val parser : Lexing.lexbuf -> Types.command

val closurize : string -> string -> Types.type_wrapper

An helper function that helps extracting closures from strings, to be used as functions in the standard library. An empty environment is used since primitives in the standard library should not be able to access external values TODO: compute at compile time

val mapstr : string

val filterstr : string

val foldlstr : string

val foldrstr : string

val table : (string * Types.type_wrapper) list

val purity_table : (string * Types.puret) list