Up

Module Stream_query

Signature

type 'a needs_length = [
| `Query of 'a
| `Abort
]
val bin_size_needs_length : ('a -> int) -> [>
| `Query of 'a
] -> int
val bin_write_needs_length : (Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> 'a -> Bin_prot.Common.pos) -> Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> [<
| `Abort
| `Query of 'a
] -> Bin_prot.Common.pos
val bin_writer_needs_length : 'a Bin_prot.Type_class.writer -> [<
| `Abort
| `Query of 'a
> `Query] Bin_prot.Type_class.writer
val __bin_read_needs_length__ : ('a -> pos_ref:'b -> 'c) -> 'a -> pos_ref:'b -> int -> [>
| `Abort
| `Query of 'c
]
val bin_read_needs_length : (Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a) -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> [>
| `Abort
| `Query of 'a
]
val bin_reader_needs_length : 'a Bin_prot.Type_class.reader -> [>
| `Abort
| `Query of 'a
] Bin_prot.Type_class.reader
val bin_needs_length : 'a Bin_prot.Type_class.t -> [
| `Abort
| `Query of 'a
] Bin_prot.Type_class.t
type 'a t = 'a needs_length
val __bin_read_t__ : ('a -> pos_ref:'b -> 'c) -> 'a -> pos_ref:'b -> int -> [>
| `Abort
| `Query 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 -> [>
| `Abort
| `Query of 'a
]
val bin_reader_t : 'a Bin_prot.Type_class.reader -> [>
| `Abort
| `Query of 'a
] Bin_prot.Type_class.reader
type nat0_t = Nat0.t needs_length
val bin_size_nat0_t : [>
| `Query of Nat0.t
] -> int
val bin_write_nat0_t : Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> [<
| `Abort
| `Query of Nat0.t
] -> Bin_prot.Common.pos
val bin_writer_nat0_t : [<
| `Abort
| `Query of Nat0.t
> `Query] Bin_prot.Type_class.writer
val __bin_read_nat0_t__ : Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> int -> [>
| `Abort
| `Query of Nat0.t
]
val bin_read_nat0_t : Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> [>
| `Abort
| `Query of Nat0.t
]
val bin_reader_nat0_t : [>
| `Abort
| `Query of Nat0.t
] Bin_prot.Type_class.reader