Module Fields_derivers_zkapps
module Make (Schema : Graphql_intf.Schema) : sig ... end
include module type of struct include Derivers end
val derivers :
unit ->
< contramap : ( 'a -> 'b ) Core_kernel.ref
; graphql_arg : ( unit -> 'c ) Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'e -> 'f ) Core_kernel.ref
; graphql_fields : 'g Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'h list Core_kernel.ref
; graphql_query : 'i option Core_kernel.ref
; graphql_query_accumulator : 'j list Core_kernel.ref
; js_layout : [> `Assoc of 'k list ] Core_kernel.ref
; js_layout_accumulator : 'l list Core_kernel.ref
; map : ( 'm -> 'n ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'q -> 'r ) Core_kernel.ref
; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 't -> 'u ) Core_kernel.ref
; to_json_accumulator : 'v list Core_kernel.ref >
val o :
unit ->
< contramap : ( 'a -> 'b ) Core_kernel.ref
; graphql_arg : ( unit -> 'c ) Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'e -> 'f ) Core_kernel.ref
; graphql_fields : 'g Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'h list Core_kernel.ref
; graphql_query : 'i option Core_kernel.ref
; graphql_query_accumulator : 'j list Core_kernel.ref
; js_layout : [> `Assoc of 'k list ] Core_kernel.ref
; js_layout_accumulator : 'l list Core_kernel.ref
; map : ( 'm -> 'n ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'q -> 'r ) Core_kernel.ref
; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 't -> 'u ) Core_kernel.ref
; to_json_accumulator : 'v list Core_kernel.ref >
val yojson :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( 'b -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( Yojson.Safe.t -> 'c ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'c,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'b,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'c )
Fields_derivers_json.Of_yojson.Input.t,
'b )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'c,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'b,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'c )
Fields_derivers_json.Of_yojson.Input.t,
'b )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
?doc:string ->
name:string ->
js_type:Fields_derivers_zkapps__Fields_derivers_js.Js_layout.leaf_type ->
map:( Yojson.Safe.t -> 'c ) ->
contramap:( 'b -> Yojson.Safe.t ) ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( 'd Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'c,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'b,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'c )
Fields_derivers_json.Of_yojson.Input.t,
'b )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val invalid_scalar_to_string :
[< `Amount
| `Balance
| `Field
| `Proof
| `Public_key
| `Signature
| `Token_id
| `Uint
| `Unit
| `Verification_key ] ->
string
val raise_invalid_scalar :
[< `Amount
| `Balance
| `Field
| `Proof
| `Public_key
| `Signature
| `Token_id
| `Uint
| `Unit
| `Verification_key ] ->
string ->
'a
val except :
f:( string -> 'a ) ->
[< `Amount
| `Balance
| `Field
| `Proof
| `Public_key
| `Signature
| `Token_id
| `Uint
| `Unit
| `Verification_key ] ->
string ->
'b
val iso_string :
?doc:string ->
name:string ->
js_type:Fields_derivers_zkapps__Fields_derivers_js.Js_layout.leaf_type ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( 'a -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( Yojson.Safe.t -> 'a0 ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'b
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'a0,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'a,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'a0 )
Fields_derivers_json.Of_yojson.Input.t,
'a )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'a0,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'a,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'a0 )
Fields_derivers_json.Of_yojson.Input.t,
'a )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
to_string:( 'a1 -> string ) ->
of_string:( string -> 'a2 ) ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( 'c Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'a0,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
'a,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
'a0 )
Fields_derivers_json.Of_yojson.Input.t,
'a )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val uint64 :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Unsigned.UInt64.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a
Core_kernel.ref
; map :
( Yojson.Safe.t -> Unsigned.UInt64.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( Unsigned.UInt64.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'b Core_kernel.ref
; map : ( Yojson.Safe.t -> Unsigned.UInt64.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt64.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt64.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val uint32 :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Unsigned.UInt32.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a
Core_kernel.ref
; map :
( Yojson.Safe.t -> Unsigned.UInt32.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( Unsigned.UInt32.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'b Core_kernel.ref
; map : ( Yojson.Safe.t -> Unsigned.UInt32.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val field :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( Field.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a
Core_kernel.ref
; map : ( Yojson.Safe.t -> Field.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Field.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Field.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Field.t )
Fields_derivers_json.Of_yojson.Input.t,
Field.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Field.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Field.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Field.t )
Fields_derivers_json.Of_yojson.Input.t,
Field.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap : ( Field.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'b Core_kernel.ref
; map : ( Yojson.Safe.t -> Field.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Field.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Field.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Field.t )
Fields_derivers_json.Of_yojson.Input.t,
Field.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val public_key :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Signature_lib.Public_key.Compressed.t ->
Yojson.Safe.t )
Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a
Core_kernel.ref
; map :
( Yojson.Safe.t ->
Signature_lib.Public_key.Compressed.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.Of_yojson.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.Of_yojson.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Signature_lib.Public_key.Compressed.t ->
Yojson.Safe.t )
Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'b Core_kernel.ref
; map :
( Yojson.Safe.t ->
Signature_lib.Public_key.Compressed.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Signature_lib.Public_key.Compressed.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.Of_yojson.Input.t,
Signature_lib.Public_key.Compressed.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val skip :
( 'a,
( 'b,
( 'a,
( ( 'a,
( 'b,
( 'a,
( < contramap : ( 'd -> 'a ) Core_kernel.ref
; graphql_arg :
( unit ->
'b Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'e Core_kernel.ref
; graphql_fields :
'a Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'f Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( 'b -> 'g ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'h Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'i Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'b ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'a -> Yojson.Safe.t ) Core_kernel.ref.. > as 'c
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g,
'b,
'h )
Graphql.Args.Input.t,
'd,
'i )
Graphql.Fields.Input.t,
'g )
Fields_derivers_json.Of_yojson.Input.t,
'd )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g,
'b,
'h )
Graphql.Args.Input.t,
'd,
'i )
Graphql.Fields.Input.t,
'g )
Fields_derivers_json.Of_yojson.Input.t,
'd )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( 'a,
( 'b,
( 'a,
( 'j Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g,
'b,
'h )
Graphql.Args.Input.t,
'd,
'i )
Graphql.Fields.Input.t,
'g )
Fields_derivers_json.Of_yojson.Input.t,
'd )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val js_only :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a ->
( 'b,
( 'c,
( 'b,
( ( 'b,
( 'c,
( 'b,
( < contramap : ( 'e -> 'b ) Core_kernel.ref
; graphql_arg :
( unit ->
'c Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'f Core_kernel.ref
; graphql_fields :
'b Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'g Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'h Core_kernel.ref
; map : ( 'c -> 'i ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'j Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'k Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'c ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'b -> Yojson.Safe.t ) Core_kernel.ref.. > as 'd
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'i,
'c,
'j )
Graphql.Args.Input.t,
'e,
'k )
Graphql.Fields.Input.t,
'i )
Fields_derivers_json.Of_yojson.Input.t,
'e )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'i,
'c,
'j )
Graphql.Args.Input.t,
'e,
'k )
Graphql.Fields.Input.t,
'i )
Fields_derivers_json.Of_yojson.Input.t,
'e )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( 'b,
( 'c,
( 'b,
( 'l Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'i,
'c,
'j )
Graphql.Args.Input.t,
'e,
'k )
Graphql.Fields.Input.t,
'i )
Fields_derivers_json.Of_yojson.Input.t,
'e )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val int :
( int,
( int,
( int,
( ( int,
( int,
( int,
( < contramap : ( int -> int ) Core_kernel.ref
; graphql_arg :
( unit ->
int Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'b Core_kernel.ref
; graphql_fields :
int Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'c Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( int -> int ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
int option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
int option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> int ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( int -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
int,
int,
int option )
Graphql.Args.Input.t,
int,
int option )
Graphql.Fields.Input.t,
int )
Fields_derivers_json.Of_yojson.Input.t,
int )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
int,
int,
int option )
Graphql.Args.Input.t,
int,
int option )
Graphql.Fields.Input.t,
int )
Fields_derivers_json.Of_yojson.Input.t,
int )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( int,
( int,
( int,
( 'd Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
int,
int,
int option )
Graphql.Args.Input.t,
int,
int option )
Graphql.Fields.Input.t,
int )
Fields_derivers_json.Of_yojson.Input.t,
int )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val string :
( string,
( string,
( string,
( ( string,
( string,
( string,
( < contramap : ( string -> string ) Core_kernel.ref
; graphql_arg :
( unit ->
string Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'b Core_kernel.ref
; graphql_fields :
string Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'c Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( string -> string ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
string option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
string option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> string ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( string -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
string,
string,
string option )
Graphql.Args.Input.t,
string,
string option )
Graphql.Fields.Input.t,
string )
Fields_derivers_json.Of_yojson.Input.t,
string )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
string,
string,
string option )
Graphql.Args.Input.t,
string,
string option )
Graphql.Fields.Input.t,
string )
Fields_derivers_json.Of_yojson.Input.t,
string )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( string,
( string,
( string,
( 'd Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
string,
string,
string option )
Graphql.Args.Input.t,
string,
string option )
Graphql.Fields.Input.t,
string )
Fields_derivers_json.Of_yojson.Input.t,
string )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val bool :
( bool,
( bool,
( bool,
( ( bool,
( bool,
( bool,
( < contramap : ( bool -> bool ) Core_kernel.ref
; graphql_arg :
( unit ->
bool Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'b Core_kernel.ref
; graphql_fields :
bool Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'c Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( bool -> bool ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
bool option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
bool option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> bool ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( bool -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
bool,
bool,
bool option )
Graphql.Args.Input.t,
bool,
bool option )
Graphql.Fields.Input.t,
bool )
Fields_derivers_json.Of_yojson.Input.t,
bool )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
bool,
bool,
bool option )
Graphql.Args.Input.t,
bool,
bool option )
Graphql.Fields.Input.t,
bool )
Fields_derivers_json.Of_yojson.Input.t,
bool )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( bool,
( bool,
( bool,
( 'd Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
bool,
bool,
bool option )
Graphql.Args.Input.t,
bool,
bool option )
Graphql.Fields.Input.t,
bool )
Fields_derivers_json.Of_yojson.Input.t,
bool )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val global_slot :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Unsigned.UInt32.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map :
( Yojson.Safe.t -> Unsigned.UInt32.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( 'b Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Unsigned.UInt32.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.Of_yojson.Input.t,
Unsigned.UInt32.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val amount :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Currency.Amount.Stable.Latest.t ->
Yojson.Safe.t )
Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map :
( Yojson.Safe.t ->
Currency.Amount.Stable.Latest.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( 'b Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Amount.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Amount.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val balance :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Currency.Balance.Stable.Latest.t ->
Yojson.Safe.t )
Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map :
( Yojson.Safe.t ->
Currency.Balance.Stable.Latest.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. > as 'a
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( 'b Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Currency.Balance.Stable.Latest.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.Of_yojson.Input.t,
Currency.Balance.Stable.Latest.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val option :
( 'a,
( 'b,
( 'a,
( < contramap : ( 'c -> 'a ) Core_kernel.ref
; graphql_arg :
( unit ->
'b Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'd Core_kernel.ref
; graphql_fields : 'a Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'e Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : Yojson.Safe.t Core_kernel.ref
; map : ( 'b -> 'f ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'g option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'h option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'b ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'a -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'f,
'b,
'g option )
Graphql.Args.Input.t,
'c,
'h option )
Graphql.Fields.Input.t,
'f )
Fields_derivers_json.Of_yojson.Input.t,
'c )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
js_type:Fields_derivers_zkapps__Fields_derivers_js.Js_layout.option_type ->
( 'h option,
( 'h option,
( 'h option,
( 'g option,
( 'h option,
( ( 'h option,
( 'g option,
( 'h option,
( < contramap : ( 'j option -> 'h option ) Core_kernel.ref
; graphql_arg :
( unit ->
'g option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'd Core_kernel.ref
; graphql_fields :
'h option Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'e Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( 'g option -> 'k option ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'g option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'h option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json :
( Yojson.Safe.t -> 'g option ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( 'h option -> Yojson.Safe.t ) Core_kernel.ref.. > as 'i
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'k option,
'g option,
'g option )
Graphql.Args.Input.t,
'j option,
'h option )
Graphql.Fields.Input.t,
'k option )
Fields_derivers_json.Of_yojson.Input.t,
'j option )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'k option,
'g option,
'g option )
Graphql.Args.Input.t,
'j option,
'h option )
Graphql.Fields.Input.t,
'k option )
Fields_derivers_json.Of_yojson.Input.t,
'j option )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t,
'j option,
'h option )
Graphql.Fields.Input.t,
'j option,
'h option )
Graphql.Fields.Input.t ->
( 'h option,
( 'g option,
( 'h option,
( 'l Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'k option,
'g option,
'g option )
Graphql.Args.Input.t,
'j option,
'h option )
Graphql.Fields.Input.t,
'k option )
Fields_derivers_json.Of_yojson.Input.t,
'j option )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val list :
?static_length:int ->
( 'a,
( 'b,
( 'a,
( < contramap : ( 'c -> 'a ) Core_kernel.ref
; graphql_arg :
( unit ->
'b Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'd Core_kernel.ref
; graphql_fields : 'a Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'e Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : Yojson.Safe.t Core_kernel.ref
; map : ( 'b -> 'f ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'g Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'h Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'b ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'a -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'f,
'b,
'g )
Graphql.Args.Input.t,
'c,
'h )
Graphql.Fields.Input.t,
'f )
Fields_derivers_json.Of_yojson.Input.t,
'c )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( 'i list,
( 'i list,
( ( ( 'i list,
( 'j list,
( 'i list,
( ( 'i list,
( 'j list,
( 'i list,
( < contramap : ( 'l list -> 'i list ) Core_kernel.ref
; graphql_arg :
( unit ->
'j list
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'd Core_kernel.ref
; graphql_fields :
'i list Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'e Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map : ( 'j list -> 'm list ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'j list option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'i list option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> 'j list ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( 'i list -> Yojson.Safe.t ) Core_kernel.ref.. > as 'k
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'm list,
'j list,
'j list option )
Graphql.Args.Input.t,
'l list,
'i list option )
Graphql.Fields.Input.t,
'm list )
Fields_derivers_json.Of_yojson.Input.t,
'l list )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'm list,
'j list,
'j list option )
Graphql.Args.Input.t,
'l list,
'i list option )
Graphql.Fields.Input.t,
'm list )
Fields_derivers_json.Of_yojson.Input.t,
'l list )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t,
'm list,
'j list,
'j list option )
Graphql.Args.Input.t,
'm list,
'j list,
'j list option )
Graphql.Args.Input.t,
'l list,
'i list option )
Graphql.Fields.Input.t,
'l list,
'i list option )
Graphql.Fields.Input.t ->
( 'i list,
( 'j list,
( 'i list,
( 'n Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'm list,
'j list,
'j list option )
Graphql.Args.Input.t,
'l list,
'i list option )
Graphql.Fields.Input.t,
'm list )
Fields_derivers_json.Of_yojson.Input.t,
'l list )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val iso :
map:( 'a -> 'b ) ->
contramap:( 'c -> 'd ) ->
( 'e,
( 'f,
( 'e,
( < contramap : ( 'g -> 'e ) Core_kernel.ref
; graphql_arg :
( unit ->
'f Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'h Core_kernel.ref
; graphql_fields : 'e Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'i Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'j
Core_kernel.ref
; map : ( 'f -> 'k ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'l Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'm Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'f ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'e -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'k,
'f,
'l )
Graphql.Args.Input.t,
'g,
'm )
Graphql.Fields.Input.t,
'k )
Fields_derivers_json.Of_yojson.Input.t,
'g )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( 'n,
( 'n,
( ( ( 'o,
( 'p,
( 'o,
( ( 'o,
( 'p,
( 'o,
( < contramap : ( 'r -> 'o ) Core_kernel.ref
; graphql_arg :
( unit ->
'p Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'h Core_kernel.ref
; graphql_fields :
'o Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'i Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 's Core_kernel.ref
; map : ( 'p -> 't ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'u Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'v Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'p ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'o -> Yojson.Safe.t ) Core_kernel.ref.. > as 'q
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
't,
'p,
'u )
Graphql.Args.Input.t,
'r,
'v )
Graphql.Fields.Input.t,
't )
Fields_derivers_json.Of_yojson.Input.t,
'r )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
't,
'p,
'u )
Graphql.Args.Input.t,
'r,
'v )
Graphql.Fields.Input.t,
't )
Fields_derivers_json.Of_yojson.Input.t,
'r )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t,
'w,
'x,
'y )
Graphql.Args.Input.t,
'w,
'x,
'y )
Graphql.Args.Input.t,
'z,
'a1 )
Graphql.Fields.Input.t,
'z,
'a1 )
Graphql.Fields.Input.t ->
( 'o,
( 'p,
( 'o,
( 'b1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
't,
'p,
'u )
Graphql.Args.Input.t,
'r,
'v )
Graphql.Fields.Input.t,
't )
Fields_derivers_json.Of_yojson.Input.t,
'r )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val iso_record :
of_record:( 'a -> 'b ) ->
to_record:( 'c -> 'd ) ->
( < contramap : ( 'e -> 'f ) Core_kernel.ref
; graphql_arg : ( unit -> 'g ) Core_kernel.ref
; graphql_arg_accumulator : 'h Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'i -> 'j ) Core_kernel.ref
; graphql_fields : 'k Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'l list Core_kernel.ref
; graphql_query : 'm option Core_kernel.ref
; graphql_query_accumulator : 'n list Core_kernel.ref
; js_layout : [> `Assoc of 'o list ] Core_kernel.ref
; js_layout_accumulator : 'p list Core_kernel.ref
; map : ( 'q -> 'r ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 's ) Core_kernel.ref
; nullable_graphql_fields : 't Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'u -> 'v ) Core_kernel.ref
; of_json_creator : 'w Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'x -> 'y ) Core_kernel.ref
; to_json_accumulator : 'z list Core_kernel.ref > ->
( 'a1,
( 'b1,
( 'a1,
( < contramap : ( 'd -> 'a1 ) Core_kernel.ref
; graphql_arg :
( unit ->
'b1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'c1 Core_kernel.ref
; graphql_fields : 'a1 Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'd1 Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'e1
Core_kernel.ref
; map : ( 'b1 -> 'a ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'f1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'g1 Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'b1 ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'a1 -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'a,
'b1,
'f1 )
Graphql.Args.Input.t,
'd,
'g1 )
Graphql.Fields.Input.t,
'a )
Fields_derivers_json.Of_yojson.Input.t,
'd )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ) ->
( 'a1,
( 'a1,
( ( ( 'a1,
( 'b1,
( 'a1,
( ( 'a1,
( 'b1,
( 'a1,
( < contramap : ( 'c -> 'a1 ) Core_kernel.ref
; graphql_arg :
( unit ->
'b1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'c1 Core_kernel.ref
; graphql_fields :
'a1 Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'd1 Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'e1 Core_kernel.ref
; map : ( 'b1 -> 'b ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'f1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'g1 Graphql.Fields.Input.T.t Core_kernel.ref
; of_json :
( Yojson.Safe.t -> 'b1 ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( 'a1 -> Yojson.Safe.t ) Core_kernel.ref.. > as 'h1
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'b,
'b1,
'f1 )
Graphql.Args.Input.t,
'c,
'g1 )
Graphql.Fields.Input.t,
'b )
Fields_derivers_json.Of_yojson.Input.t,
'c )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'b,
'b1,
'f1 )
Graphql.Args.Input.t,
'c,
'g1 )
Graphql.Fields.Input.t,
'b )
Fields_derivers_json.Of_yojson.Input.t,
'c )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t,
'b,
'b1,
'f1 )
Graphql.Args.Input.t,
'b,
'b1,
'f1 )
Graphql.Args.Input.t,
'c,
'g1 )
Graphql.Fields.Input.t,
'c,
'g1 )
Graphql.Fields.Input.t ->
( 'a1,
( 'b1,
( 'a1,
( 'i1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'b,
'b1,
'f1 )
Graphql.Args.Input.t,
'c,
'g1 )
Graphql.Fields.Input.t,
'b )
Fields_derivers_json.Of_yojson.Input.t,
'c )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val array :
( < contramap : ( 'a -> 'b ) Core_kernel.ref
; graphql_arg : ( unit -> 'c ) Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'e -> 'f ) Core_kernel.ref
; graphql_fields : 'g Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'h list Core_kernel.ref
; graphql_query : 'i option Core_kernel.ref
; graphql_query_accumulator : 'j list Core_kernel.ref
; js_layout : [> `Assoc of 'k list ] Core_kernel.ref
; js_layout_accumulator : 'l list Core_kernel.ref
; map : ( 'm -> 'n ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'q -> 'r ) Core_kernel.ref
; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 't -> 'u ) Core_kernel.ref
; to_json_accumulator : 'v list Core_kernel.ref > ->
( 'w,
( 'x,
( 'w,
( < contramap : ( 'y -> 'w ) Core_kernel.ref
; graphql_arg :
( unit ->
'x Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator :
'z Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_fields : 'w Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'a1 list Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : Yojson.Safe.t Core_kernel.ref
; map : ( 'x -> 'b1 ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'c1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'd1 Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'x ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'w -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'b1,
'x,
'c1 )
Graphql.Args.Input.t,
'y,
'd1 )
Graphql.Fields.Input.t,
'b1 )
Fields_derivers_json.Of_yojson.Input.t,
'y )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ) ->
( 'w list,
( 'w list,
( ( ( 'w list,
( 'x list,
( 'w list,
( ( 'w list,
( 'x list,
( 'w list,
( < contramap :
( 'f1 Core_kernel.Array.t ->
'w list )
Core_kernel.ref
; graphql_arg :
( unit ->
'x list
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator :
'z Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_fields :
'w list Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator :
'a1 list Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ]
Core_kernel.ref
; map :
( 'x list ->
'g1 Core_kernel.Array.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'x list option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'w list option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> 'x list ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( 'w list -> Yojson.Safe.t ) Core_kernel.ref.. > as 'e1
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g1 Core_kernel.Array.t,
'x list,
'x list option )
Graphql.Args.Input.t,
'f1 Core_kernel.Array.t,
'w list option )
Graphql.Fields.Input.t,
'g1 Core_kernel.Array.t )
Fields_derivers_json.Of_yojson.Input.t,
'f1 Core_kernel.Array.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g1 Core_kernel.Array.t,
'x list,
'x list option )
Graphql.Args.Input.t,
'f1 Core_kernel.Array.t,
'w list option )
Graphql.Fields.Input.t,
'g1 Core_kernel.Array.t )
Fields_derivers_json.Of_yojson.Input.t,
'f1 Core_kernel.Array.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t,
'g1 Core_kernel.Array.t,
'x list,
'x list option )
Graphql.Args.Input.t,
'g1 Core_kernel.Array.t,
'x list,
'x list option )
Graphql.Args.Input.t,
'f1 Core_kernel.Array.t,
'w list option )
Graphql.Fields.Input.t,
'f1 Core_kernel.Array.t,
'w list option )
Graphql.Fields.Input.t ->
( 'w list,
( 'x list,
( 'w list,
( 'h1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'g1 Core_kernel.Array.t,
'x list,
'x list option )
Graphql.Args.Input.t,
'f1 Core_kernel.Array.t,
'w list option )
Graphql.Fields.Input.t,
'g1 Core_kernel.Array.t )
Fields_derivers_json.Of_yojson.Input.t,
'f1 Core_kernel.Array.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val add_field :
?skip_data:'a ->
t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
( 'b,
( 'c,
( 'b,
( < contramap : ( 'd -> 'b ) Core_kernel.ref
; graphql_arg :
( unit ->
'c Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields : 'b Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : Yojson.Safe.t Core_kernel.ref
; map : ( 'c -> 'e ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'f Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'g Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'c ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'b -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'e,
'c,
'f )
Graphql.Args.Input.t,
'd,
'g )
Graphql.Fields.Input.t,
'e )
Fields_derivers_json.Of_yojson.Input.t,
'd )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( [< `Read | `Set_and_create ], 'h, 'i ) Fieldslib.Field.t_with_perm ->
( 'j,
( < contramap : ( 'h -> 'j ) Core_kernel.ref
; graphql_arg :
( unit ->
'l Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'm Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator :
( ( ( ( ( 'n, 'm, 'l, 'o ) Graphql.Args.Acc.t, 'm, 'l, 'o )
Graphql.Args.Acc.t,
'm,
'l,
'o )
Graphql.Args.Acc.t,
'm,
'l,
'o )
Graphql.Args.Acc.t ->
'm )
Core_kernel.ref
; graphql_fields : 'j Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator :
'h Graphql.Fields.Accumulator.T.t list Core_kernel.ref
; graphql_query_accumulator :
(Core_kernel.String.t * string option) option list Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
; js_layout_accumulator :
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
option
list
Core_kernel.ref
; map : ( 'l -> 'm ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'o Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json_accumulator :
(Core_kernel.String.t * ( 'q -> Yojson.Safe.t )) option list
Core_kernel.ref.. > as 'k,
'm,
'l,
'o )
Graphql.Args.Acc.t,
'h,
'p )
Graphql.Fields.Accumulator.t ->
( [< `Left of ( 'k, 'm, 'l, 'o ) Graphql.Args.Creator.t
| `Right of
< of_json_creator :
( Core_kernel.String.t, Yojson.Safe.t, 'r ) Core_kernel.Map.t
Core_kernel.ref.. > ] ->
's )
* 't Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.t
val (!.) :
?skip_data:'a ->
( < contramap : ( 'b -> 'c ) Core_kernel.ref
; graphql_arg : ( unit -> 'd ) Core_kernel.ref
; graphql_arg_accumulator : 'e Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'f -> 'g ) Core_kernel.ref
; graphql_fields : 'h Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'i list Core_kernel.ref
; graphql_query : 'j option Core_kernel.ref
; graphql_query_accumulator : 'k list Core_kernel.ref
; js_layout : [> `Assoc of 'l list ] Core_kernel.ref
; js_layout_accumulator : 'm list Core_kernel.ref
; map : ( 'n -> 'o ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'p ) Core_kernel.ref
; nullable_graphql_fields : 'q Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'r -> 's ) Core_kernel.ref
; of_json_creator : 't Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'u -> 'v ) Core_kernel.ref
; to_json_accumulator : 'w list Core_kernel.ref > ->
( 'x,
( 'y,
( 'x,
( < contramap : ( 'z -> 'x ) Core_kernel.ref
; graphql_arg :
( unit ->
'y Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields : 'x Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : Yojson.Safe.t Core_kernel.ref
; map : ( 'y -> 'a1 ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'b1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'c1 Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( Yojson.Safe.t -> 'y ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'x -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
'a1,
'y,
'b1 )
Graphql.Args.Input.t,
'z,
'c1 )
Graphql.Fields.Input.t,
'a1 )
Fields_derivers_json.Of_yojson.Input.t,
'z )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ) ->
( [< `Read | `Set_and_create ], 'd1, 'z ) Fieldslib.Field.t_with_perm ->
( 'e1,
( < contramap : ( 'd1 -> 'e1 ) Core_kernel.ref
; graphql_arg :
( unit ->
'g1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'h1 Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator :
( ( ( ( ( 'i1, 'h1, 'g1, 'j1 ) Graphql.Args.Acc.t, 'h1, 'g1, 'j1 )
Graphql.Args.Acc.t,
'h1,
'g1,
'j1 )
Graphql.Args.Acc.t,
'h1,
'g1,
'j1 )
Graphql.Args.Acc.t ->
'h1 )
Core_kernel.ref
; graphql_fields : 'e1 Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator :
'd1 Graphql.Fields.Accumulator.T.t list Core_kernel.ref
; graphql_query_accumulator :
(Core_kernel.String.t * string option) option list Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
; js_layout_accumulator :
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
option
list
Core_kernel.ref
; map : ( 'g1 -> 'h1 ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'j1 Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields : 'k1 Graphql.Fields.Input.T.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json_accumulator :
(Core_kernel.String.t * ( 'd1 -> Yojson.Safe.t )) option list
Core_kernel.ref.. > as 'f1,
'h1,
'g1,
'j1 )
Graphql.Args.Acc.t,
'd1,
'k1 )
Graphql.Fields.Accumulator.t ->
t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
( [< `Left of ( 'f1, 'h1, 'g1, 'j1 ) Graphql.Args.Creator.t
| `Right of
< of_json_creator :
( Core_kernel.String.t, Yojson.Safe.t, 'l1 ) Core_kernel.Map.t
Core_kernel.ref.. > ] ->
'a1 )
* 'm1 Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.t
val finish :
string ->
t_toplevel_annots:( unit -> (Core_kernel.String.t * string option) list ) ->
(( [> `Left of
( < contramap : ( 'b -> 'b ) Core_kernel.ref
; graphql_arg :
( unit ->
'c Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator :
( ( ( 'e, 'd, 'c, 'f ) Graphql.Args.Output.t, 'd, 'c, 'f )
Graphql.Args.Input.t ->
'd )
Core_kernel.ref
; graphql_fields : 'b Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator :
'b Graphql.Fields.Accumulator.T.t list Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; graphql_query_accumulator :
(string * string option) option list Core_kernel.ref
; js_layout :
[> `Assoc of
(string
* [> `Assoc of (string * Yojson.Safe.t) list
| `List of [> `String of string ] list
| `Null
| `String of string ])
list ]
Core_kernel.ref
; js_layout_accumulator :
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
option
list
Core_kernel.ref
; map : ( 'c -> 'd ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'f Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
'b option Graphql.Fields.Input.T.t Core_kernel.ref
; of_json :
( [> `Assoc of (Core_kernel.String.Map.Key.t * 'g) list ] ->
'h )
Core_kernel.ref
; of_json_creator : 'g Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 'i -> [> `Assoc of ('j * 'k) list ] ) Core_kernel.ref
; to_json_accumulator :
('j * ( 'i -> 'k )) option list Core_kernel.ref.. > as 'a,
'd,
'c,
'f )
Graphql.Args.Input.t
| `Right of
( 'b, ( 'a, 'd, 'c, 'f ) Graphql.Args.Acc.t, 'b, 'b option )
Graphql.Fields.Accumulator.t ] ->
'l )
* ( 'b, ( 'a, 'd, 'c, 'f ) Graphql.Args.Acc.t, 'b, 'b option )
Graphql.Fields.Accumulator.t) ->
( 'b, ( 'a, 'd, 'c, 'f ) Graphql.Args.Acc.t, 'b, 'b option )
Graphql.Fields.Accumulator.t
val with_checked :
checked:
( < contramap : ( 'a -> 'b ) Core_kernel.ref
; graphql_arg : ( unit -> 'c ) Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'e -> 'f ) Core_kernel.ref
; graphql_fields : 'g Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'h list Core_kernel.ref
; graphql_query : 'i option Core_kernel.ref
; graphql_query_accumulator : 'j list Core_kernel.ref
; js_layout : [> `Assoc of 'k list ] Core_kernel.ref
; js_layout_accumulator : 'l list Core_kernel.ref
; map : ( 'm -> 'n ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'q -> 'r ) Core_kernel.ref
; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 't -> 'u ) Core_kernel.ref
; to_json_accumulator : 'v list Core_kernel.ref > ->
< js_layout : Yojson.Safe.t Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t ) ->
name:string ->
( 'w ->
< js_layout : [> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref.. > as 'x
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t ) ->
'y ->
'z Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
val balance_change :
( ( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t,
( ( < contramap :
( ( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t ->
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t )
Core_kernel.ref
; graphql_arg :
( unit ->
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator :
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t
Graphql.Args.Acc.T.t
Core_kernel.ref
; graphql_creator :
( ( ( 'b,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
'c )
Graphql.Args.Output.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
'c )
Graphql.Args.Input.t ->
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t )
Core_kernel.ref
; graphql_fields :
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t
Graphql.Fields.Input.T.t
Core_kernel.ref
; graphql_fields_accumulator :
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t
Graphql.Fields.Accumulator.T.t
list
Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; graphql_query_accumulator :
(Core_kernel.String.t * string option) option list Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
; js_layout_accumulator :
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
option
list
Core_kernel.ref
; map :
( ( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t ->
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'c Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t
option
Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t )
Core_kernel.ref
; of_json_creator :
Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( ( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t ->
[> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] )
Core_kernel.ref
; to_json_accumulator :
(Core_kernel.String.t
* ( ( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t ->
Yojson.Safe.t ))
option
list
Core_kernel.ref.. > as 'a,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
'c )
Graphql.Args.Input.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
'd )
Graphql.Args.Acc.t,
( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t
option )
Graphql.Fields.Accumulator.t ->
( ( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t,
( 'a,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t )
Mina_wire_types.Signed_poly.V1.t,
'c )
Graphql.Args.Acc.t,
( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t,
( Currency.Amount.Stable.Latest.t, Sgn.t ) Mina_wire_types.Signed_poly.V1.t
option )
Graphql.Fields.Accumulator.t
val to_json :
< contramap : ( 'a -> 'b ) Core_kernel.ref
; to_json : ( 'c -> 'd ) Core_kernel.ref.. > ->
'e ->
'f
val of_json :
< map : ( 'a -> 'b ) Core_kernel.ref
; of_json : ( 'c -> 'd ) Core_kernel.ref.. > ->
'e ->
'f
val js_layout :
( < contramap : ( 'a -> 'b ) Core_kernel.ref
; graphql_arg : ( unit -> 'c ) Core_kernel.ref
; graphql_arg_accumulator : 'd Graphql.Args.Acc.T.t Core_kernel.ref
; graphql_creator : ( 'e -> 'f ) Core_kernel.ref
; graphql_fields : 'g Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_fields_accumulator : 'h list Core_kernel.ref
; graphql_query : 'i option Core_kernel.ref
; graphql_query_accumulator : 'j list Core_kernel.ref
; js_layout : [> `Assoc of 'k list ] Core_kernel.ref
; js_layout_accumulator : 'l list Core_kernel.ref
; map : ( 'm -> 'n ) Core_kernel.ref
; nullable_graphql_arg : ( unit -> 'o ) Core_kernel.ref
; nullable_graphql_fields : 'p Graphql.Fields.Input.T.t Core_kernel.ref
; of_json : ( 'q -> 'r ) Core_kernel.ref
; of_json_creator : 's Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( 't -> 'u ) Core_kernel.ref
; to_json_accumulator : 'v list Core_kernel.ref > ->
< js_layout : 'w Core_kernel.ref.. > ) ->
'x
val arg_typ : < graphql_arg : ( unit -> 'a ) Core_kernel.ref.. > -> 'b
val inner_query : < graphql_query : 'a Core_kernel.ref.. > -> 'b
val json_to_safe : Yojson.Basic.t -> Yojson.Safe.t
val proof :
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( ( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Pickles.Side_loaded.Proof.t ->
Yojson.Safe.t )
Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] as 'a
Core_kernel.ref
; map :
( Yojson.Safe.t ->
Pickles.Side_loaded.Proof.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.Of_yojson.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Graphql.Args.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t option )
Graphql.Fields.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.Of_yojson.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t ->
( Yojson.Safe.t,
( Yojson.Safe.t,
( Yojson.Safe.t,
( < contramap :
( Pickles.Side_loaded.Proof.t -> Yojson.Safe.t ) Core_kernel.ref
; graphql_arg :
( unit ->
Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_fields :
Yojson.Safe.t Derivers.Graphql.Fields.Input.T.t Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; js_layout : 'b Core_kernel.ref
; map :
( Yojson.Safe.t -> Pickles.Side_loaded.Proof.t ) Core_kernel.ref
; nullable_graphql_arg :
( unit ->
Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
Yojson.Safe.t option Derivers.Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref.. >
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Input.t
Fields_derivers_graphql.Graphql_query.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t,
Yojson.Safe.t option )
Derivers.Graphql.Args.Input.t,
Pickles.Side_loaded.Proof.t,
Yojson.Safe.t option )
Derivers.Graphql.Fields.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.Of_yojson.Input.t,
Pickles.Side_loaded.Proof.t )
Fields_derivers_json.To_yojson.Input.t
Unified_input.t
val verification_key_with_hash :
( ( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( ( < contramap :
( ( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t ->
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t )
Core_kernel.ref
; graphql_arg :
( unit ->
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t
Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; graphql_arg_accumulator :
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t
Graphql.Args.Acc.T.t
Core_kernel.ref
; graphql_creator :
( ( ( 'b,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
'c )
Graphql.Args.Output.t,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
'c )
Graphql.Args.Input.t ->
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t )
Core_kernel.ref
; graphql_fields :
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t
Graphql.Fields.Input.T.t
Core_kernel.ref
; graphql_fields_accumulator :
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t
Graphql.Fields.Accumulator.T.t
list
Core_kernel.ref
; graphql_query : string option Core_kernel.ref
; graphql_query_accumulator :
(Core_kernel.String.t * string option) option list Core_kernel.ref
; js_layout :
[> `Assoc of (string * Yojson.Safe.t) list ] Core_kernel.ref
; js_layout_accumulator :
Fields_derivers_zkapps__Fields_derivers_js.Js_layout.Accumulator.field
option
list
Core_kernel.ref
; map :
( ( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t ->
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t )
Core_kernel.ref
; nullable_graphql_arg :
( unit ->
'c Fields_derivers_graphql.Schema.Arg.arg_typ )
Core_kernel.ref
; nullable_graphql_fields :
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t
option
Graphql.Fields.Input.T.t
Core_kernel.ref
; of_json :
( [> `Assoc of (Core_kernel.String.Map.Key.t * Yojson.Safe.t) list ] ->
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t )
Core_kernel.ref
; of_json_creator :
Yojson.Safe.t Core_kernel.String.Map.t Core_kernel.ref
; skip : bool Core_kernel.ref
; to_json :
( ( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t ->
[> `Assoc of (Core_kernel.String.t * Yojson.Safe.t) list ] )
Core_kernel.ref
; to_json_accumulator :
(Core_kernel.String.t
* ( ( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t ->
Yojson.Safe.t ))
option
list
Core_kernel.ref.. > as 'a,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t )
With_hash.Stable.V1.t,
'c )
Graphql.Args.Input.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
'd )
Graphql.Args.Acc.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t
option )
Graphql.Fields.Accumulator.t ->
( ( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( 'a,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
'c )
Graphql.Args.Acc.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t,
( Pickles.Side_loaded.Verification_key.t, Field.t ) With_hash.Stable.V1.t
option )
Graphql.Fields.Accumulator.t