package coqide-server

  1. Overview
  2. Docs
The Coq Proof Assistant, XML protocol server

Install 

dune-project
 Dependency

coq.inria.fr Readme Edit opam file Versions (11)

Authors

  1. T
    The Coq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Coq development team <coqdev@inria.fr>

Sources

coq-8.19.1.tar.gz
md5=13d2793fc6413aac5168822313e4864e
sha512=ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42

doc/coqide-server.protocol/Serialize/index.html

Module SerializeSource

Sourceexception Marshal_error of string * Xml_datatype.xml
Sourceval massoc : string -> (string * string) list -> string
Sourceval constructor : string -> string -> Xml_datatype.xml list -> Xml_datatype.xml
Sourceval do_match : string -> (string -> Xml_datatype.xml list -> 'b) -> Xml_datatype.xml -> 'b
Sourceval singleton : 'a list -> 'a
Sourceval empty : 'a list -> unit
Sourceval raw_string : Xml_datatype.xml list -> string
Sourceval of_unit : unit -> Xml_datatype.xml
Sourceval to_unit : Xml_datatype.xml -> unit
Sourceval of_bool : bool -> Xml_datatype.xml
Sourceval to_bool : Xml_datatype.xml -> bool
Sourceval of_list : ('a -> Xml_datatype.xml) -> 'a list -> Xml_datatype.xml
Sourceval to_list : (Xml_datatype.xml -> 'a) -> Xml_datatype.xml -> 'a list
Sourceval of_option : ('a -> Xml_datatype.xml) -> 'a option -> Xml_datatype.xml
Sourceval to_option : (Xml_datatype.xml -> 'a) -> Xml_datatype.xml -> 'a option
Sourceval of_string : string -> Xml_datatype.xml
Sourceval to_string : Xml_datatype.xml -> string
Sourceval of_int : int -> Xml_datatype.xml
Sourceval to_int : Xml_datatype.xml -> int
Sourceval of_pair : ('a -> Xml_datatype.xml) -> ('b -> Xml_datatype.xml) -> ('a * 'b) -> Xml_datatype.xml
Sourceval to_pair : (Xml_datatype.xml -> 'a) -> (Xml_datatype.xml -> 'b) -> Xml_datatype.xml -> 'a * 'b
Sourceval of_union : ('a -> Xml_datatype.xml) -> ('b -> Xml_datatype.xml) -> ('a, 'b) CSig.union -> Xml_datatype.xml
Sourceval to_union : (Xml_datatype.xml -> 'a) -> (Xml_datatype.xml -> 'b) -> Xml_datatype.xml -> ('a, 'b) CSig.union
Sourceval of_edit_id : int -> Xml_datatype.xml
Sourceval to_edit_id : Xml_datatype.xml -> int