package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos protocol alpha package

Install

sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c

sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

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