Fields (fields_derivers.Fields_derivers_zkapps.Make.Graphql.Fields)

module Input : sig ... end

module Accumulator : sig ... end

val add_field : 
  t_fields_annots:( string -> (Core_kernel.String.t * string option) list ) ->
  ( 'orig,
    < contramap : ( 'f -> 'orig ) Core_kernel.ref
    ; graphql_fields : 'orig Input.T.t Core_kernel.ref
    ; nullable_graphql_fields : 'nullable Input.T.t Core_kernel.ref
    ; skip : bool Core_kernel.ref.. >,
    'f,
    'nullable )
    Input.t ->
  ( [< `Read | `Set_and_create ], 'c', 'f ) Fieldslib.Field.t_with_perm ->
  ( 'input_type,
    < contramap : ( 'c' -> 'input_type ) Core_kernel.ref
    ; graphql_fields : 'input_type Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'c' Accumulator.T.t list Core_kernel.ref
    ; nullable_graphql_fields : 'nullable' Input.T.t Core_kernel.ref.. > as 'a,
    'c',
    'nullable' )
    Accumulator.t ->
  ( 'b -> 'f ) * ( 'input_type, 'a, 'c', 'nullable' ) Accumulator.t

val finish : 
  string ->
  t_toplevel_annots:( unit -> (Core_kernel.String.t * string option) list ) ->
  ('u
   * ( 'a,
       < contramap : ( 'a -> 'a ) Core_kernel.ref
       ; graphql_fields : 'a Input.T.t Core_kernel.ref
       ; graphql_fields_accumulator : 'a Accumulator.T.t list Core_kernel.ref
       ; nullable_graphql_fields : 'a option Input.T.t Core_kernel.ref.. > as 'b,
       'a,
       'a option )
       Accumulator.t) ->
  ( 'a, 'c, 'a, 'a option ) Input.t

val skip : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; graphql_fields : 'c Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'd Core_kernel.ref
    ; nullable_graphql_fields : 'e Input.T.t Core_kernel.ref.. > as 'a ->
  'a

val int : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; graphql_fields : int Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'c Core_kernel.ref
    ; nullable_graphql_fields : int option Input.T.t Core_kernel.ref.. > as 'a ->
  'a

val string : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; graphql_fields : string Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'c Core_kernel.ref
    ; nullable_graphql_fields : string option Input.T.t Core_kernel.ref.. > as 'a ->
  'a

val bool : 
  < contramap : ( 'b -> 'b ) Core_kernel.ref
    ; graphql_fields : bool Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'c Core_kernel.ref
    ; nullable_graphql_fields : bool option Input.T.t Core_kernel.ref.. > as 'a ->
  'a

val list : 
  < contramap : ( 'a -> 'input_type ) Core_kernel.ref
    ; graphql_fields : 'input_type Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'b Core_kernel.ref.. > ->
  ( 'input_type list,
    ( 'input_type list,
      < contramap : ( 'a list -> 'input_type list ) Core_kernel.ref
      ; graphql_fields : 'input_type list Input.T.t Core_kernel.ref
      ; graphql_fields_accumulator : 'b Core_kernel.ref
      ; nullable_graphql_fields : 
        'input_type list option Input.T.t Core_kernel.ref.. > as 'c,
      'a list,
      'input_type list option )
      Input.t,
    'a list,
    'input_type list option )
    Input.t ->
  ( 'input_type list, 'd, 'a list, 'input_type list option ) Input.t

val option : 
  ( 'input_type,
    < contramap : ( 'c -> 'input_type ) Core_kernel.ref
    ; graphql_fields : 'input_type Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'a Core_kernel.ref
    ; nullable_graphql_fields : 'input_type option Input.T.t Core_kernel.ref.. >,
    'c,
    'input_type option )
    Input.t ->
  ( 'input_type option,
    ( 'input_type option,
      < contramap : ( 'c option -> 'input_type option ) Core_kernel.ref
      ; graphql_fields : 'input_type option Input.T.t Core_kernel.ref
      ; graphql_fields_accumulator : 'a Core_kernel.ref
      ; nullable_graphql_fields : 'input_type option Input.T.t Core_kernel.ref.. > as 'b,
      'c option,
      'input_type option )
      Input.t,
    'c option,
    'input_type option )
    Input.t ->
  ( 'input_type option, 'd, 'c option, 'input_type option ) Input.t

val contramap : 
  f:( 'd -> 'c ) ->
  ( 'input_type,
    < contramap : ( 'c -> 'input_type ) Core_kernel.ref
    ; graphql_fields : 'input_type Input.T.t Core_kernel.ref
    ; graphql_fields_accumulator : 'a Core_kernel.ref
    ; nullable_graphql_fields : 'nullable Input.T.t Core_kernel.ref.. >,
    'c,
    'nullable )
    Input.t ->
  ( 'input_type,
    ( 'input_type,
      < contramap : ( 'd -> 'input_type ) Core_kernel.ref
      ; graphql_fields : 'input_type Input.T.t Core_kernel.ref
      ; graphql_fields_accumulator : 'a Core_kernel.ref
      ; nullable_graphql_fields : 'nullable Input.T.t Core_kernel.ref.. > as 'b,
      'd,
      'nullable )
      Input.t,
    'd,
    'nullable )
    Input.t ->
  ( 'input_type, 'e, 'd, 'nullable ) Input.t