import * as $ from "@manahippo/move-to-ts";
import {AptosDataCache, AptosParserRepo, DummyCache, AptosLocalCache} from "@manahippo/move-to-ts";
import {U8, U64, U128} from "@manahippo/move-to-ts";
import {u8, u64, u128} from "@manahippo/move-to-ts";
import {TypeParamDeclType, FieldDeclType} from "@manahippo/move-to-ts";
import {AtomicTypeTag, StructTag, TypeTag, VectorTag, SimpleStructTag} from "@manahippo/move-to-ts";
import {OptionTransaction} from "@manahippo/move-to-ts";
import {HexString, AptosClient, AptosAccount, TxnBuilderTypes, Types} from "aptos";
export const packageName = "MoveStdlib";
export const moduleAddress = new HexString("0x1");
export const moduleName = "vector";

export const EINDEX_OUT_OF_BOUNDS : U64 = u64("131072");

export function append_ (
  lhs: any[],
  other: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  reverse_(other, $c, [$p[0]]);
  while (!is_empty_(other, $c, [$p[0]])) {
    {
      push_back_(lhs, pop_back_(other, $c, [$p[0]]), $c, [$p[0]]);
    }

  }destroy_empty_(other, $c, [$p[0]]);
  return;
}

export function borrow_ (
  v: any[],
  i: U64,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  return $.std_vector_borrow(v, i, $c, [$p[0]]);

}
export function borrow_mut_ (
  v: any[],
  i: U64,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  return $.std_vector_borrow_mut(v, i, $c, [$p[0]]);

}
export function contains_ (
  v: any[],
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): boolean {
  let i, len;
  i = u64("0");
  len = length_(v, $c, [$p[0]]);
  while (($.copy(i)).lt($.copy(len))) {
    {
      if ($.dyn_eq($p[0], borrow_(v, $.copy(i), $c, [$p[0]]), e)) {
        return true;
      }
      else{
      }
      i = ($.copy(i)).add(u64("1"));
    }

  }return false;
}

export function destroy_empty_ (
  v: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  return $.std_vector_destroy_empty(v, $c, [$p[0]]);

}
export function empty_ (
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any[] {
  return $.std_vector_empty($c, [$p[0]]);

}
export function index_of_ (
  v: any[],
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): [boolean, U64] {
  let i, len;
  i = u64("0");
  len = length_(v, $c, [$p[0]]);
  while (($.copy(i)).lt($.copy(len))) {
    {
      if ($.dyn_eq($p[0], borrow_(v, $.copy(i), $c, [$p[0]]), e)) {
        return [true, $.copy(i)];
      }
      else{
      }
      i = ($.copy(i)).add(u64("1"));
    }

  }return [false, u64("0")];
}

export function is_empty_ (
  v: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): boolean {
  return (length_(v, $c, [$p[0]])).eq((u64("0")));
}

export function length_ (
  v: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): U64 {
  return $.std_vector_length(v, $c, [$p[0]]);

}
export function pop_back_ (
  v: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  return $.std_vector_pop_back(v, $c, [$p[0]]);

}
export function push_back_ (
  v: any[],
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  return $.std_vector_push_back(v, e, $c, [$p[0]]);

}
export function remove_ (
  v: any[],
  i: U64,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let temp$1, temp$2, len;
  len = length_(v, $c, [$p[0]]);
  if (($.copy(i)).ge($.copy(len))) {
    throw $.abortCode($.copy(EINDEX_OUT_OF_BOUNDS));
  }
  else{
  }
  len = ($.copy(len)).sub(u64("1"));
  while (($.copy(i)).lt($.copy(len))) {
    {
      temp$2 = v;
      temp$1 = $.copy(i);
      i = ($.copy(i)).add(u64("1"));
      swap_(temp$2, temp$1, $.copy(i), $c, [$p[0]]);
    }

  }return pop_back_(v, $c, [$p[0]]);
}

export function reverse_ (
  v: any[],
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  let back_index, front_index, len;
  len = length_(v, $c, [$p[0]]);
  if (($.copy(len)).eq((u64("0")))) {
    return;
  }
  else{
  }
  front_index = u64("0");
  back_index = ($.copy(len)).sub(u64("1"));
  while (($.copy(front_index)).lt($.copy(back_index))) {
    {
      swap_(v, $.copy(front_index), $.copy(back_index), $c, [$p[0]]);
      front_index = ($.copy(front_index)).add(u64("1"));
      back_index = ($.copy(back_index)).sub(u64("1"));
    }

  }return;
}

export function singleton_ (
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any[] {
  let v;
  v = empty_($c, [$p[0]]);
  push_back_(v, e, $c, [$p[0]]);
  return v;
}

export function swap_ (
  v: any[],
  i: U64,
  j: U64,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  return $.std_vector_swap(v, i, j, $c, [$p[0]]);

}
export function swap_remove_ (
  v: any[],
  i: U64,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let last_idx;
  if (!!is_empty_(v, $c, [$p[0]])) {
    throw $.abortCode($.copy(EINDEX_OUT_OF_BOUNDS));
  }
  last_idx = (length_(v, $c, [$p[0]])).sub(u64("1"));
  swap_(v, $.copy(i), $.copy(last_idx), $c, [$p[0]]);
  return pop_back_(v, $c, [$p[0]]);
}

export function loadParsers(repo: AptosParserRepo) {
}
export class App {
  constructor(
    public client: AptosClient,
    public repo: AptosParserRepo,
    public cache: AptosLocalCache,
  ) {
  }
  get moduleAddress() {{ return moduleAddress; }}
  get moduleName() {{ return moduleName; }}
}