Clst_events (tezos-protocol-025-PsUshuai.Tezos_raw_protocol_025_PsUshuai.Clst

val 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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

transfer_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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

balance_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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

total_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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

allowance_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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

operator_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_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

token_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.

type events

Accumulator containing all the events being generated for a given entrypoint execution

val init_events : events

val update_balance_events : 
  events ->
  owner:Script_typed_ir.address ->
  new_balance:Script_native_types.CLST_types.nat ->
  diff:Script_int.z Script_int.num ->
  events

val update_allowance_events : 
  events ->
  owner:Script_typed_ir.address ->
  spender:Script_typed_ir.address ->
  new_allowance:Script_native_types.CLST_types.nat ->
  diff:Script_int.z Script_int.num ->
  events

val update_operator_events : 
  events ->
  owner:Script_typed_ir.address ->
  operator:Script_typed_ir.address ->
  is_operator:bool ->
  events

val add_transfer_event : events -> Script_typed_ir.operation -> events

val emit_all_events : 
  (Alpha_context.context * Script_typed_ir.step_constants) ->
  entrypoint:Alpha_context.Entrypoint.t ->
  events ->
  (Script_typed_ir.operation list * Alpha_context.context)
    Tezos_protocol_environment_025_PsUshuai.Error_monad.tzresult
    Tezos_protocol_environment_025_PsUshuai.Lwt.t

emit_all_events (ctxt, sc) ~entrypoint events returns the list of internal operations corresponding to the accumulated events, without any particular order.