package dedukti

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

Module Parsers.ParserSource

Sourcetype stream

Abstract parser stream representation.

Sourcetype input

Abstract type for input.

Sourceexception Parse_error of Kernel.Basic.loc * string
Sourceval input_from_file : string -> input
Sourceval input_from_stdin : Kernel.Basic.mident -> input
Sourceval input_from_string : Kernel.Basic.mident -> string -> input
Sourceval md_of_input : input -> Kernel.Basic.mident
Sourceval md_of_file : string -> Kernel.Basic.mident
Sourceval file_of_input : input -> string option
Sourceval close : input -> unit

read str reads a single entry from the parser stream str. When no more entry is available, the End_of_file exception is raised.

Sourceval from : input -> stream

from_channel in creates a parser stream for the environment env env given the input in.

Sourceval handle : input -> (Entry.entry -> unit) -> unit

handle in f parses the input in in the environment env, using the action f on each entry. Note that the input is parsed lazily. This function can thus be applied to stdin.

Sourceval parse : input -> Entry.entry list

parse in completely parses the input in and returns the corresponding list of entries.

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