links 0.9.8 · OCaml Package

type nested_type = [

| `Primitive of CommonTypes.Primitive.t
| `Record of nested_type Utility.StringMap.t
| `List of nested_type

]

val pp_nested_type : 
  Ppx_deriving_runtime.Format.formatter ->
  nested_type ->
  Ppx_deriving_runtime.unit

val show_nested_type : nested_type -> Ppx_deriving_runtime.string

type 'a shredded = [

| `Primitive of 'a
| `Record of 'a shredded Utility.StringMap.t

]

val pp_shredded : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a shredded ->
  Ppx_deriving_runtime.unit

val show_shredded : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a shredded ->
  Ppx_deriving_runtime.string

type shredded_type = CommonTypes.Primitive.t shredded

val pp_shredded_type : 
  Ppx_deriving_runtime.Format.formatter ->
  shredded_type ->
  Ppx_deriving_runtime.unit

val show_shredded_type : shredded_type -> Ppx_deriving_runtime.string

type shredded_value = Value.t shredded

val pp_shredded_value : 
  Ppx_deriving_runtime.Format.formatter ->
  shredded_value ->
  Ppx_deriving_runtime.unit

val show_shredded_value : shredded_value -> Ppx_deriving_runtime.string

type flat_type = [

| `Primitive of CommonTypes.Primitive.t
| `Record of CommonTypes.Primitive.t Utility.StringMap.t

]

val pp_flat_type : 
  Ppx_deriving_runtime.Format.formatter ->
  flat_type ->
  Ppx_deriving_runtime.unit

val show_flat_type : flat_type -> Ppx_deriving_runtime.string

type 'a package = [

| `Primitive of CommonTypes.Primitive.t
| `Record of 'a package Utility.StringMap.t
| `List of 'a package * 'a

]

val pp_package : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  Ppx_deriving_runtime.Format.formatter ->
  'a package ->
  Ppx_deriving_runtime.unit

val show_package : 
  'a. (Ppx_deriving_runtime.Format.formatter ->
        'a ->
        Ppx_deriving_runtime.unit) ->
  'a package ->
  Ppx_deriving_runtime.string

type step = [

| `List
| `Record of string

]

type path = step list

val nested_type_of_type : Types.datatype -> nested_type

val erase : 'a package -> nested_type

val pmap : ('a -> 'b) -> 'a package -> 'b package

val package : (path -> 'a) -> nested_type -> 'a package

val pzip : 'a package -> 'b package -> ('a * 'b) package

val top : int

val split_conditions : (QL.t -> 'a) -> QL.t -> (QL.t -> 'a) * QL.t

val static_in : QL.t

val static_out : QL.t

val dyn_index : int -> QL.t

val in_index : int -> QL.t

val out_index : int -> QL.t

val shinner : QL.tag -> QL.t -> QL.t

val shouter : 
  QL.tag ->
  [> `List | `Record of Utility.StringMap.key ] list ->
  QL.t ->
  QL.t list

val shred_outer : 
  QL.t ->
  [> `List | `Record of Utility.StringMap.key ] list ->
  QL.t

val shred_query : QL.t -> nested_type -> QL.t package

val shred_inner_type : nested_type -> shredded_type

val shred_outer_type : nested_type -> path -> shredded_type

val shred_query_type : nested_type -> shredded_type package

package links