Module Mina_base.Signed_command_memo

exception Too_long_user_memo_input
exception Too_long_digestible_string
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val equal : t -> t -> bool
val compare : t -> t -> int
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
module Stable : sig ... end
module Checked : sig ... end

typ representation

val dummy : t
val empty : t
val to_base58_check : t -> string
val of_base58_check : string -> t Core_kernel.Or_error.t
val of_base58_check_exn : string -> t
val to_string_hum : t -> string

for a memo of bytes, return a plaintext string for a memo of a digest, return a hex-encoded string, prefixed by '0x'

val is_digest : t -> bool

is the memo a digest

val is_valid : t -> bool

is the memo well-formed

val max_digestible_string_length : int

bound on length of strings to digest

val max_input_length : int

bound on length of strings or bytes in memo

val create_by_digesting_string_exn : string -> t

create a memo by digesting a string; raises Too_long_digestible_string if length exceeds max_digestible_string_length

val create_by_digesting_string : string -> t Core_kernel.Or_error.t

create a memo by digesting a string; returns error if length exceeds max_digestible_string_length

val create_from_bytes_exn : bytes -> t

create a memo from bytes of length up to max_input_length; raise Too_long_user_memo_input if length is greater

val create_from_bytes : bytes -> t Core_kernel.Or_error.t

create a memo from bytes of length up to max_input_length; returns error is length is greater

val create_from_string_exn : string -> t

create a memo from a string of length up to max_input_length; raise Too_long_user_memo_input if length is greater

val create_from_string : string -> t Core_kernel.Or_error.t

create a memo from a string of length up to max_input_length; returns error if length is greater

val to_bits : t -> bool list

convert a memo to a list of bools

val gen : t Core_kernel.Quickcheck.Generator.t

Quickcheck generator for memos.

Compute a standalone hash of the current memo.

val deriver : < contramap : ( t -> Yojson.Safe.t ) Core_kernel.ref ; graphql_arg : ( unit -> Yojson.Safe.t Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; graphql_fields : Yojson.Safe.t Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref ; graphql_query : string option Core_kernel.ref ; graphql_query_accumulator : (string * string option) list Core_kernel.ref ; map : ( Yojson.Safe.t -> t ) Core_kernel.ref ; nullable_graphql_arg : ( unit -> Yojson.Safe.t option Fields_derivers_graphql.Schema.Arg.arg_typ ) Core_kernel.ref ; nullable_graphql_fields : Yojson.Safe.t option Fields_derivers_zkapps.Graphql.Fields.Input.T.t Core_kernel.ref ; of_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref ; to_json : ( Yojson.Safe.t -> Yojson.Safe.t ) Core_kernel.ref ; js_layout : Yojson.Safe.t Core_kernel.ref.. > as 'a Fields_derivers_zkapps.Unified_input.t Fields_derivers_zkapps.Unified_input.t Fields_derivers_zkapps.Unified_input.t -> 'a Fields_derivers_zkapps.Unified_input.t
type raw =
| Digest of string(*

The digest of the string, encoded by base58-check

*)
| Bytes of string(*

A string containing the raw bytes in the memo.

*)
val to_raw_exn : t -> raw

Convert into a raw representation.

Raises if the tag or length are invalid.

val to_raw_bytes_exn : t -> string

Convert back into the raw input bytes.

Raises if the tag or length are invalid, or if the memo was a digest. Equivalent to to_raw_exn and then a match on Bytes.

val of_raw_exn : raw -> t

Convert from a raw representation.

Raises if the digest is not a valid base58-check string, or if the bytes string is too long.