impl Mapping::contains, Mapping::remove

[collinc97]

New Syntax

• Mapping::contains(balances, account) Returns true if account is present in mapping balances
• Mapping::remove(balances, account) Removes account from mapping balances

Example

program test.aleo {

    mapping balances: address => u32;

    transition foo() -> () {
        return then finalize(self.caller);
    }

    finalize foo(account: address) -> () {
        Mapping::set(balances, account, 1u32);

        let expect_true: bool = Mapping::contains(balances, account); // true
        assert(expect_true);

        Mapping::remove(balances, account); // Remove the mapping entry for account

        let expect_false: bool = Mapping::contains(balances, account); // false
        assert(!expect_false);
    }
}

[bendyarm]

Looks good to me!

[d0cd]

LGTM!