Tezos_raw_protocol_alpha.Clst_eventsval transfer_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
sender:Script_typed_ir.address ->
receiver:Script_typed_ir.address ->
token_id:Script_native_types.CLST_types.nat ->
amount:Script_native_types.CLST_types.nat ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.ttransfer_event returns an internal event operation of type (pair %transfer_event (address %from_) (pair (address %to_) (pair (nat %token_id) (nat %amount)))) with tag entrypoint.
val balance_update_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
owner:Script_typed_ir.address ->
token_id:Script_native_types.CLST_types.nat ->
new_balance:Script_native_types.CLST_types.nat ->
diff:Script_native_types.CLST_types.int ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tbalance_update_event returns an internal event operation of type (pair %balance_update (address %owner) (pair (nat %token_id) (pair (nat %new_balance) (int %diff)))) with tag entrypoint.
val total_supply_update_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
token_id:Script_native_types.CLST_types.nat ->
new_total_supply:Script_native_types.CLST_types.nat ->
diff:Script_native_types.CLST_types.int ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.ttotal_supply_update_event returns an internal event operation of type (pair %total_supply_update (nat %token_id) (pair (nat %new_total_supply) (int %diff))) with tag entrypoint.
val allowance_update_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
owner:Script_typed_ir.address ->
spender:Script_typed_ir.address ->
token_id:Script_native_types.CLST_types.nat ->
new_allowance:Script_native_types.CLST_types.nat ->
diff:Script_native_types.CLST_types.int ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tallowance_update_event returns an internal event operation of type (pair %allowance_update (address %owner) (pair (address %spender) (pair (nat %token_id) (pair (nat %new_allowance) (int %diff))))) with tag entrypoint.
val operator_update_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
owner:Script_typed_ir.address ->
operator:Script_typed_ir.address ->
token_id:Script_native_types.CLST_types.nat ->
is_operator:bool ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.toperator_update_event returns an internal event operation of type (pair %operator_update (address %owner) (pair (address %operator) (pair (nat %token_id) (bool %is_operator)))) with tag entrypoint.
val token_metadata_update_event :
(Alpha_context.context * Script_typed_ir.step_constants) ->
entrypoint:Alpha_context.Entrypoint.t ->
token_id:Script_native_types.CLST_types.nat ->
new_metadata:Script_native_types.CLST_types.token_info option ->
(Script_typed_ir.operation * Alpha_context.context)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.ttoken_metadata_update_event returns an internal event operation of type (pair %token_metadata_update (nat %token_id) (option %new_metadata (map string bytes))) with tag entrypoint.