test.re

open Jest;
open Expect;
open TestUtils;
/* open Decco; /* Don't open these in order to validate ppx works without it */
open Belt.Result; */

[@decco] type s = string;
[@decco] type i = int;
[@decco] type i64 = int64;
[@decco] type i64Unsafe = [@decco.codec Decco.Codecs.int64Unsafe(Pervasives.__LOC__)] int64;
[@decco] type f = float;
[@decco] type b = bool;
[@decco] type u = unit;
[@decco] type t = (int, string);
[@decco] type a('a) = array('a);
[@decco] type l('a) = list('a);
[@decco] type o('a) = option('a);
[@decco] type r('v, 'e) = Belt.Result.t('v, 'e);
[@decco] type d('v) = Js.Dict.t('v);
[@decco] type simpleVar('a) = 'a;
[@decco] type j = Js.Json.t;
[@decco] type optionList = l(o(s));
[@decco] type dictInt = d(int);
[@decco] type variant = A | B(i) | C(i, s);
[@decco] type record = {
    hey: s,
    opt: option(int),
    o: o(i),
    [@decco.default 1.0] f: float,
    [@decco.key "other_key"] otherKey: string,
};

[@decco] type bigV = V(array(option(list(string))));
[@decco] type bigR = {
    bigV: bigV
};

[@decco] type falseable('a) = [@decco.codec Decco.Codecs.falseable] option('a);
[@decco] type magic = [@decco.codec Decco.Codecs.magic] int;

module type TestMod = {
    [@decco] type t;
    [@decco] type varType('a, 'b);

    let mkT : string => t;
    let mkVarType : 'a => 'b => varType('a, 'b);
};

module TestMod : TestMod = {
    [@decco] type t = string;
    [@decco] type varType('a, 'b) = ('a, 'b);

    let mkT = (s : string) : t => s;
    let mkVarType = (a, b) => (a, b);
};

[@decco] type dependentOnTestMod = TestMod.t;

module type EncOnly = {
    [@decco.encode] type t;
};
module EncOnly : EncOnly = {
    let t_decode = 1;
    [@decco.encode] type t = int;
    t_decode + 1; /** this won't typecheck if t_decode is generated  */
};

module type DecOnly = {
    [@decco.decode] type t;
};
module DecOnly : DecOnly = {
    let t_encode = 1;
    [@decco.decode] type t = int;
    t_encode + 1;
};

describe("string", () => {
    test("s_encode", () => {
        let s = "yeah";
        let json = s_encode(s);

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONString(s2) => expect(s2) |> toBe(s)
            | _ => failwith("Not a JSONString")
        };
    });

    describe("s_decode", () => {
        testGoodDecode("good", s_decode, Js.Json.string("heyy"), "heyy");

        testBadDecode("bad", s_decode, Js.Json.number(12.), {
            path: "File \"test.re\", line 7, characters 18 - 24",
            message: "Not a string",
            value: Js.Json.number(12.)
        });
    });
});

describe("int", () => {
    test("i_encode", () => {
        let i = 24;
        let json = i_encode(i);

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONNumber(i2) => expect(i2) |> toBe(float_of_int(i))
            | _ => failwith("Not a JSONNumber")
        };
    });

    describe("i_decode", () => {
        testGoodDecode("good", i_decode, Js.Json.number(414.), 414);

        describe("bad", () => {
            let json = Js.Json.string("12.");
            testBadDecode("not a number", i_decode, json, {
                path: "File \"test.re\", line 8, characters 18 - 21",
                message: "Not a number",
                value: json
            });

            let json = Js.Json.number(5.1);
            testBadDecode("not an int", i_decode, json, {
                path: "File \"test.re\", line 8, characters 18 - 21",
                message: "Not an integer",
                value: json
            });
        });
    });
});

describe("int64", () => {
    describe("safe", () => {
        let asInt64 = 0x0FFFFFFFFFFFFFFFL;
        let asFloat = 1.2882297539194265e-231;
        test("i64_encode", () => {
            let json = i64_encode(asInt64);

            [@ocaml.warning "-4"]
            switch (Js.Json.classify(json)) {
                | Js.Json.JSONNumber(f) => expect(f) |> toBe(asFloat)
                | _ => failwith("Not a JSONNumber")
            };
        });

        describe("i64_decode", () => {
            testGoodDecode("good", i64_decode, Js.Json.number(asFloat), asInt64);

            let json = Js.Json.string("12.");
            testBadDecode("bad", i64_decode, json, {
                path: "File \"test.re\", line 9, characters 20 - 25",
                message: "Not a number",
                value: json
            });
        });
    });

    describe("unsafe", () => {
        let v = 11806311374010L;

        testEncode("i64Unsafe_encode", v, i64Unsafe_encode, "11806311374010");

        describe("i64Unsafe_decode", () => {
            let json = Js.Json.number(Int64.to_float(v));
            testGoodDecode("good", i64Unsafe_decode, json, v);

            let json = Js.Json.string("12.");
            testBadDecode("bad", i64Unsafe_decode, json, {
                path: "File \"test.re\", line 10, characters 65-83",
                message: "Not a number",
                value: json
            });
        });
    });
});

describe("float", () => {
    test("f_encode", () => {
        let v = 1.;
        let json = f_encode(v);

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONNumber(v2) => expect(v2) |> toBe(v)
            | _ => failwith("Not a JSONNumber")
        };
    });

    describe("f_decode", () => {
        testGoodDecode("good", f_decode, Js.Json.number(12.), 12.);

        testBadDecode("bad", f_decode, Js.Json.string("12."), {
            path: "File \"test.re\", line 11, characters 18 - 23",
            message: "Not a number",
            value: Js.Json.string("12.")
        });
    });
});

describe("bool", () => {
    test("b_encode", () =>
        b_encode(true)
            |> Js.Json.classify
            |> expect
            |> toBe(Js.Json.JSONTrue)
    );

    describe("b_decode", () => {
        testGoodDecode("good", b_decode, Js.Json.boolean(false), false);

        testBadDecode("bad", b_decode, Js.Json.string("12."), {
            path: "File \"test.re\", line 12, characters 18 - 22",
            message: "Not a boolean",
            value: Js.Json.string("12.")
        });
    });
});

describe("unit", () => {
    test("u_encode", () => {
        let json = u_encode();

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONNumber(n) => expect(n) |> toBe(0.)
            | _ => failwith("Not a JSONNumber")
        };
    });

    testGoodDecode("u_decode", u_decode, Js.Json.number(0.), ());
});

describe("tuple", () => {
    testEncode("t_encode", (10, "ten"), t_encode, {|[10,"ten"]|});

    describe("t_decode", () => {
        let json = {|[10,"ten"]|} |> Js.Json.parseExn;
        testGoodDecode("good", t_decode, json, (10, "ten"));

        describe("bad", () => {
            let json = Js.Json.number(12.);
            testBadDecode("non-array", t_decode, json, {
                path: "File \"test.re\", line 14, characters 18 - 31",
                message: "Not a tuple",
                value: json
            });

            let json = {|[10]|} |> Js.Json.parseExn;
            testBadDecode("non-string", t_decode, json, {
                path: "File \"test.re\", line 14, characters 18 - 31",
                message: "Incorrect cardinality",
                value: json
            });

            let json = {|[10,10]|} |> Js.Json.parseExn;
            testBadDecode("non-string", t_decode, json, {
                path: "[1]File \"test.re\", line 14, characters 24 - 30",
                message: "Not a string",
                value: Js.Json.number(10.)
            });
        });
    });
});

describe("array", () => {
    testEncode("a_encode", [|"10", "20"|], a_encode(s_encode), {|["10","20"]|});

    describe("a_decode", () => {
        let json = [|"10","20"|]
            |> Js.Array.map(Js.Json.string)
            |> Js.Json.array;
        testGoodDecode("good", a_decode(s_decode),json, [|"10","20"|]);

        describe("bad", () => {
            testBadDecode("non-array", a_decode(s_decode), Js.Json.number(12.), {
                message: "Not an array",
                path: "File \"test.re\", line 15, characters 22 - 27",
                value: Js.Json.number(12.),
            });

            testBadDecode("failed elem", a_decode(s_decode),
                Js.Json.array([|
                    Js.Json.string("str"), Js.Json.number(123.)
                |]), {
                    message: "Not a string",
                    path: "[1]File \"test.re\", line 7, characters 18 - 24",
                    value: Js.Json.number(123.),
                }
            );
        });
    });
});

describe("list", () => {
    testEncode("l_encode", ["10", "20"], l_encode(s_encode), {|["10","20"]|});

    describe("l_decode", () => {
        let json = [|"10", "20"|]
            |> Js.Array.map(Js.Json.string)
            |> Js.Json.array;
        testGoodDecode("good", l_decode(s_decode), json, ["10", "20"]);

        describe("bad", () => {
            testBadDecode("non-list", l_decode(s_decode), Js.Json.number(12.), {
                message: "Not an array",
                path: "File \"test.re\", line 16, characters 22 - 26",
                value: Js.Json.number(12.),
            });

            testBadDecode("failed elem", l_decode(s_decode),
                Js.Json.array([|
                    Js.Json.string("str"), Js.Json.number(123.)
                |]), {
                    message: "Not a string",
                    path: "[1]File \"test.re\", line 7, characters 18 - 24",
                    value: Js.Json.number(123.),
                }
            );
        });
    });
});

describe("option", () => {
    describe("o_encode", () => {
        test("none", () =>
            o_encode(s_encode, None)
            |> Js.Json.classify
            |> expect
            |> toBe(Js.Json.JSONNull)
        );

        test("some", () => {
            let v = Some("yeah");
            let json = o_encode(s_encode, v);

            [@ocaml.warning "-4"]
            switch (Js.Json.classify(json)) {
                | Js.Json.JSONString(v2) => expect(v2) |> toBe("yeah")
                | _ => failwith("Not a JSONString")
            };
        });
    });

    describe("o_decode", () => {
        describe("good", () => {
            testGoodDecode("null", o_decode(s_decode), Js.Json.null, None);
            testGoodDecode("non-null", o_decode(s_decode), Js.Json.string("heyy"), Some("heyy"));
        });

        testBadDecode("bad", o_decode(s_decode), Js.Json.number(12.), {
            path: "File \"test.re\", line 7, characters 18 - 24",
            message: "Not a string",
            value: Js.Json.number(12.)
        });
    });
});

describe("result", () => {
    let enc = r_encode(s_encode, i_encode);
    let dec = r_decode(s_decode, i_decode);

    describe("r_encode", () => {
        testEncode("ok", Belt.Result.Ok("oaky"), enc, {|["Ok","oaky"]|});
        testEncode("error", Belt.Result.Error(404), enc, {|["Error",404]|});
    });

    describe("r_decode", () => {
        describe("good", () => {
            let json = "[\"Ok\",\"yess\"]" |> Js.Json.parseExn;
            testGoodDecode("ok", dec, json, Ok("yess"));

            let json = "[\"Error\",911]" |> Js.Json.parseExn;
            testGoodDecode("error", dec, json, Error(911));
        });

        describe("bad", () => {
            let json = Js.Json.number(12.);
            testBadDecode("not an array", dec, json, {
                path: "File \"test.re\", line 18, characters 26 - 39",
                message: "Not an array",
                value: json
            });

            let json = "[]" |> Js.Json.parseExn;
            testBadDecode("length != 2", dec, json, {
                path: "File \"test.re\", line 18, characters 26 - 39",
                message: "Expected exactly 2 values in array",
                value: json
            });

            let json = "[0,1]" |> Js.Json.parseExn;
            testBadDecode("constructor not a string", dec, json, {
                path: "File \"test.re\", line 18, characters 26 - 39",
                message: "Not a string",
                value: Js.Json.number(0.)
            });

            let json = "[\"bad\",1]" |> Js.Json.parseExn;
            testBadDecode("unrecognized constructor", dec, json, {
                path: "File \"test.re\", line 18, characters 26 - 39",
                message: "Expected either \"Ok\" or \"Error\"",
                value: Js.Json.string("bad")
            });

            let json = "[\"Ok\",1]" |> Js.Json.parseExn;
            testBadDecode("bad Ok decode", dec, json, {
                path: "File \"test.re\", line 7, characters 18 - 24",
                message: "Not a string",
                value: Js.Json.number(1.)
            });

            let json = "[\"Error\",null]" |> Js.Json.parseExn;
            testBadDecode("bad Error decode", dec, json, {
                path: "File \"test.re\", line 8, characters 18 - 21",
                message: "Not a number",
                value: Js.Json.null
            });
        });
    });
});

describe("falseable", () => {
    describe("falseable_encode", () => {
        test("none", () =>
            falseable_encode(s_encode, None)
                |> Js.Json.classify
                |> expect
                |> toBe(Js.Json.JSONFalse)
        );

        test("some", () => {
            let v = Some("yeah");
            let json = falseable_encode(s_encode, v);

            [@ocaml.warning "-4"]
            switch (Js.Json.classify(json)) {
                | Js.Json.JSONString(v2) => expect(v2) |> toBe("yeah")
                | _ => failwith("Not a JSONString")
            };
        });
    });

    describe("falseable_decode", () => {
        describe("good", () => {
            testGoodDecode("false", falseable_decode(s_decode), Js.Json.boolean(false), None);
            testGoodDecode("non-false", falseable_decode(s_decode), Js.Json.string("heyy"), Some("heyy"));
        });

        testBadDecode("bad", falseable_decode(s_decode), Js.Json.null, {
            path: "File \"test.re\", line 7, characters 18 - 24",
            message: "Not a string",
            value: Js.Json.null
        });
    });
});

describe("magic", () => {
    let i = 24;
    testGoodDecode("", magic_decode, magic_encode(i), i);
});

describe("simpleVar", () => {
    test("simpleVar_encode", () => {
        let v : simpleVar(string) = "yeah";
        let json = simpleVar_encode(s_encode, v);

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONString(v2) => expect(v2) |> toBe("yeah")
            | _ => failwith("Not a JSONString")
        };
    });

    describe("simpleVar_decode", () => {
        testGoodDecode("good", simpleVar_decode(s_decode), Js.Json.string("yeah"), "yeah");

        testBadDecode("bad", simpleVar_decode(s_decode), Js.Json.number(12.), {
            path: "File \"test.re\", line 7, characters 18 - 24",
            message: "Not a string",
            value: Js.Json.number(12.)
        });
    });
});

describe("optionList", () => {
    testEncode(
        "optionList_encode", [ Some("a"), None, Some("b") ],
        optionList_encode, {|["a",null,"b"]|}
    );

    describe("optionList_decode", () => {
        let json = {|["a",null,"b"]|} |> Js.Json.parseExn;
        testGoodDecode("good", optionList_decode, json, [Some("a"), None, Some("b")]);

        describe("bad", () => {
            testBadDecode("non-array", optionList_decode, Js.Json.number(12.), {
                path: "File \"test.re\", line 16, characters 22 - 26",
                message: "Not an array",
                value: Js.Json.number(12.)
            });

            let json = {|[null, 3]|} |> Js.Json.parseExn;
            testBadDecode("non-string", optionList_decode, json, {
                path: "[1]File \"test.re\", line 7, characters 18 - 24",
                message: "Not a string",
                value: Js.Json.number(3.)
            });
        });
    });
});

describe("dictInt", () => {
    testEncode(
        "dictInt_encode", Js.Dict.fromArray([|("foo", 1), ("bar", 2)|]),
        dictInt_encode, {|{"foo":1,"bar":2}|}
    );

    describe("dictInt_decode", () => {
        let json = {|{"foo":1,"bar":2}|} |> Js.Json.parseExn;
        testGoodDecode("good", dictInt_decode, json, Js.Dict.fromArray([|("foo", 1), ("bar", 2)|]));

        describe("bad", () => {
            let badDict = {|{"foo":1,"bar":"baz"}|} |> Js.Json.parseExn;
            testBadDecode("mixed types", dictInt_decode, badDict, {
                path: ".barFile \"test.re\", line 23, characters 26 - 29",
                message: "Not a number",
                value: Js.Json.string("baz")
            });
        });
    });
});

describe("Js.Json.t", () => {
    test("j_encode", () => {
        let v = Js.Json.string("jay");
        let json = j_encode(v);
        expect(json)
            |> toEqual(v);
    });

    let json = Js.Json.number(12.);
    testGoodDecode("j_decode", j_decode, json, json);
});

describe("variant", () => {
    describe("variant_encode", () => {
        testEncode("A", A, variant_encode, {|["A"]|});
        testEncode("B", B(5), variant_encode, {|["B",5]|});
        testEncode("C", C(7, "8"), variant_encode, {|["C",7,"8"]|});
    });

    describe("variant_decode", () => {
        describe("good", () => {
            let json = {|["A"]|} |> Js.Json.parseExn;
            testGoodDecode("A", variant_decode, json, A);
            let json = {|["B",5]|} |> Js.Json.parseExn;
            testGoodDecode("B", variant_decode, json, B(5));
            let json = {|["C",7,"8"]|} |> Js.Json.parseExn;
            testGoodDecode("C", variant_decode, json, C(7, "8"));
        });

        describe("bad", () => {
            testBadDecode("non-variant", variant_decode, Js.Json.number(12.), {
                path: "File \"test.re\", line 24, characters 9 - 42",
                message: "Not a variant",
                value: Js.Json.number(12.)
            });

            let json = {|["D"]|} |> Js.Json.parseExn;
            testBadDecode("bad constructor", variant_decode, json, {
                path: "File \"test.re\", line 24, characters 9 - 42",
                message: "Invalid variant constructor",
                value: Js.Json.string("D")
            });

            let json = {|["A",1]|} |> Js.Json.parseExn;
            testBadDecode("too many arguments", variant_decode, json, {
                path: "File \"test.re\", line 24, characters 24 - 25",
                message: "Invalid number of arguments to variant constructor",
                value: json
            });

            let json = {|[]|} |> Js.Json.parseExn;
            testBadDecode("no arguments", variant_decode, json, {
                path: "File \"test.re\", line 24, characters 9 - 42",
                message: "Expected variant, found empty array",
                value: json
            });

            let json = {|["B"]|} |> Js.Json.parseExn;
            testBadDecode("not enough arguments", variant_decode, json, {
                path: "File \"test.re\", line 24, characters 28 - 32",
                message: "Invalid number of arguments to variant constructor",
                value: json
            });

            let json = {|["B","oh"]|} |> Js.Json.parseExn;
            testBadDecode("invalid argument", variant_decode, json, {
                path: "[0]File \"test.re\", line 8, characters 18 - 21",
                message: "Not a number",
                value: Js.Json.string("oh")
            });
        });
    });
});

describe("record", () => {
    testEncode(
        "record_encode",
        { hey: "hey", opt: Some(100), o: Some(99), f: 1.5, otherKey: "!" },
        record_encode, {|{"hey":"hey","opt":100,"o":99,"f":1.5,"other_key":"!"}|}
    );

    describe("record_decode", () => {
        describe("good", () => {
            let json = {|{"hey":"hey","opt":100,"o":99,"f":1.5,"other_key":"!"}|} |> Js.Json.parseExn;
            testGoodDecode("base case", record_decode, json, { hey: "hey", opt: Some(100), o: Some(99), f: 1.5, otherKey: "!" });

            let json = {|{"hey":"hey","other_key":"!"}|} |> Js.Json.parseExn;
            testGoodDecode("missing optional", record_decode, json, { hey: "hey", opt: None, o: None, f: 1.0, otherKey: "!" });
        });

        describe("bad", () => {
            testBadDecode("non-object", record_decode, Js.Json.number(12.), {
                path: "File \"test.re\", lines 25 - 31, characters 9 - 1",
                message: "Not an object",
                value: Js.Json.number(12.)
            });

            let json = {|{"ya":100}|} |> Js.Json.parseExn;
            testBadDecode("missing field", record_decode, json, {
                path: ".hey File \"test.re\", line 7, characters 18 - 24",
                message: "Not a string",
                value: Js.Json.null
            });

            let json = {|{"hey":9,"ya":10}|} |> Js.Json.parseExn;
            testBadDecode("invalid field type", record_decode, json, {
                path: ".hey File \"test.re\", line 7, characters 18 - 24",
                message: "Not a string",
                value: Js.Json.number(9.)
            });
        });
    });
});

describe("Ldot", () => {
    test("dependentOnTestMod_encode", () => {
        let s = TestMod.mkT("yeah");
        let json = dependentOnTestMod_encode(s);

        [@ocaml.warning "-4"]
        switch (Js.Json.classify(json)) {
            | Js.Json.JSONString(s2) => expect(TestMod.mkT(s2)) |> toBe(s)
            | _ => failwith("Not a JSONString")
        };
    });

    describe("dependentOnTestMod_decode", () => {
        testGoodDecode("good", dependentOnTestMod_decode, Js.Json.string("heyy"), TestMod.mkT("heyy"));

        testBadDecode("bad", dependentOnTestMod_decode, Js.Json.number(12.), {
            path: "File \"test.re\", line 50, characters 22 - 28",
            message: "Not a string",
            value: Js.Json.number(12.)
        });
    });
});

describe("TestMod.varType", () => {
    testEncode(
        "varType_encode", TestMod.mkVarType(5, "yay"),
        TestMod.varType_encode(Decco.intToJson, Decco.stringToJson), {|[5,"yay"]|}
    );

    let json = {|[5,"yay"]|} |> Js.Json.parseExn;
    testGoodDecode("varType_decode",
        TestMod.varType_decode(Decco.intFromJson(Pervasives.__LOC__), Decco.stringFromJson(Pervasives.__LOC__)),
        json, TestMod.mkVarType(5, "yay")
    );
});

describe("long path", () => {
    test("good", () => {
        let v = { bigV: V([|Some(["yes"])|]) };
        let decoded = bigR_decode(bigR_encode(v));
        switch decoded {
            | Belt.Result.Error(_) => failwith("Decode failure")
            | Belt.Result.Ok(actual) => expect(actual) |> toEqual(v)
        };
    });

    describe("bad", () => {
        let json = {|{"bigV":["V",[null,["","",1]]]}|} |> Js.Json.parseExn;
        testBadDecode("bad", bigR_decode, json, {
            path: ".bigV [0][1][2]File \"test.re\", line 33, characters 41 - 47",
            message: "Not a string",
            value: Js.Json.number(1.)
        });
    });
});