package links

  1. Overview
  2. Docs
type nested_type = [
  1. | `Primitive of CommonTypes.Primitive.t
  2. | `Record of nested_type Utility.StringMap.t
  3. | `List of nested_type
]
val show_nested_type : nested_type -> Ppx_deriving_runtime.string
type 'a shredded = [
  1. | `Primitive of 'a
  2. | `Record of 'a shredded Utility.StringMap.t
]
type shredded_type = CommonTypes.Primitive.t shredded
val show_shredded_type : shredded_type -> Ppx_deriving_runtime.string
type shredded_value = Value.t shredded
val show_shredded_value : shredded_value -> Ppx_deriving_runtime.string
type flat_type = [
  1. | `Primitive of CommonTypes.Primitive.t
  2. | `Record of CommonTypes.Primitive.t Utility.StringMap.t
]
val show_flat_type : flat_type -> Ppx_deriving_runtime.string
type 'a package = [
  1. | `Primitive of CommonTypes.Primitive.t
  2. | `Record of 'a package Utility.StringMap.t
  3. | `List of 'a package * 'a
]
type step = [
  1. | `List
  2. | `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) -> 'a0 package -> 'b0 package
val package : (path -> 'a) -> nested_type -> 'a package
val pzip : 'a package -> 'b package -> ('a0 * 'b0) 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 -> Q.Lang.t -> Q.Lang.t
val shouter : QL.tag -> [> `List | `Record of Utility.StringMap.key ] list -> QL.t -> QL.t list
val shred_outer : Q.Lang.t -> [> `List | `Record of Utility.StringMap.key ] list -> Q.Lang.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
OCaml

Innovation. Community. Security.