# ruff: noqa: PLC0415
from collections.abc import Callable, Set
from datetime import date, datetime, timezone
from enum import Enum, IntEnum, unique
from json import dumps as json_dumps
from json import loads as json_loads
from platform import python_implementation
from typing import Any, Dict, Final, List, Literal, NamedTuple, NewType, Union

import pytest
from attrs import define, fields
from bson import CodecOptions, ObjectId
from hypothesis import given, settings
from hypothesis.strategies import (
    DrawFn,
    binary,
    booleans,
    builds,
    characters,
    composite,
    dates,
    datetimes,
    dictionaries,
    floats,
    frozensets,
    integers,
    just,
    lists,
    one_of,
    sampled_from,
    sets,
    text,
)

from cattrs import Converter
from cattrs._compat import (
    Counter,
    FrozenSet,
    Mapping,
    MutableMapping,
    MutableSequence,
    MutableSet,
    Sequence,
    TupleSubscriptable,
)
from cattrs.fns import identity
from cattrs.preconf.bson import make_converter as bson_make_converter
from cattrs.preconf.cbor2 import make_converter as cbor2_make_converter
from cattrs.preconf.json import make_converter as json_make_converter
from cattrs.preconf.msgpack import make_converter as msgpack_make_converter
from cattrs.preconf.pyyaml import make_converter as pyyaml_make_converter
from cattrs.preconf.tomlkit import make_converter as tomlkit_make_converter
from cattrs.preconf.ujson import make_converter as ujson_make_converter

NO_MSGSPEC: Final = python_implementation() == "PyPy"
NO_ORJSON: Final = python_implementation() == "PyPy"


@define
class A:
    a: int


@define
class B:
    b: str


class C(NamedTuple):
    c: float


@define
class Everything:
    @unique
    class AnIntEnum(IntEnum):
        A = 1

    @unique
    class AStringEnum(str, Enum):
        A = "a"

    class ABareEnum(Enum):
        B = "b"

    string: str
    bytes: bytes
    an_int: int
    a_float: float
    a_dict: Dict[str, int]
    a_bare_dict: dict
    a_list: List[int]
    a_homogenous_tuple: TupleSubscriptable[int, ...]
    a_hetero_tuple: TupleSubscriptable[str, int, float]
    a_counter: Counter[str]
    a_mapping: Mapping[int, float]
    a_mutable_mapping: MutableMapping[float, str]
    a_sequence: Sequence[float]
    a_mutable_sequence: MutableSequence[str]
    a_set: Set[float]
    a_mutable_set: MutableSet[int]
    a_frozenset: FrozenSet[str]
    an_int_enum: AnIntEnum
    a_str_enum: AStringEnum
    a_bare_enum: ABareEnum
    a_datetime: datetime
    a_date: date
    a_string_enum_dict: Dict[AStringEnum, int]
    a_bytes_dict: Dict[bytes, bytes]
    native_union: Union[int, float, str]
    native_union_with_spillover: Union[int, str, Set[str]]
    native_union_with_union_spillover: Union[int, str, A, B]
    a_namedtuple: C
    a_literal: Literal[1, AStringEnum.A]
    a_literal_with_bare: Literal[1, ABareEnum.B]


@composite
def everythings(
    draw: DrawFn,
    min_int=None,
    max_int=None,
    allow_inf=True,
    allow_null_bytes_in_keys=True,
    allow_control_characters_in_values=True,
    min_key_length=0,
    allow_datetime_microseconds=True,
    key_blacklist_characters=[],
):
    key_text = text(
        characters(
            blacklist_categories=("Cs",) if allow_null_bytes_in_keys else ("Cs", "Cc"),
            blacklist_characters=key_blacklist_characters,
        ),
        min_size=min_key_length,
    )
    strings = text(
        characters(
            blacklist_categories=(
                ("Cs",) if allow_control_characters_in_values else ("Cs", "Cc")
            )
        )
    )
    dts = datetimes(
        min_value=datetime(1970, 1, 1),
        max_value=datetime(2038, 1, 1),
        timezones=just(timezone.utc),
    )
    if not allow_datetime_microseconds:
        dts = dts.map(
            lambda d: datetime(
                d.year, d.month, d.day, d.hour, d.minute, d.second, tzinfo=d.tzinfo
            )
        )
    fs = floats(allow_nan=False, allow_infinity=allow_inf)
    ints = integers(min_value=min_int, max_value=max_int)

    return Everything(
        string=draw(strings),
        bytes=draw(binary()),
        an_int=draw(ints),
        a_float=draw(fs),
        a_dict=draw(dictionaries(key_text, ints)),
        a_bare_dict=draw(dictionaries(key_text, strings)),
        a_list=draw(lists(ints)),
        a_homogenous_tuple=draw(lists(ints).map(tuple)),
        a_hetero_tuple=(draw(strings), draw(ints), draw(fs)),
        a_counter=Counter(draw(dictionaries(key_text, ints))),
        a_mapping=draw(dictionaries(ints, fs)),
        a_mutable_mapping=draw(dictionaries(fs, strings)),
        a_sequence=draw(lists(fs).map(tuple)),
        a_mutable_sequence=draw(lists(strings)),
        a_set=draw(sets(fs)),
        a_mutable_set=draw(sets(ints)),
        a_frozenset=draw(frozensets(strings)),
        an_int_enum=Everything.AnIntEnum.A,
        a_str_enum=Everything.AStringEnum.A,
        a_bare_enum=Everything.ABareEnum.B,
        a_datetime=draw(dts),
        a_date=draw(dates(min_value=date(1970, 1, 1), max_value=date(2038, 1, 1))),
        a_string_enum_dict=draw(dictionaries(just(Everything.AStringEnum.A), ints)),
        a_bytes_dict=draw(dictionaries(binary(min_size=min_key_length), binary())),
        native_union=draw(one_of(ints, fs, strings)),
        native_union_with_spillover=draw(one_of(ints, strings, sets(strings))),
        native_union_with_union_spillover=draw(
            one_of(ints, strings, ints.map(A), strings.map(B))
        ),
        a_namedtuple=draw(fs.map(C)),
        a_literal=draw(one_of(just(1), just(Everything.AStringEnum.A))),
        a_literal_with_bare=draw(one_of(just(1), just(Everything.ABareEnum.B))),
    )


NewStr = NewType("NewStr", str)
NewInt = NewType("NewInt", int)
NewBool = NewType("NewBool", bool)


@composite
def native_unions(
    draw: DrawFn,
    include_strings=True,
    include_floats=True,
    include_nones=True,
    include_bytes=True,
    include_datetimes=True,
    include_objectids=False,
    include_literals=True,
) -> tuple[Any, Any]:
    types = [bool, int]
    strats = {bool: booleans(), int: integers()}
    if include_strings:
        types.append(str)
        strats[str] = text()
    if include_floats:
        types.append(float)
        strats[float] = floats(allow_nan=False)
    if include_nones:
        types.append(None)
        strats[None] = just(None)
    if include_bytes:
        types.append(bytes)
        strats[bytes] = binary()
    if include_datetimes:
        types.append(datetime)
        strats[datetime] = datetimes(
            min_value=datetime(1970, 1, 1), max_value=datetime(2038, 1, 1)
        )
    if include_objectids:
        types.append(ObjectId)
        strats[ObjectId] = builds(ObjectId)

    chosen_types = draw(sets(sampled_from(types), min_size=2))

    if include_literals:
        from typing import Literal

        # We can replace some of the types with 1+ literal types.
        if str in chosen_types:
            strat = draw(sampled_from(["leave", "literal", "newtype"]))
            if strat == "literal":
                chosen_types.remove(str)
                vals = draw(sets(text(), min_size=1, max_size=2))
                for lit in vals:
                    t = Literal[lit]
                    chosen_types.add(t)
                    strats[t] = just(lit)
            elif strat == "newtype":
                chosen_types.remove(str)
                chosen_types.add(NewStr)
                strats[NewStr] = strats.pop(str)
        if bool in chosen_types:
            strat = draw(sampled_from(["leave", "literal", "newtype"]))
            if strat == "literal":
                chosen_types.remove(bool)
                val = draw(booleans())
                t = Literal[val]
                chosen_types.add(t)
                strats[t] = just(val)
            elif strat == "newtype":
                chosen_types.remove(bool)
                chosen_types.add(NewBool)
                strats[NewBool] = strats.pop(bool)
        if int in chosen_types:
            strat = draw(sampled_from(["leave", "literal", "newtype"]))
            if strat == "literal":
                chosen_types.remove(int)
                vals = draw(sets(integers(), min_size=1, max_size=2))
                for val in vals:
                    t = Literal[val]
                    chosen_types.add(t)
                    strats[t] = just(val)
            elif strat == "newtype":
                # NewTypes instead.
                chosen_types.remove(int)
                chosen_types.add(NewInt)
                strats[NewInt] = strats.pop(int)

    return Union[tuple(chosen_types)], draw(one_of(*[strats[t] for t in chosen_types]))


@given(everythings())
def test_stdlib_json(everything: Everything):
    converter = json_make_converter()
    assert (
        converter.structure(
            json_loads(json_dumps(converter.unstructure(everything))), Everything
        )
        == everything
    )


@given(everythings())
def test_stdlib_json_converter(everything: Everything):
    converter = json_make_converter()
    assert converter.loads(converter.dumps(everything), Everything) == everything


@given(everythings())
def test_stdlib_json_converter_unstruct_collection_overrides(everything: Everything):
    converter = json_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(
    union_and_val=native_unions(include_bytes=False, include_datetimes=False),
    detailed_validation=...,
)
@settings(max_examples=1000)
def test_stdlib_json_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = json_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


@given(
    union_and_val=native_unions(include_strings=False, include_bytes=False),
    detailed_validation=...,
)
def test_stdlib_json_unions_with_spillover(
    union_and_val: tuple, detailed_validation: bool
):
    """Native union passthrough works and can handle spillover.

    The stdlib json converter cannot handle datetimes natively.
    """
    converter = json_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(converter.unstructure(val), type) == val


def test_stdlib_json_native_enums():
    """Bare, string and int enums are handled correctly."""
    converter = json_make_converter()
    assert (
        json_loads(converter.dumps(Everything.AnIntEnum.A))
        == Everything.AnIntEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.AStringEnum.A))
        == Everything.AStringEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.ABareEnum.B))
        == Everything.ABareEnum.B.value
    )


def test_stdlib_json_efficient_enum():
    """`str` and `int` enums are handled efficiently."""
    converter = json_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal) == identity


@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    )
)
def test_ujson(everything: Everything):
    from ujson import dumps as ujson_dumps
    from ujson import loads as ujson_loads

    converter = ujson_make_converter()
    raw = ujson_dumps(converter.unstructure(everything))
    assert converter.structure(ujson_loads(raw), Everything) == everything


@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    )
)
def test_ujson_converter(everything: Everything):
    converter = ujson_make_converter()
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything) == everything


@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    )
)
def test_ujson_converter_unstruct_collection_overrides(everything: Everything):
    converter = ujson_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(
    union_and_val=native_unions(include_bytes=False, include_datetimes=False),
    detailed_validation=...,
)
def test_ujson_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = ujson_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


def test_ujson_native_enums():
    """Bare, string and int enums are handled correctly."""
    converter = ujson_make_converter()
    assert (
        json_loads(converter.dumps(Everything.AnIntEnum.A))
        == Everything.AnIntEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.AStringEnum.A))
        == Everything.AStringEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.ABareEnum.B))
        == Everything.ABareEnum.B.value
    )


def test_ujson_efficient_enum():
    """Bare, `str` and `int` enums are handled efficiently."""
    converter = ujson_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    ),
    booleans(),
)
def test_orjson(everything: Everything, detailed_validation: bool):
    from orjson import dumps as orjson_dumps
    from orjson import loads as orjson_loads

    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter(detailed_validation=detailed_validation)
    raw = orjson_dumps(converter.unstructure(everything))
    assert converter.structure(orjson_loads(raw), Everything) == everything


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    ),
    booleans(),
)
def test_orjson_converter(everything: Everything, detailed_validation: bool):
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter(detailed_validation=detailed_validation)
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything) == everything


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
@given(
    everythings(
        min_int=-9223372036854775808, max_int=9223372036854775807, allow_inf=False
    )
)
def test_orjson_converter_unstruct_collection_overrides(everything: Everything):
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
@given(
    union_and_val=native_unions(include_bytes=False, include_datetimes=False),
    detailed_validation=...,
)
def test_orjson_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
def test_orjson_native_enums():
    """Bare, string and int enums are handled correctly."""
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter()

    assert (
        json_loads(converter.dumps(Everything.AnIntEnum.A))
        == Everything.AnIntEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.AStringEnum.A))
        == Everything.AStringEnum.A.value
    )
    assert (
        json_loads(converter.dumps(Everything.ABareEnum.B))
        == Everything.ABareEnum.B.value
    )


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
def test_orjson_efficient_enum():
    """Bare, `str` and `int` enums are handled efficiently."""
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    converter = orjson_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(Everything.ABareEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity
    assert (
        converter.get_unstructure_hook(fields(Everything).a_literal_with_bare.type)
        == identity
    )


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_msgpack(everything: Everything):
    from msgpack import dumps as msgpack_dumps
    from msgpack import loads as msgpack_loads

    converter = msgpack_make_converter()
    raw = msgpack_dumps(converter.unstructure(everything))
    assert (
        converter.structure(msgpack_loads(raw, strict_map_key=False), Everything)
        == everything
    )


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_msgpack_converter(everything: Everything):
    converter = msgpack_make_converter()
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything, strict_map_key=False) == everything


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_msgpack_converter_unstruct_collection_overrides(everything: Everything):
    converter = msgpack_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(union_and_val=native_unions(include_datetimes=False), detailed_validation=...)
def test_msgpack_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = msgpack_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


def test_msgpack_native_enums():
    """Bare, string and int enums are handled correctly."""

    converter = msgpack_make_converter()

    assert converter.dumps(Everything.AnIntEnum.A) == converter.dumps(
        Everything.AnIntEnum.A.value
    )
    assert converter.dumps(Everything.AStringEnum.A) == converter.dumps(
        Everything.AStringEnum.A.value
    )
    assert converter.dumps(Everything.ABareEnum.B) == converter.dumps(
        Everything.ABareEnum.B.value
    )


def test_msgpack_efficient_enum():
    """`str` and `int` enums are handled efficiently."""
    converter = msgpack_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity


@given(
    everythings(
        min_int=-9223372036854775808,
        max_int=9223372036854775807,
        allow_null_bytes_in_keys=False,
        allow_datetime_microseconds=False,
    ),
    booleans(),
)
def test_bson(everything: Everything, detailed_validation: bool):
    from bson import decode as bson_loads
    from bson import encode as bson_dumps

    converter = bson_make_converter(detailed_validation=detailed_validation)
    raw = bson_dumps(
        converter.unstructure(everything), codec_options=CodecOptions(tz_aware=True)
    )
    assert (
        converter.structure(
            bson_loads(raw, codec_options=CodecOptions(tz_aware=True)), Everything
        )
        == everything
    )


@given(
    everythings(
        min_int=-9223372036854775808,
        max_int=9223372036854775807,
        allow_null_bytes_in_keys=False,
        allow_datetime_microseconds=False,
    ),
    booleans(),
)
def test_bson_converter(everything: Everything, detailed_validation: bool):
    converter = bson_make_converter(detailed_validation=detailed_validation)
    raw = converter.dumps(everything, codec_options=CodecOptions(tz_aware=True))
    assert (
        converter.loads(raw, Everything, codec_options=CodecOptions(tz_aware=True))
        == everything
    )


@given(
    everythings(
        min_int=-9223372036854775808,
        max_int=9223372036854775807,
        allow_null_bytes_in_keys=False,
        allow_datetime_microseconds=False,
    )
)
def test_bson_converter_unstruct_collection_overrides(everything: Everything):
    converter = bson_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(union_and_val=native_unions(include_objectids=True), detailed_validation=...)
def test_bson_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = bson_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


def test_bson_objectid():
    """BSON ObjectIds are supported by default."""
    converter = bson_make_converter()
    o = ObjectId()
    assert o == converter.structure(str(o), ObjectId)
    assert o == converter.structure(o, ObjectId)


def test_bson_native_enums():
    """Bare, string and int enums are handled correctly."""

    converter = bson_make_converter()

    assert converter.dumps({"a": Everything.AnIntEnum.A}) == converter.dumps(
        {"a": Everything.AnIntEnum.A.value}
    )
    assert converter.dumps({"a": Everything.AStringEnum.A}) == converter.dumps(
        {"a": Everything.AStringEnum.A.value}
    )
    assert converter.dumps({"a": Everything.ABareEnum.B}) == converter.dumps(
        {"a": Everything.ABareEnum.B.value}
    )


def test_bson_efficient_enum():
    """`str` and `int` enums are handled efficiently."""
    converter = bson_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity


@given(
    everythings(
        min_key_length=1,
        allow_null_bytes_in_keys=False,
        key_blacklist_characters=['"', "\\"],
        allow_control_characters_in_values=False,
    ),
    booleans(),
)
def test_tomlkit(everything: Everything, detailed_validation: bool):
    from tomlkit import dumps as tomlkit_dumps
    from tomlkit import loads as tomlkit_loads

    converter = tomlkit_make_converter(detailed_validation=detailed_validation)
    unstructured = converter.unstructure(everything)
    raw = tomlkit_dumps(unstructured)
    assert converter.structure(tomlkit_loads(raw), Everything) == everything


@given(
    everythings(
        min_key_length=1,
        allow_null_bytes_in_keys=False,
        key_blacklist_characters=['"', "\\"],
        allow_control_characters_in_values=False,
    ),
    booleans(),
)
def test_tomlkit_converter(everything: Everything, detailed_validation: bool):
    converter = tomlkit_make_converter(detailed_validation=detailed_validation)
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything) == everything


@given(
    everythings(
        min_key_length=1,
        allow_null_bytes_in_keys=False,
        key_blacklist_characters=['"', "\\"],
        allow_control_characters_in_values=False,
    )
)
def test_tomlkit_converter_unstruct_collection_overrides(everything: Everything):
    converter = tomlkit_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(
    union_and_val=native_unions(
        include_nones=False, include_bytes=False, include_datetimes=False
    ),
    detailed_validation=...,
)
def test_tomlkit_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = tomlkit_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_cbor2(everything: Everything):
    from cbor2 import dumps as cbor2_dumps
    from cbor2 import loads as cbor2_loads

    converter = cbor2_make_converter()
    raw = cbor2_dumps(converter.unstructure(everything))
    assert converter.structure(cbor2_loads(raw), Everything) == everything


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_cbor2_converter(everything: Everything):
    converter = cbor2_make_converter()
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything) == everything


@given(everythings(min_int=-9223372036854775808, max_int=18446744073709551615))
def test_cbor2_converter_unstruct_collection_overrides(everything: Everything):
    converter = cbor2_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@given(union_and_val=native_unions(include_datetimes=False), detailed_validation=...)
def test_cbor2_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    converter = cbor2_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


def test_cbor2_native_enums():
    """Bare, string and int enums are handled correctly."""

    converter = cbor2_make_converter()

    assert converter.dumps(Everything.AnIntEnum.A) == converter.dumps(
        Everything.AnIntEnum.A.value
    )
    assert converter.dumps(Everything.AStringEnum.A) == converter.dumps(
        Everything.AStringEnum.A.value
    )
    assert converter.dumps(Everything.ABareEnum.B) == converter.dumps(
        Everything.ABareEnum.B.value
    )


def test_cbor2_efficient_enum():
    """`str` and `int` enums are handled efficiently."""
    converter = cbor2_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
@given(everythings(allow_inf=False))
def test_msgspec_json_converter(everything: Everything):
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    converter = msgspec_make_converter()
    raw = converter.dumps(everything)
    assert converter.loads(raw, Everything) == everything


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
@given(everythings(allow_inf=False))
def test_msgspec_json_unstruct_collection_overrides(everything: Everything):
    """Ensure collection overrides work."""
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    converter = msgspec_make_converter(unstruct_collection_overrides={Set: sorted})
    raw = converter.unstructure(everything)
    assert raw["a_set"] == sorted(raw["a_set"])
    assert raw["a_mutable_set"] == sorted(raw["a_mutable_set"])
    assert raw["a_frozenset"] == sorted(raw["a_frozenset"])


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
@given(
    union_and_val=native_unions(include_datetimes=False, include_bytes=False),
    detailed_validation=...,
)
def test_msgspec_json_unions(union_and_val: tuple, detailed_validation: bool):
    """Native union passthrough works."""
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    converter = msgspec_make_converter(detailed_validation=detailed_validation)
    type, val = union_and_val

    assert converter.structure(val, type) == val


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
def test_msgspec_native_enums():
    """Bare, string and int enums are handled correctly."""
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    converter = msgspec_make_converter()

    assert converter.dumps(Everything.AnIntEnum.A) == converter.dumps(
        Everything.AnIntEnum.A.value
    )
    assert converter.dumps(Everything.AStringEnum.A) == converter.dumps(
        Everything.AStringEnum.A.value
    )
    assert converter.dumps(Everything.ABareEnum.B) == converter.dumps(
        Everything.ABareEnum.B.value
    )


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
def test_msgspec_efficient_enum():
    """Bare, `str` and `int` enums are handled efficiently."""
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    converter = msgspec_make_converter()

    assert converter.get_unstructure_hook(Everything.AnIntEnum) == identity
    assert converter.get_unstructure_hook(Everything.AStringEnum) == identity
    assert converter.get_unstructure_hook(Everything.ABareEnum) == identity
    assert converter.get_unstructure_hook(fields(Everything).a_literal.type) == identity
    assert (
        converter.get_unstructure_hook(fields(Everything).a_literal_with_bare.type)
        == identity
    )


@pytest.mark.parametrize(
    "converter_factory",
    [
        bson_make_converter,
        cbor2_make_converter,
        json_make_converter,
        msgpack_make_converter,
        tomlkit_make_converter,
        ujson_make_converter,
        pyyaml_make_converter,
    ],
)
def test_literal_dicts(converter_factory: Callable[[], Converter]):
    """Dicts with keys that aren't subclasses of `type` work."""
    converter = converter_factory()

    assert converter.structure({"a": 1}, Dict[Literal["a"], int]) == {"a": 1}
    assert converter.unstructure({"a": 1}, Dict[Literal["a"], int]) == {"a": 1}


@pytest.mark.skipif(NO_ORJSON, reason="orjson not available")
def test_literal_dicts_orjson():
    """Dicts with keys that aren't subclasses of `type` work."""
    from cattrs.preconf.orjson import make_converter as orjson_make_converter

    test_literal_dicts(orjson_make_converter)


@pytest.mark.skipif(NO_MSGSPEC, reason="msgspec not available")
def test_literal_dicts_msgspec():
    """Dicts with keys that aren't subclasses of `type` work."""
    from cattrs.preconf.msgspec import make_converter as msgspec_make_converter

    test_literal_dicts(msgspec_make_converter)