Events

^Syntax
Event :
   event IDENTIFIER {    EventField^*
   }

EventField :
   EventIndexability IDENTIFIER : Type

EventIndexability :
   idx^?

An event is a nominal event type defined with the keyword event. It is emitted with the keyword emit.

An example of a event item and its use:

use std::context::Context

contract Foo {
    event Transfer {
        idx sender: address
        idx receiver: address
        value: u256
    }

    fn transfer(ctx: Context, to: address, value: u256) {
        # Heavy logic here
        # All done, log the event for listeners
        emit Transfer(ctx, sender: ctx.msg_sender(), receiver: to, value)
    }
}