package dedukti

  1. Overview
  2. Docs
An implementation of The Lambda-Pi Modulo Theory

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

  1. D
    dedukti-dev@inria.fr

Maintainers

  1. D
    dedukti-dev@inria.fr

Sources

v2.7.tar.gz
sha512=97171b48dd96043d84587581d72edb442f63e7b5ac1695771aa1c3c9074739e15bc7d17678fedb7062acbf403a0bf323d97485c31b92376b80c63b5c2300ee3c
sha256=5e1b6a859dfa1eb2098947a99c7d11ee450f750d96da1720f4834e1505d1096c

doc/dedukti.parsers/Parsers/Parser/index.html

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.