Documentation

Entrypoint name.

Empty if this entrypoint is default one. Cannot be equal to "default", the reference implementation forbids that. Also, set of allowed characters should be the same as in annotations.

Make up EpName from annotation in parameter type declaration.

Returns Nothing if no entrypoint is assigned here.

Turn entrypoint name into annotation for contract parameter declaration.

Make up EpName from annotation which is reference to an entrypoint (e.g. annotation in CONTRACT instruction).

Fails if annotation is invalid.

Turn entrypoint name into annotation used as reference to entrypoint.

Address with optional entrypoint name attached to it. TODO: come up with better name?

Parse an address which can be suffixed with entrypoint name (e.g. "tz1faswCTDciRzE4oJ9jn2Vm2dvjeyA9fUzU%entrypoint").

Annotations for contract parameter declaration.

Following the Michelson specification, this type has the following invariants: 1. No entrypoint name is duplicated. 2. If default entrypoint is explicitly assigned, no "arm" remains uncallable.

Coordinates of "arm" in Or tree, used solely in error messages.

Errors specific to parameter type declaration (entrypoints).

Construct ParamNotes performing all necessary checks.

Describes how to construct full contract parameter from given entrypoint argument.

This could be just wrapper over Value arg -> Value param, but we cannot use Value type in this module easily.

Reference for calling a specific entrypoint of type arg.

EntryPointCallT with hidden parameter type.

This requires argument to satisfy ParameterScope constraint. Strictly speaking, entrypoint argument may one day start having different set of constraints comparing to ones applied to parameter, but this seems unlikely.

Build EntryPointCallT.

Here we accept entrypoint name and type information for the parameter of target contract.

Returns Nothing if entrypoint is not found.

For implicit account, which type its parameter seems to have from outside.