Michelson instructions

Base Class

class pymavryk.michelson.instructions.base.MichelsonInstruction(stack_items_added: int = 0)

args: List[Type[MichelsonInstruction] | Any] = []

classmethod as_micheline_expr() → dict

classmethod create_type(args: List[Type[Micheline]], annots: list | None = None, **kwargs) → Type[MichelsonInstruction]

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

field_names: List[str] = []

static match(expr) → Type[MichelsonInstruction]

var_names: List[str] = []

class pymavryk.michelson.instructions.base.Wildcard

static n(count: int) → List[Wildcard]

pymavryk.michelson.instructions.base.dispatch_types(*args: Type[Micheline], mapping: Dict[Tuple[Type[Micheline], ...], Tuple[Any, ...]])

pymavryk.michelson.instructions.base.format_stdout(prim: str, inputs: list, outputs: list, arg=None)

ADT operations

class pymavryk.michelson.instructions.adt.CarInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CAR'

class pymavryk.michelson.instructions.adt.CdrInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CDR'

class pymavryk.michelson.instructions.adt.GetnInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'GET'

class pymavryk.michelson.instructions.adt.LeftInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LEFT'

class pymavryk.michelson.instructions.adt.PairInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'PAIR'

class pymavryk.michelson.instructions.adt.PairnInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'PAIR'

class pymavryk.michelson.instructions.adt.RightInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'RIGHT'

class pymavryk.michelson.instructions.adt.UnpairInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UNPAIR'

class pymavryk.michelson.instructions.adt.UnpairnInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UNPAIR'

class pymavryk.michelson.instructions.adt.UpdatenInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UPDATE'

pymavryk.michelson.instructions.adt.execute_cxr(prim: str, stack: MichelsonStack, stdout: List[str], idx: int)

Arithmetic operations

class pymavryk.michelson.instructions.arithmetic.AbsInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'ABS'

class pymavryk.michelson.instructions.arithmetic.AddInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'ADD'

class pymavryk.michelson.instructions.arithmetic.BytesInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'BYTES'

class pymavryk.michelson.instructions.arithmetic.EdivInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EDIV'

class pymavryk.michelson.instructions.arithmetic.IntInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'INT'

class pymavryk.michelson.instructions.arithmetic.IsNatInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'ISNAT'

class pymavryk.michelson.instructions.arithmetic.LslInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LSL'

class pymavryk.michelson.instructions.arithmetic.LsrInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LSR'

class pymavryk.michelson.instructions.arithmetic.MulInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'MUL'

class pymavryk.michelson.instructions.arithmetic.NatInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NAT'

class pymavryk.michelson.instructions.arithmetic.NegInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NEG'

class pymavryk.michelson.instructions.arithmetic.SubInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SUB'

class pymavryk.michelson.instructions.arithmetic.SubMumavInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SUB_MUMAV'

pymavryk.michelson.instructions.arithmetic.execute_shift(prim: str, stack: MichelsonStack, stdout: List[str], shift: Callable[[Tuple[int, int]], int])

Boolean operations

class pymavryk.michelson.instructions.boolean.AndInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'AND'

class pymavryk.michelson.instructions.boolean.NotInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NOT'

class pymavryk.michelson.instructions.boolean.OrInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'OR'

class pymavryk.michelson.instructions.boolean.XorInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'XOR'

pymavryk.michelson.instructions.boolean.execute_boolean_add(prim: str, stack: MichelsonStack, stdout: List[str], add: Callable)

Comparison operations

class pymavryk.michelson.instructions.compare.CompareInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'COMPARE'

class pymavryk.michelson.instructions.compare.EqInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EQ'

class pymavryk.michelson.instructions.compare.GeInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'GE'

class pymavryk.michelson.instructions.compare.GtInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'GT'

class pymavryk.michelson.instructions.compare.LeInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LE'

class pymavryk.michelson.instructions.compare.LtInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LT'

class pymavryk.michelson.instructions.compare.NeqInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NEQ'

pymavryk.michelson.instructions.compare.compare(a, b) → int

pymavryk.michelson.instructions.compare.execute_zero_compare(prim: str, stack: MichelsonStack, stdout: List[str], compare: Callable[[int], bool])

Control flow operations

class pymavryk.michelson.instructions.control.ApplyInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'APPLY'

class pymavryk.michelson.instructions.control.DipInstruction(item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DIP'

class pymavryk.michelson.instructions.control.DipnInstruction(item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DIP'

class pymavryk.michelson.instructions.control.ExecInstruction(item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EXEC'

class pymavryk.michelson.instructions.control.FailwithInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'FAILWITH'

class pymavryk.michelson.instructions.control.IfConsInstruction(stack_items_added: int, item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'IF_CONS'

class pymavryk.michelson.instructions.control.IfInstruction(item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'IF'

class pymavryk.michelson.instructions.control.IfLeftInstruction(item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'IF_LEFT'

class pymavryk.michelson.instructions.control.IfNoneInstruction(stack_items_added: int, item: MichelsonInstruction)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'IF_NONE'

class pymavryk.michelson.instructions.control.IterInstruction(stack_items_added: int, items: List[MichelsonInstruction])

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'ITER'

class pymavryk.michelson.instructions.control.LambdaInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LAMBDA'

class pymavryk.michelson.instructions.control.LambdaRecInstruction(stack_items_added: int = 0)

depth = 0

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LAMBDA_REC'

class pymavryk.michelson.instructions.control.LoopInstruction(items: List[MichelsonInstruction])

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LOOP'

class pymavryk.michelson.instructions.control.LoopLeftInstruction(stack_items_added: int, items: List[MichelsonInstruction])

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LOOP_LEFT'

class pymavryk.michelson.instructions.control.MapInstruction(stack_items_added: int, items: List[MichelsonInstruction])

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'MAP'

pymavryk.michelson.instructions.control.execute_dip(prim: str, stack: MichelsonStack, stdout: List[str], count: int, body: Type[MichelsonInstruction], context: AbstractContext) → MichelsonInstruction

Crypto operations

class pymavryk.michelson.instructions.crypto.Blake2bInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'BLAKE2B'

class pymavryk.michelson.instructions.crypto.CheckSignatureInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CHECK_SIGNATURE'

class pymavryk.michelson.instructions.crypto.HashKeyInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'HASH_KEY'

class pymavryk.michelson.instructions.crypto.KeccakInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'KECCAK'

class pymavryk.michelson.instructions.crypto.PairingCheckInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'PAIRING_CHECK'

class pymavryk.michelson.instructions.crypto.SaplingEmptyStateInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SAPLING_EMPTY_STATE'

class pymavryk.michelson.instructions.crypto.SaplingVerifyUpdateInstruction(stack_items_added: int = 0)

prim: str | None = 'SAPLING_VERIFY_UPDATE'

class pymavryk.michelson.instructions.crypto.Sha256Instruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SHA256'

class pymavryk.michelson.instructions.crypto.Sha3Instruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SHA3'

class pymavryk.michelson.instructions.crypto.Sha512Instruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SHA512'

pymavryk.michelson.instructions.crypto.execute_hash(prim: str, stack: MichelsonStack, stdout: List[str], hash_digest: Callable[[bytes], bytes])

Generic operations

class pymavryk.michelson.instructions.generic.ConcatInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CONCAT'

class pymavryk.michelson.instructions.generic.NeverInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NEVER'

class pymavryk.michelson.instructions.generic.PackInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'PACK'

class pymavryk.michelson.instructions.generic.SizeInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SIZE'

class pymavryk.michelson.instructions.generic.SliceInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SLICE'

class pymavryk.michelson.instructions.generic.UnitInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UNIT'

class pymavryk.michelson.instructions.generic.UnpackInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UNPACK'

Stack operations

class pymavryk.michelson.instructions.stack.CastIntruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CAST'

class pymavryk.michelson.instructions.stack.DigInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DIG'

class pymavryk.michelson.instructions.stack.DropInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DROP'

class pymavryk.michelson.instructions.stack.DropnInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DROP'

class pymavryk.michelson.instructions.stack.DugInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DUG'

class pymavryk.michelson.instructions.stack.DupInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DUP'

class pymavryk.michelson.instructions.stack.DupnInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'DUP'

class pymavryk.michelson.instructions.stack.PushInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'PUSH'

class pymavryk.michelson.instructions.stack.RenameInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'RENAME'

class pymavryk.michelson.instructions.stack.SwapInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SWAP'

Operations with structures

class pymavryk.michelson.instructions.struct.ConsInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CONS'

class pymavryk.michelson.instructions.struct.EmptyBigMapInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EMPTY_BIG_MAP'

class pymavryk.michelson.instructions.struct.EmptyMapInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EMPTY_MAP'

class pymavryk.michelson.instructions.struct.EmptySetInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EMPTY_SET'

class pymavryk.michelson.instructions.struct.GetAndUpdateInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'GET_AND_UPDATE'

class pymavryk.michelson.instructions.struct.GetInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'GET'

class pymavryk.michelson.instructions.struct.MemInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'MEM'

class pymavryk.michelson.instructions.struct.NilInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NIL'

class pymavryk.michelson.instructions.struct.NoneInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NONE'

class pymavryk.michelson.instructions.struct.SomeInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SOME'

class pymavryk.michelson.instructions.struct.UpdateInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'UPDATE'

Mavryk-specific operations

class pymavryk.michelson.instructions.mavryk.AddressInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'ADDRESS'

class pymavryk.michelson.instructions.mavryk.AmountInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'AMOUNT'

class pymavryk.michelson.instructions.mavryk.BalanceInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'BALANCE'

class pymavryk.michelson.instructions.mavryk.ChainIdInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CHAIN_ID'

class pymavryk.michelson.instructions.mavryk.ContractInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CONTRACT'

class pymavryk.michelson.instructions.mavryk.CreateContractInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'CREATE_CONTRACT'

class pymavryk.michelson.instructions.mavryk.EmitInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'EMIT'

class pymavryk.michelson.instructions.mavryk.ImplicitAccountInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'IMPLICIT_ACCOUNT'

class pymavryk.michelson.instructions.mavryk.LevelInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'LEVEL'

class pymavryk.michelson.instructions.mavryk.MinBlockTimeInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'MIN_BLOCK_TIME'

class pymavryk.michelson.instructions.mavryk.NowInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'NOW'

class pymavryk.michelson.instructions.mavryk.OpenChestInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'OPEN_CHEST'

class pymavryk.michelson.instructions.mavryk.SelfAddressInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SELF_ADDRESS'

class pymavryk.michelson.instructions.mavryk.SelfInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SELF'

class pymavryk.michelson.instructions.mavryk.SenderInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SENDER'

class pymavryk.michelson.instructions.mavryk.SetDelegateInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SET_DELEGATE'

class pymavryk.michelson.instructions.mavryk.SourceInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SOURCE'

class pymavryk.michelson.instructions.mavryk.TotalVotingPowerInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'TOTAL_VOTING_POWER'

class pymavryk.michelson.instructions.mavryk.TransferTokensInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'TRANSFER_TOKENS'

class pymavryk.michelson.instructions.mavryk.ViewInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'VIEW'

class pymavryk.michelson.instructions.mavryk.VotingPowerInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'VOTING_POWER'

pymavryk.michelson.instructions.mavryk.get_entrypoint_type(context: AbstractContext, name: str, address=None) → Type[MichelsonType] | None

Ticket operations

class pymavryk.michelson.instructions.ticket.JoinTicketsInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'JOIN_TICKETS'

class pymavryk.michelson.instructions.ticket.ReadTicketInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'READ_TICKET'

class pymavryk.michelson.instructions.ticket.SplitTicketInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'SPLIT_TICKET'

class pymavryk.michelson.instructions.ticket.TicketDeprecatedInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'TICKET_DEPRECATED'

class pymavryk.michelson.instructions.ticket.TicketInstruction(stack_items_added: int = 0)

classmethod execute(stack: MichelsonStack, stdout: List[str], context: AbstractContext)

prim: str | None = 'TICKET'