single_asset.impl.mligo

[@public] #import "../common/assertions.jsligo" "Assertions"
[@public] #import "../common/errors.mligo" "Errors"
[@public] #import "../common/tzip12.datatypes.jsligo" "TZIP12"
[@public] #import "../common/tzip12.interfaces.jsligo" "TZIP12Interface"
[@public] #import "../common/tzip16.datatypes.jsligo" "TZIP16"
#import "./extendable_single_asset.impl.mligo" "SingleAssetExtendable"

type ledger = SingleAssetExtendable.ledger

type operator = SingleAssetExtendable.operator

type operators = SingleAssetExtendable.operators

type storage = unit SingleAssetExtendable.storage

type storage =
  {
   ledger : ledger;
   operators : operators;
   token_metadata : TZIP12.tokenMetadata;
   metadata : TZIP16.metadata
  }

type ret = operation list * storage

let empty_storage : storage =
  {
   ledger = Big_map.empty;
   operators = Big_map.empty;
   token_metadata = Big_map.empty;
   metadata = Big_map.empty
  }

[@inline]
let lift (s : storage) : unit SingleAssetExtendable.storage =
  {
   extension = ();
   ledger = s.ledger;
   operators = s.operators;
   token_metadata = s.token_metadata;
   metadata = s.metadata
  }

[@inline]
let unlift (ret : operation list * unit SingleAssetExtendable.storage) : ret =
  let ops, s = ret in
  ops,
  {
   ledger = s.ledger;
   operators = s.operators;
   token_metadata = s.token_metadata;
   metadata = s.metadata
  }

[@entry]
let transfer (t : TZIP12.transfer) (s : storage) : ret =
  unlift (SingleAssetExtendable.transfer t (lift s))

[@entry]
let balance_of (b : TZIP12.balance_of) (s : storage) : ret =
  unlift (SingleAssetExtendable.balance_of b (lift s))

[@entry]
let update_operators (updates : TZIP12.update_operators) (s : storage) : ret =
  unlift (SingleAssetExtendable.update_operators updates (lift s))

[@view]
let get_balance (p : (address * nat)) (s : storage) : nat =
  SingleAssetExtendable.get_balance p (lift s)

[@view]
let total_supply (token_id : nat) (s : storage) : nat =
  SingleAssetExtendable.total_supply token_id (lift s)

[@view]
let all_tokens (_ : unit) (s : storage) : nat set =
  SingleAssetExtendable.all_tokens () (lift s)

[@view]
let is_operator (op : TZIP12.operator) (s : storage) : bool =
  SingleAssetExtendable.is_operator op (lift s)

[@view]
let token_metadata (p : nat) (s : storage) : TZIP12.tokenMetadataData =
  SingleAssetExtendable.token_metadata p (lift s)