package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

val return : 'a -> 'a Lwt.t

val return_none : 'a option Lwt.t

val return_nil : 'a list Lwt.t

val return_true : bool Lwt.t

val return_false : bool Lwt.t

val return_some : 'a -> 'a option Lwt.t

val return_ok : 'a -> ('a, 'b) Pervasives.result Lwt.t

val return_error : 'e -> ('a, 'e) Pervasives.result Lwt.t

val return_ok_unit : (unit, 'e) Pervasives.result Lwt.t

val return_ok_true : (bool, 'e) Pervasives.result Lwt.t

val return_ok_false : (bool, 'e) Pervasives.result Lwt.t

val return_ok_none : ('a option, 'e) Pervasives.result Lwt.t

val return_ok_nil : ('a list, 'e) Pervasives.result Lwt.t

val (let*) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t

val (and*) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

val (let+) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t

val (and+) : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t

val join : unit Lwt.t list -> unit Lwt.t

val all : 'a Lwt.t list -> 'a list Lwt.t

val both : 'a Lwt.t -> 'b Lwt.t -> ('a * 'b) Lwt.t