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";
import * as Vector from "./vector";
export const packageName = "MoveStdlib";
export const moduleAddress = new HexString("0x1");
export const moduleName = "option";

export const EOPTION_IS_SET : U64 = u64("262144");
export const EOPTION_NOT_SET : U64 = u64("262145");


export class Option 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "Option";
  static typeParameters: TypeParamDeclType[] = [
    { name: "Element", isPhantom: false }
  ];
  static fields: FieldDeclType[] = [
  { name: "vec", typeTag: new VectorTag(new $.TypeParamIdx(0)) }];

  vec: any[];

  constructor(proto: any, public typeTag: TypeTag) {
    this.vec = proto['vec'] as any[];
  }

  static OptionParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : Option {
    const proto = $.parseStructProto(data, typeTag, repo, Option);
    return new Option(proto, typeTag);
  }

  static makeTag($p: TypeTag[]): StructTag {
    return new StructTag(moduleAddress, moduleName, "Option", $p);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }

}
export function borrow_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  if (!is_some_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_NOT_SET));
  }
  return Vector.borrow_(t.vec, u64("0"), $c, [$p[0]]);
}

export function borrow_mut_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  if (!is_some_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_NOT_SET));
  }
  return Vector.borrow_mut_(t.vec, u64("0"), $c, [$p[0]]);
}

export function borrow_with_default_ (
  t: Option,
  default_ref: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let temp$1, vec_ref;
  vec_ref = t.vec;
  if (Vector.is_empty_(vec_ref, $c, [$p[0]])) {
    temp$1 = default_ref;
  }
  else{
    temp$1 = Vector.borrow_(vec_ref, u64("0"), $c, [$p[0]]);
  }
  return temp$1;
}

export function contains_ (
  t: Option,
  e_ref: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): boolean {
  return Vector.contains_(t.vec, e_ref, $c, [$p[0]]);
}

export function destroy_none_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  if (!is_none_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_IS_SET));
  }
  let { vec: vec } = t;
  return Vector.destroy_empty_(vec, $c, [$p[0]]);
}

export function destroy_some_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let elem;
  if (!is_some_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_NOT_SET));
  }
  let { vec: vec } = t;
  elem = Vector.pop_back_(vec, $c, [$p[0]]);
  Vector.destroy_empty_(vec, $c, [$p[0]]);
  return elem;
}

export function destroy_with_default_ (
  t: Option,
  default__: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let temp$1;
  let { vec: vec } = t;
  if (Vector.is_empty_(vec, $c, [$p[0]])) {
    temp$1 = default__;
  }
  else{
    temp$1 = Vector.pop_back_(vec, $c, [$p[0]]);
  }
  return temp$1;
}

export function extract_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  if (!is_some_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_NOT_SET));
  }
  return Vector.pop_back_(t.vec, $c, [$p[0]]);
}

export function fill_ (
  t: Option,
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): void {
  let vec_ref;
  vec_ref = t.vec;
  if (Vector.is_empty_(vec_ref, $c, [$p[0]])) {
    Vector.push_back_(vec_ref, e, $c, [$p[0]]);
  }
  else{
    throw $.abortCode($.copy(EOPTION_IS_SET));
  }
  return;
}

export function get_with_default_ (
  t: Option,
  default__: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let temp$1, vec_ref;
  vec_ref = t.vec;
  if (Vector.is_empty_(vec_ref, $c, [$p[0]])) {
    temp$1 = $.copy(default__);
  }
  else{
    temp$1 = $.copy(Vector.borrow_(vec_ref, u64("0"), $c, [$p[0]]));
  }
  return temp$1;
}

export function is_none_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): boolean {
  return Vector.is_empty_(t.vec, $c, [$p[0]]);
}

export function is_some_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): boolean {
  return !Vector.is_empty_(t.vec, $c, [$p[0]]);
}

export function none_ (
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): Option {
  return new Option({ vec: Vector.empty_($c, [$p[0]]) }, new SimpleStructTag(Option, [$p[0]]));
}

export function some_ (
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): Option {
  return new Option({ vec: Vector.singleton_(e, $c, [$p[0]]) }, new SimpleStructTag(Option, [$p[0]]));
}

export function swap_ (
  t: Option,
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any {
  let old_value, vec_ref;
  if (!is_some_(t, $c, [$p[0]])) {
    throw $.abortCode($.copy(EOPTION_NOT_SET));
  }
  vec_ref = t.vec;
  old_value = Vector.pop_back_(vec_ref, $c, [$p[0]]);
  Vector.push_back_(vec_ref, e, $c, [$p[0]]);
  return old_value;
}

export function swap_or_fill_ (
  t: Option,
  e: any,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): Option {
  let temp$1, old_value, vec_ref;
  vec_ref = t.vec;
  if (Vector.is_empty_(vec_ref, $c, [$p[0]])) {
    temp$1 = none_($c, [$p[0]]);
  }
  else{
    temp$1 = some_(Vector.pop_back_(vec_ref, $c, [$p[0]]), $c, [$p[0]]);
  }
  old_value = temp$1;
  Vector.push_back_(vec_ref, e, $c, [$p[0]]);
  return old_value;
}

export function to_vec_ (
  t: Option,
  $c: AptosDataCache,
  $p: TypeTag[], /* <Element>*/
): any[] {
  let { vec: vec } = t;
  return vec;
}

export function loadParsers(repo: AptosParserRepo) {
  repo.addParser("0x1::option::Option", Option.OptionParser);
}
export class App {
  constructor(
    public client: AptosClient,
    public repo: AptosParserRepo,
    public cache: AptosLocalCache,
  ) {
  }
  get moduleAddress() {{ return moduleAddress; }}
  get moduleName() {{ return moduleName; }}
  get Option() { return Option; }
}