package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Config.ParserSource

Parser of configuration files

Configuration file

**********************

Sourceval opt_config : string Stdlib.ref

Path to the current configuration

Sourceval all_domains : unit -> string list
Sourceval all_reductions : unit -> string list

Domain parser

*****************

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval parse_domain : Yojson.Basic.t -> Syntax.domain
Sourceval parse_domain_reduction : string -> Syntax.domain_reduction
Sourceval parse_domain_functor : Yojson.Basic.t -> Syntax.domain_functor
Sourceval parse_value : Yojson.Basic.t -> Syntax.value
Sourceval parse_value_reduction : string -> Syntax.value_reduction
Sourceval parse_value_functor : Yojson.Basic.t -> Syntax.value_functor

Toplevel attributes

***********************

Sourceval get_language : [> `Assoc of (string * Yojson__Basic.t) list ] -> string
Sourceval get_domain_json : [> `Assoc of (string * 'a) list ] -> 'a

Entry points

****************

Sourceval parse : string -> Syntax.abstraction
Sourceval language : string -> string
Sourceval domains : string -> string list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct