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 'a t = 'a UnitMonad.t

val return : 'a -> 'a t

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

val fail : exn -> 'a t

type source = Input(UnitMonad).stream

exception Located_exn of int * int * exn

type stream = LocatedStream(UnitMonad)(Input(UnitMonad)).stream = {

mutable line : int;
mutable col : int;
mutable decoder : source -> int option Input(UnitMonad).t;
stream : source;

}

val set_decoder : string -> stream -> unit

val make_stream : source -> stream

val error : ?stream:stream -> exn -> 'a t

val next_char : stream -> (unit -> 'a t) -> (int -> 'a t) -> 'a t