package gobba

You can search for identifiers within the package.

in-package search v0.2.0

gobba
- Gobba
  - Dictp
  - Errors
  - Eval
  - Iop
  - Lexer
  - Listp
  - Mstdlib
  - Numericalp
  - Optimizer
  - Parsedriver
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Primitives
  - Puritycheck
  - Repl
  - Stringp
  - Typecheck
  - Typep
  - Types
  - Util
    
    Dict

Legend:
Library
Module
Module type
Parameter
Class
Class type

val parser : Lexing.lexbuf -> Types.command list

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

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.evt) list

val purity_table : (string * Types.puret) list