package tezos-protocol-demo-counter

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: demo_counter economic-protocol definition

Install

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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