Module Tpf_sexplib.Dec

Generic Sexp decoder.

include Tpf.P with type 'a q := 'a d
type 'a q

Query type.

type p

q proxy.

val (!) : 'a q -> ('ap) Tpf.app

Injection.

val g_of_sexp : ('ap) Tpf.schema -> 'a d
include Tpf.Data with type 'a q := 'a d and type 'a r := 'a d
type 'a q

The query type.

This is what we need at each inner type that we encounter.

type 'a r

The overall result type.

It's often the same as q, but it doesn't have to be.

val data0 : 'x Tpf.data0 -> 'x r
val data1 : ('a'x) Tpf.data1 -> 'a q -> 'x r
val data2 : ('a'b'x) Tpf.data2 -> 'a q -> 'b q -> 'x r
val data3 : ('a'b'c'x) Tpf.data3 -> 'a q -> 'b q -> 'c q -> 'x r
val data4 : ('a'b'c'd'x) Tpf.data4 -> 'a q -> 'b q -> 'c q -> 'd q -> 'x r
val data5 : ('a'b'c'd'e'x) Tpf.data5 -> 'a q -> 'b q -> 'c q -> 'd q -> 'e q -> 'x r
val data6 : ('a'b'c'd'e'f'x) Tpf.data6 -> 'a q -> 'b q -> 'c q -> 'd q -> 'e q -> 'f q -> 'x r
val data7 : ('a'b'c'd'e'f'g'x) Tpf.data7 -> 'a q -> 'b q -> 'c q -> 'd q -> 'e q -> 'f q -> 'g q -> 'x r
val data8 : ('a'b'c'd'e'f'g'h'x) Tpf.data8 -> 'a q -> 'b q -> 'c q -> 'd q -> 'e q -> 'f q -> 'g q -> 'h q -> 'x r
val data9 : ('a'b'c'd'e'f'g'h'i'x) Tpf.data9 -> 'a q -> 'b q -> 'c q -> 'd q -> 'e q -> 'f q -> 'g q -> 'h q -> 'i q -> 'x r