package erm_xml

You can search for identifiers within the package.

in-package search v0.2.0

package erm_xml

erm_xml
- Light_xml
  - S
  - Serialization
  - X
- Xml
  - Serialization
- Xmllexer
  - Decoder
    
    I
  - Encoding
  - INPUT
  - Input
    
    D
    
    M
  - LS
  - LocatedStream
    
    I
    
    M
  - M
    
    E
    
    S
    
    X
  - UnitMonad
  - X
  - XmlStanza
    
    M
- XmllexerE
  - Encoding
  - IterMonad
  - LocatedStream
  - M
    
    E
    
    S
    
    X
  - X
  - XmlStanza
    
    M
- XmllexerI
  - Decoder
    
    I
  - Encoding
  - Input
    
    D
  - IterMonad
  - LocatedStream
  - M
    
    E
    
    S
    
    X
  - X
  - XmlStanza
    
    M
- XmllexerI2
  - Decoder
    
    I
  - Encoding
  - Input
    
    D
  - IterMonad
  - LocatedStream
  - M
    
    E
    
    S
    
    X
  - X
  - XmlStanza
    
    M
- Xmllexer_generic
  - ENCODING
  - MONAD
  - Make
    
    E
    
    S
    
    X
  - STREAM
  - XMLTOKEN
  - XNAME
  - XName

Legend:
Library
Module
Module type
Parameter
Class
Class type

type data = XmlStanza(IterMonad).data =

| StartTag of string * (string * string) list * bool
| EndTag of string
| Doctype of Xmllexer_generic.doctype
| PI of string * string
| Text of string

type token = data option

type 'a t = 'a IterMonad.t

val emit_start_tag : 
  string ->
  (string * string) list ->
  bool ->
  data option IterMonad.t

val emit_end_tag : string -> data option IterMonad.t

val emit_doctype : Xmllexer_generic.doctype -> data option IterMonad.t

val emit_pi : string -> string -> data option IterMonad.t

val emit_text : string -> data option IterMonad.t

val emit_eof : unit -> 'a option IterMonad.t