package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos protocol alpha package

Install

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

type 'a t

type 'a query = 'a t

val empty : unit query

type ('a, 'b) field

val field : 
  ?descr:string ->
  string ->
  'a RPC_arg.t ->
  'a ->
  ('b -> 'a) ->
  ('b, 'a) field

val opt_field : 
  ?descr:string ->
  string ->
  'a RPC_arg.t ->
  ('b -> 'a option) ->
  ('b, 'a option) field

val flag : ?descr:string -> string -> ('b -> bool) -> ('b, bool) field

val multi_field : 
  ?descr:string ->
  string ->
  'a RPC_arg.t ->
  ('b -> 'a list) ->
  ('b, 'a list) field

type ('a, 'b, 'c) open_query

val query : 'b -> ('a, 'b, 'b) open_query

val (|+) : 
  ('a, 'b, 'c -> 'd) open_query ->
  ('a, 'c) field ->
  ('a, 'b, 'd) open_query

val seal : ('a, 'b, 'a) open_query -> 'a t

type untyped = (string * string) list

exception Invalid of string

val parse : 'a query -> untyped -> 'a