mariano-aguero

function tokenProxy (const action : tokenAction; const store : store): operation is
  block {
    const tokenContract: contract (tokenAction) =
      case (Tezos.get_contract_opt (store.token.contractAddress) : option (contract (tokenAction))) of
        Some (contractAction) -> contractAction
      | None -> (failwith ("Contract not found.") : contract (tokenAction))
      end;
    const proxyOperation : operation = Tezos.transaction (action, 0mutez, tokenContract);
  } with proxyOperation;

mariano-aguero

function depositImp(var store: store): return is
  block {
    if amount = 0mutez
      then failwith("No tez transferred!");
      else skip;

    // Setting the deposit to the sender
    store := updateDeposit(amount, store);

    // TODO: try to get the decimals property from the token contract

mariano-aguero

// This is an implementation of the FA1.2 specification in PascaLIGO

type amountNat is nat;

type account is record
    balance : amountNat;
    allowances: map(address, amountNat);
end

type action is

mariano-aguero

type action is AddOwner of (address)

// An unordered collections of owner accounts 
type store is record
  owners: set(address);
end  

type return is list(operation) * store

// Function that checks if an account is an owner

mariano-aguero

// Allowed roles, you can add a new annotation right here, for example 'Dev' or 'Moderator'
type role is Admin | User | NoRole

type action is
  | MakeAdmin of (address)
  | MakeUser of (address)
  | RemoveRole of (address)

type store is record
  users: big_map(address, role);

mariano-aguero

if amount =/= 0tz then failwith ("This contract do not accept token amount");

mariano-aguero

  const emptyOps : list(operation) = list end;

  function approve (const addressSpender : address; const value : nat; var store : store) : return is
  block {
    // If sender is the spender approving is not necessary
    if sender = addressSpender then skip;
    else block {
        const senderAccount: account = getAccount(sender, store.accounts);
        var allowance: nat :=  getAllowance(addressSpender, senderAccount.allowances); 

mariano-aguero

// Error codes used with the `failwith` method , for contract execution termination.
const error_not_enough_balance : string = "0";
const error_transaction_of_funds_failed : string = "1";
const error_amount_must_be_zero : string = "3";

mariano-aguero

{
  "mnemonic": [
    "pepper",
    "elbow",
    "pizza",
    "best",
    "speak",
    "usual",
    "mass",
    "pepper",

mariano-aguero

{
  "mnemonic": [
    "essence",
    "crucial",
    "useful",
    "blush",
    "phone",
    "private",
    "found",
    "apple",