import { Constr, Data, applyParamsToScript } from "../src/mod.ts";

it("Roundtrip data bigint", () => {
  /*
    - TypeScript:

    type MyDatum = bigint

    - Aiken:

    type MyDatum = Int
  */
  const MyDatumSchema = Data.Integer();
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = 1234n;
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data string", () => {
  /*
    - TypeScript:

    type MyDatum = string

    - Aiken:

    type MyDatum = ByteArray
  */
  const MyDatumSchema = Data.Bytes();
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = "31313131"; //hex
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data boolean", () => {
  /*
    - TypeScript:

    type MyDatum = boolean

    - Aiken:

    type MyDatum = Bool
  */
  const MyDatumSchema = Data.Boolean();
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = true;
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data object", () => {
  /*
    - TypeScript:

    type MyDatum = {
      myVariableA: string;
      myVariableB: bigint | null;
    }

    - Aiken:

    type MyDatum {
      myVariableA: ByteArray,
      myVariableB: Option(Int),
    }
  */
  const MyDatumSchema = Data.Object({
    myVariableA: Data.Bytes(),
    myVariableB: Data.Nullable(Data.Integer()),
  });
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = {
    myVariableA: "313131",
    myVariableB: 5555n,
  };
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);

  const datumNullable: MyDatum = {
    myVariableA: "313131",
    myVariableB: null,
  };
  const newDatumNullable = Data.from(Data.to(datumNullable, MyDatum), MyDatum);

  expect(datumNullable).toEqual(newDatumNullable);
});

it("Roundtrip data array", () => {
  /*
    - TypeScript:

    type MyDatum = bigint[]

    - Aiken:

    type MyDatum = List<Int>
  */
  const MyDatumSchema = Data.Array(Data.Integer(), {
    minItems: 3,
    maxItems: 4,
  });
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = [45n, 100n, 9994n, 4281958210985912095n];
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data map", () => {
  /*
    - TypeScript:

    type MyDatum = Map<bigint, string>

    - Aiken:

    type MyDatum = Dict<Int, ByteArray>
  */
  const MyDatumSchema = Data.Map(Data.Integer(), Data.Bytes());
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datum: MyDatum = new Map([
    [3209n, "3131"],
    [249218490182n, "32323232"],
  ]);
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data enum", () => {
  /*
    - TypeScript:

    type MyDatum = "Left" | "Down" | "Right" | { Up: [string]; }

    - Aiken:

    type MyDatum {
      Left
      Down
      Right
      Up(ByteArray)
    }
  */
  const MyDatumSchema = Data.Enum([
    Data.Literal("Left"),
    Data.Literal("Down"),
    Data.Literal("Right"),
    Data.Object({ Up: Data.Tuple([Data.Bytes()]) }),
  ]);

  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datumLeft: MyDatum = "Left";
  const newDatumLeft = Data.from(Data.to(datumLeft, MyDatum), MyDatum);
  expect(datumLeft as MyDatum).toEqual(newDatumLeft);

  const datumUp: MyDatum = { Up: ["313131"] };
  const newDatumUp = Data.from(Data.to(datumUp, MyDatum), MyDatum);
  expect(datumUp as MyDatum).toEqual(newDatumUp);
});

it("Roundtrip data enum with named args", () => {
  /*
    - TypeScript:

    type MyDatum = "Left" | "Down" | { Right: [string]; } | { Up: { x: bigint; y: bigint;}; }

    - Aiken:

    type MyDatum {
      Left
      Down
      Right(ByteArray)
      Up {x: Int, y: Int}
    }
  */
  const MyDatumSchema = Data.Enum([
    Data.Literal("Left"),
    Data.Literal("Down"),
    Data.Object({ Right: Data.Tuple([Data.Bytes()]) }),
    Data.Object({ Up: Data.Object({ x: Data.Integer(), y: Data.Bytes() }) }),
  ]);
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;

  const datumLeft: MyDatum = "Left";
  const newDatumLeft = Data.from(Data.to(datumLeft, MyDatum), MyDatum);
  expect(datumLeft as MyDatum).toEqual(newDatumLeft);

  const datumUp: MyDatum = { Up: { x: 100n, y: "3131" } };
  const newDatumUp = Data.from(Data.to(datumUp, MyDatum), MyDatum);
  expect(datumUp as MyDatum).toEqual(newDatumUp);
  expect(Data.to({ Up: { x: 100n, y: "3131" } }, MyDatum)).toEqual(
    Data.to({ Up: { y: "3131", x: 100n } }, MyDatum),
  );
});

it("Roundtrip data any", () => {
  /*
    - TypeScript:

    type MyDatum = Data

    - Aiken:

    type MyDatum = Data
  */
  const datum: Data = new Constr(0, []);
  const newDatum = Data.from(
    Data.to(datum, Data.Any() as unknown as Data),
    Data.Any() as unknown as Data,
  );
  expect(datum as Data).toEqual(newDatum);
});

it("Roundtrip data void", () => {
  /*
    - TypeScript:

    type MyDatum = undefined

    - Aiken:

    type MyDatum = Void
  */
  const MyDatum = {
    anyOf: [{ dataType: "constructor", index: 0, fields: [] }],
  } as unknown as MyDatum;
  type MyDatum = undefined;
  const datum: MyDatum = void 0;
  const newDatum = Data.from(Data.to(void 0, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Roundtrip data tuple", () => {
  /*
    - TypeScript:

    type MyDatum = [bigint, string]

    - Aiken:

    type MyDatum = (Int, ByteArray)
  */
  const MyDatumSchema = Data.Tuple([Data.Integer(), Data.Bytes()]);
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;
  const datum: MyDatum = [123n, "313131"];
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum).toEqual(newDatum);
});

it("Complex data structure", () => {
  /*
    - TypeScript:

    type MyDatum = "Down" | {
        Up: [{
            someVariable: bigint | null;
        }[]];
    }

    - Aiken:

    type MyDatum {
      Down
      Up(List<Item>)
    }

    type Item {
      someVariable: Option(Int)
    }
  */
  const MyDatumSchema = Data.Enum([
    Data.Object({
      Up: Data.Tuple([
        Data.Array(
          Data.Object({ someVariable: Data.Nullable(Data.Integer()) }),
        ),
        Data.Bytes({ maxLength: 2 }),
      ]),
    }),
    Data.Literal("Down"),
  ]);
  type MyDatum = Data.Static<typeof MyDatumSchema>;
  const MyDatum = MyDatumSchema as unknown as MyDatum;
  const datum: MyDatum = {
    Up: [
      [
        { someVariable: null },
        { someVariable: 123n },
        {
          someVariable: 9990324235325n,
        },
      ],
      "3131",
    ],
  };
  const newDatum = Data.from(Data.to(datum, MyDatum), MyDatum);
  expect(datum as MyDatum).toEqual(newDatum);
});

it("Apply params to script", () => {
  const script =
    "5907945907910100003233223232323232323232323232323322323232323222232325335332232333573466e1c005201401d01c375a00e6666ae68cdc39aab9d37540089000100c11931900c19ab9c0190180163333573466e1cd55cea80124000466442466002006004646464646464646464646464646666ae68cdc39aab9d500c480008cccccccccccc88888888888848cccccccccccc00403403002c02802402001c01801401000c008cd4054058d5d0a80619a80a80b1aba1500b33501501735742a014666aa032eb94060d5d0a804999aa80cbae501835742a01066a02a0406ae85401cccd54064085d69aba150063232323333573466e1cd55cea801240004664424660020060046464646666ae68cdc39aab9d5002480008cc8848cc00400c008cd40add69aba15002302c357426ae8940088c98c80b8cd5ce01781701609aab9e5001137540026ae854008c8c8c8cccd5cd19b8735573aa004900011991091980080180119a815bad35742a00460586ae84d5d1280111931901719ab9c02f02e02c135573ca00226ea8004d5d09aba2500223263202a33573805605405026aae7940044dd50009aba1500533501575c6ae854010ccd540640748004d5d0a801999aa80cbae200135742a004603e6ae84d5d1280111931901319ab9c027026024135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d5d1280089aba25001135744a00226ae8940044d55cf280089baa00135742a004601e6ae84d5d1280111931900c19ab9c01901801610171326320173357389210350543500017135573ca00226ea800448c88c008dd6000990009aa80b111999aab9f0012500a233500930043574200460066ae880080508c8c8cccd5cd19b8735573aa004900011991091980080180118061aba150023005357426ae8940088c98c8050cd5ce00a80a00909aab9e5001137540024646464646666ae68cdc39aab9d5004480008cccc888848cccc00401401000c008c8c8c8cccd5cd19b8735573aa0049000119910919800801801180a9aba1500233500f014357426ae8940088c98c8064cd5ce00d00c80b89aab9e5001137540026ae854010ccd54021d728039aba150033232323333573466e1d4005200423212223002004357426aae79400c8cccd5cd19b875002480088c84888c004010dd71aba135573ca00846666ae68cdc3a801a400042444006464c6403666ae7007006c06406005c4d55cea80089baa00135742a00466a016eb8d5d09aba2500223263201533573802c02a02626ae8940044d5d1280089aab9e500113754002266aa002eb9d6889119118011bab00132001355013223233335573e0044a010466a00e66442466002006004600c6aae754008c014d55cf280118021aba200301213574200222440042442446600200800624464646666ae68cdc3a800a40004642446004006600a6ae84d55cf280191999ab9a3370ea0049001109100091931900819ab9c01101000e00d135573aa00226ea80048c8c8cccd5cd19b875001480188c848888c010014c01cd5d09aab9e500323333573466e1d400920042321222230020053009357426aae7940108cccd5cd19b875003480088c848888c004014c01cd5d09aab9e500523333573466e1d40112000232122223003005375c6ae84d55cf280311931900819ab9c01101000e00d00c00b135573aa00226ea80048c8c8cccd5cd19b8735573aa004900011991091980080180118029aba15002375a6ae84d5d1280111931900619ab9c00d00c00a135573ca00226ea80048c8cccd5cd19b8735573aa002900011bae357426aae7940088c98c8028cd5ce00580500409baa001232323232323333573466e1d4005200c21222222200323333573466e1d4009200a21222222200423333573466e1d400d2008233221222222233001009008375c6ae854014dd69aba135744a00a46666ae68cdc3a8022400c4664424444444660040120106eb8d5d0a8039bae357426ae89401c8cccd5cd19b875005480108cc8848888888cc018024020c030d5d0a8049bae357426ae8940248cccd5cd19b875006480088c848888888c01c020c034d5d09aab9e500b23333573466e1d401d2000232122222223005008300e357426aae7940308c98c804ccd5ce00a00980880800780700680600589aab9d5004135573ca00626aae7940084d55cf280089baa0012323232323333573466e1d400520022333222122333001005004003375a6ae854010dd69aba15003375a6ae84d5d1280191999ab9a3370ea0049000119091180100198041aba135573ca00c464c6401866ae700340300280244d55cea80189aba25001135573ca00226ea80048c8c8cccd5cd19b875001480088c8488c00400cdd71aba135573ca00646666ae68cdc3a8012400046424460040066eb8d5d09aab9e500423263200933573801401200e00c26aae7540044dd500089119191999ab9a3370ea00290021091100091999ab9a3370ea00490011190911180180218031aba135573ca00846666ae68cdc3a801a400042444004464c6401466ae7002c02802001c0184d55cea80089baa0012323333573466e1d40052002200823333573466e1d40092000200823263200633573800e00c00800626aae74dd5000a4c240029210350543100122002122001112323001001223300330020020011";
  try {
    const mintingPolicy = {
      type: "PlutusV2",
      script: applyParamsToScript(
        script,
        [10n],
        Data.Tuple([Data.Integer()]) as unknown as [bigint],
      ),
    };
    expect(mintingPolicy).toBeTruthy();
  } catch (e) {
    expect(false).toBeTruthy();
  }
  try {
    const mintingPolicy = {
      type: "PlutusV2",
      script: applyParamsToScript(
        script,
        [10n, "3131"],
        Data.Tuple([Data.Integer()]) as unknown as unknown[],
      ),
    };
    expect(!mintingPolicy).toBeTruthy();
  } catch (e) {
    expect(true).toBeTruthy();
  }
  try {
    const mintingPolicy = {
      type: "PlutusV2",
      script: applyParamsToScript(script, [10n]),
    };
    expect(mintingPolicy).toBeTruthy();
  } catch (e) {
    expect(false).toBeTruthy();
  }
});