package fmlib

You can search for identifiers within the package.

in-package search v0.2.0

Functional monadic library

Install

Dune Dependency

github.com Readme Edit opam file Versions (16)

Authors

H

Helmut Brandl <helmut.brandl@gmx.net>

Maintainers

H

Helmut Brandl <helmut.brandl@gmx.net>

Sources

0.1.0.tar.gz

sha256=0558665285e4d7691e5a80c90ab05a7acb86c09f03ceef6589f150f6d3574573

md5=fb61f4d6e7233cf8d1d71758e6110c1e

doc/src/fmlib.fmlib_parse/interfaces.ml.html

Source file `interfaces.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
module type PARSER =
sig
end




module type COMBINATOR =
sig
    type state
    type expect
    type semantic

    type _ t
    val (>>=):   'a t -> ('a -> 'b t) -> 'b t
    val (let* ): 'a t -> ('a -> 'b t) -> 'b t
    val map: ('a -> 'b) -> 'a t -> 'b t
    val succeed: 'a -> 'a t
    val return:  'a -> 'a t
    val unexpected: expect -> 'a t
    val clear_last_expectation: 'a -> 'a t
    val fail: semantic -> 'a t
    val (</>):   'a t -> 'a t -> 'a t
    val choices: 'a t -> 'a t list -> 'a t
    val (<?>):   'a t -> expect -> 'a t



    val get: state t
    val update: (state -> state) -> unit t
    val get_and_update: (state -> state) -> state t



    val optional: 'a t -> 'a option t
    val zero_or_more: 'r -> ('item -> 'r -> 'r) -> 'item t -> 'r t

    val one_or_more:
        ('item -> 'r)
        -> ('item -> 'r -> 'r)
        -> 'item t
        -> 'r t

    val list_zero_or_more: 'a t -> 'a list t

    val list_one_or_more:  'a t -> ('a * 'a list) t

    val skip_zero_or_more: 'a t -> int t


    val skip_one_or_more:  'a t -> int t


    val one_or_more_separated:
        ('item -> 'r)
        -> ('r -> 'sep -> 'item -> 'r)
        -> 'item t
        -> 'sep t
        -> 'r t

    val backtrack: 'a t -> expect -> 'a t

    val followed_by: 'a t -> expect -> 'a t

    val not_followed_by: 'a t -> expect -> unit t
end