Kathmandu

Note: as LIGO uses Mumbai protocol to Michelson type-check your programs, the flag --disable-michelson-typechecking is recommended to compile contracts to Kathmandu when using tickets / chest.

API

New primitives

Mavryk

let emit: string => 'a => operation

Build an event operation. To actually emit an event, this operation must be returned the same way as other operations (origination / transfer ..)

Test

let get_last_events_from: typed_address <'p,'s> => string => list <'a>

Returns the list of all the event payloads emited with a given tag by a given address. Any call to this function must be annotated with the expected payload type.

Event testing

Here is how you emit events and fetch them from your tests:

namespace C {

@entry

let main = (p: [int, int], _s : unit) => {

let op1 = Mavryk.emit("%foo", p);

let op2 = Mavryk.emit("%foo", p[0]);

return [list([op1, op2]), unit];

};

}

let test = (() : [list<[int,int]>, list<int>] => {

let orig = Test.originate(contract_of(C), unit, 0 as mav);

Test.transfer_exn(orig.addr, Main([1,2]), 0 as mav);

return [Test.get_last_events_from(orig.addr, "foo") as list<[int, int]>, Test.get_last_events_from(orig.addr, "foo") as list<int>];

}) ();