fa2_multi_asset.mligo

(*
  `multi_asset` contract combines `multi_token` transfer API with
  `simple_admin` API and `token_manager` API.  Input parameter type for the
  `multi_asset` contract is a union of `multi_token` and `simple_admin` parameter
  types.
  Depending on the input, `multi_asset` dispatches call to either
  `multi_token` or `simple_admin`  or `token_manager` entry points. 
  If contract is paused, `multi_token` entry points cannot be invoked.
  Only current admin can access `simple_admin` and `token_manager` entry points.
*)

#include "token_manager.mligo"
#include "../fa2_modules/simple_admin.mligo"

module MultiAsset = struct

  type storage = {
    admin : Admin.storage;
    assets : MultiToken.storage;
    metadata : contract_metadata;
  }

  type return = operation list * storage

  [@entry] let assets (p : fa2_entry_points) (s : storage) : return =
    let _ = Admin.fail_if_paused s.admin in
    let ops, assets = Token.fa2_main (p, s.assets) in
    let new_s = { s with assets = assets } in
    (ops, new_s)

  [@entry] let admin (p : Admin.entrypoints) (s : storage) : return =
    let ops, admin = Admin.main (p, s.admin) in
    let new_s = { s with admin = admin; } in
    (ops, new_s)

  [@entry] let tokens (p : token_manager) (s : storage) : return =
    let _ = Admin.fail_if_not_admin s.admin in
    let ops, assets = token_manager (p, s.assets) in 
    let new_s = { s with assets = assets } in 
    (ops, new_s)

end 

(**
This is a sample initial fa2_multi_asset storage.
 *)

let store : MultiAsset.storage = {
  admin = {
    admin = ("tz1YPSCGWXwBdTncK2aCctSZAXWvGsGwVJqU" : address);
    pending_admin = (None : address option);
    paused = true;
  };
  assets = {
    ledger = (Big_map.empty : MultiToken.ledger);
    operators = (Big_map.empty : operator_storage);
    token_total_supply = (Big_map.empty : MultiToken.token_total_supply);
    token_metadata = (Big_map.empty : token_metadata_storage);
    permissions = {
      operator = Owner_or_operator_transfer;
      receiver = Optional_owner_hook;
      sender = Owner_no_hook;
      custom = (None : custom_permission_policy option);
    };
  };
  metadata = Big_map.literal [
    ("", Bytes.pack "tezos-storage:content" );
    (* ("", 0x74657a6f732d73746f726167653a636f6e74656e74); *)
    ("content", 0x00) (* bytes encoded UTF-8 JSON *)
  ];
}