Up
Module
Read_result
Signature
module
Z
: sig .. end
include
Z
type
'a t = [
| `Ok
of
'a
| `Eof
]
val
__t_of_sexp__ : 'a . (
Sexplib.Sexp.t
-> 'a) ->
Sexplib.Sexp.t
-> 'a
t
val
t_of_sexp : 'a . (
Sexplib.Sexp.t
-> 'a) ->
Sexplib.Sexp.t
-> 'a
t
val
sexp_of_t : 'a . ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
val
bin_size_t : ('a -> int) -> [>
| `Ok
of
'a
] -> int
val
bin_write_t : (
Bin_prot.Common.buf
-> pos:
Bin_prot.Common.pos
-> 'a ->
Bin_prot.Common.pos
) ->
Bin_prot.Common.buf
-> pos:
Bin_prot.Common.pos
-> [<
| `Eof
| `Ok
of
'a
] ->
Bin_prot.Common.pos
val
bin_writer_t : 'a
Core.Std.Bin_prot.Type_class.writer
-> [<
| `Eof
| `Ok
of
'a
> `Ok]
Core.Std.Bin_prot.Type_class.writer
val
__bin_read_t__ : ('a -> pos_ref:'b -> 'c) -> 'a -> pos_ref:'b -> int -> [>
| `Eof
| `Ok
of
'c
]
val
bin_read_t : (
Bin_prot.Common.buf
-> pos_ref:
Bin_prot.Common.pos_ref
-> 'a) ->
Bin_prot.Common.buf
-> pos_ref:
Bin_prot.Common.pos_ref
-> [>
| `Eof
| `Ok
of
'a
]
val
bin_reader_t : 'a
Core.Std.Bin_prot.Type_class.reader
-> [>
| `Eof
| `Ok
of
'a
]
Core.Std.Bin_prot.Type_class.reader
val
bin_t : 'a
Core.Std.Bin_prot.Type_class.t
-> [
| `Eof
| `Ok
of
'a
]
Core.Std.Bin_prot.Type_class.t
val
bind : [<
| `Eof
| `Ok
of
'a
] -> ('a -> ([>
| `Eof
]
as
'b) ) -> 'b
val
map : [<
| `Eof
| `Ok
of
'a
] -> f:('a -> 'b) -> [>
| `Eof
| `Ok
of
'b
]
val
map : [>
| `Custom
of
[<
| `Eof
| `Ok
of
'a
] -> f:('a -> 'b) -> [>
| `Eof
| `Ok
of
'b
]
]
val
return : 'a -> [>
| `Ok
of
'a
]
val
(>>=) : 'a
Z.t
-> ('a -> 'b
Z.t
) -> 'b
Z.t
val
(>>|) : 'a
Z.t
-> ('a -> 'b) -> 'b
Z.t
module
Monad_infix
: sig .. end
val
bind : 'a
Z.t
-> ('a -> 'b
Z.t
) -> 'b
Z.t
val
return : 'a -> 'a
Z.t
val
map : 'a
Z.t
-> f:('a -> 'b) -> 'b
Z.t
val
join : 'a
Z.t
Z.t
-> 'a
Z.t
val
ignore_m : 'a
Z.t
-> unit
Z.t
val
all : 'a
Z.t
list -> 'a list
Z.t
val
all_ignore : unit
Z.t
list -> unit
Z.t
module
Let_syntax
: sig .. end