use crate::internal_prelude::*;

pub use crate::constants::MANIFEST_SBOR_V1_MAX_DEPTH;
pub use crate::constants::MANIFEST_SBOR_V1_PAYLOAD_PREFIX;

pub type ManifestEncoder<'a> = VecEncoder<'a, ManifestCustomValueKind>;
pub type ManifestDecoder<'a> = VecDecoder<'a, ManifestCustomValueKind>;
pub type ManifestValueKind = ValueKind<ManifestCustomValueKind>;
pub type ManifestValue = Value<ManifestCustomValueKind, ManifestCustomValue>;
pub type ManifestEnumVariantValue = EnumVariantValue<ManifestCustomValueKind, ManifestCustomValue>;
pub type ManifestTraverser<'a> = VecTraverser<'a, ManifestCustomTraversal>;

pub trait ManifestCategorize: Categorize<ManifestCustomValueKind> {}
impl<T: Categorize<ManifestCustomValueKind> + ?Sized> ManifestCategorize for T {}

pub trait ManifestSborEnum: SborEnum<ManifestCustomValueKind> {}
impl<T: SborEnum<ManifestCustomValueKind> + ?Sized> ManifestSborEnum for T {}

pub trait ManifestSborTuple: SborTuple<ManifestCustomValueKind> {}
impl<T: SborTuple<ManifestCustomValueKind> + ?Sized> ManifestSborTuple for T {}

pub trait ManifestDecode: for<'a> Decode<ManifestCustomValueKind, ManifestDecoder<'a>> {}
impl<T: for<'a> Decode<ManifestCustomValueKind, ManifestDecoder<'a>>> ManifestDecode for T {}

pub trait ManifestEncode: for<'a> Encode<ManifestCustomValueKind, ManifestEncoder<'a>> {}
impl<T: for<'a> Encode<ManifestCustomValueKind, ManifestEncoder<'a>> + ?Sized> ManifestEncode
    for T
{
}

pub struct ManifestArgs(crate::data::manifest::ManifestValue, usize);

impl ManifestArgs {
    pub fn new_from_tuple_or_panic(value: ManifestValue) -> Self {
        let length = match &value {
            Value::Tuple { fields } => fields.len(),
            _ => {
                panic!("ManifestArgs has to be a Tuple");
            }
        };
        Self(value, length)
    }
}

impl Categorize<ManifestCustomValueKind> for ManifestArgs {
    #[inline]
    fn value_kind() -> ValueKind<ManifestCustomValueKind> {
        ValueKind::Tuple
    }
}

impl SborTuple<ManifestCustomValueKind> for ManifestArgs {
    fn get_length(&self) -> usize {
        self.1
    }
}

impl<'a> Encode<ManifestCustomValueKind, ManifestEncoder<'a>> for ManifestArgs {
    #[inline]
    fn encode_value_kind(&self, encoder: &mut ManifestEncoder<'a>) -> Result<(), EncodeError> {
        self.0.encode_value_kind(encoder)
    }

    #[inline]
    fn encode_body(&self, encoder: &mut ManifestEncoder<'a>) -> Result<(), EncodeError> {
        self.0.encode_body(encoder)
    }
}

impl From<ManifestArgs> for ManifestValue {
    fn from(value: ManifestArgs) -> Self {
        value.0
    }
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum RustToManifestValueError {
    DecodeError(DecodeError),
    EncodeError(EncodeError),
}

#[derive(Debug, Clone, PartialEq, Eq)]
pub enum ManifestToRustValueError {
    DecodeError(DecodeError),
    EncodeError(EncodeError),
}

pub fn manifest_encode<T: ManifestEncode + ?Sized>(value: &T) -> Result<Vec<u8>, EncodeError> {
    manifest_encode_with_depth_limit(value, MANIFEST_SBOR_V1_MAX_DEPTH)
}

pub fn manifest_encode_with_depth_limit<T: ManifestEncode + ?Sized>(
    value: &T,
    depth_limit: usize,
) -> Result<Vec<u8>, EncodeError> {
    let mut buf = Vec::with_capacity(512);
    let encoder = ManifestEncoder::new(&mut buf, depth_limit);
    encoder.encode_payload(value, MANIFEST_SBOR_V1_PAYLOAD_PREFIX)?;
    Ok(buf)
}

pub fn manifest_decode<T: ManifestDecode>(buf: &[u8]) -> Result<T, DecodeError> {
    manifest_decode_with_depth_limit(buf, MANIFEST_SBOR_V1_MAX_DEPTH)
}

pub fn manifest_decode_with_depth_limit<T: ManifestDecode>(
    buf: &[u8],
    depth_limit: usize,
) -> Result<T, DecodeError> {
    ManifestDecoder::new(buf, depth_limit).decode_payload(MANIFEST_SBOR_V1_PAYLOAD_PREFIX)
}

pub fn to_manifest_value<T: ManifestEncode + ?Sized>(
    value: &T,
) -> Result<ManifestValue, RustToManifestValueError> {
    let encoded = manifest_encode(value).map_err(RustToManifestValueError::EncodeError)?;

    manifest_decode(&encoded).map_err(RustToManifestValueError::DecodeError)
}

pub fn from_manifest_value<T: ManifestDecode>(
    manifest_value: &ManifestValue,
) -> Result<T, ManifestToRustValueError> {
    let encoded = manifest_encode(manifest_value).map_err(ManifestToRustValueError::EncodeError)?;

    manifest_decode(&encoded).map_err(ManifestToRustValueError::DecodeError)
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_manifest_value_conversions() {
        let invalid_value = ManifestValue::Tuple {
            fields: vec![ManifestValue::Array {
                element_value_kind: ValueKind::U8,
                elements: vec![
                    ManifestValue::U8 { value: 1 },
                    ManifestValue::U16 { value: 2 },
                ],
            }],
        };
        assert!(matches!(
            to_manifest_value(&invalid_value),
            Err(RustToManifestValueError::EncodeError(
                EncodeError::MismatchingArrayElementValueKind { .. }
            ))
        ));

        let invalid_value = ManifestValue::Map {
            key_value_kind: ValueKind::U8,
            value_value_kind: ValueKind::I8,
            entries: vec![(
                ManifestValue::U16 { value: 1 },
                ManifestValue::I8 { value: 1 },
            )],
        };
        assert!(matches!(
            to_manifest_value(&invalid_value),
            Err(RustToManifestValueError::EncodeError(
                EncodeError::MismatchingMapKeyValueKind { .. }
            ))
        ));

        let invalid_value = ManifestValue::Map {
            key_value_kind: ValueKind::U8,
            value_value_kind: ValueKind::I8,
            entries: vec![(
                ManifestValue::U8 { value: 1 },
                ManifestValue::I16 { value: 1 },
            )],
        };
        assert!(matches!(
            to_manifest_value(&invalid_value),
            Err(RustToManifestValueError::EncodeError(
                EncodeError::MismatchingMapValueValueKind { .. }
            ))
        ));

        let too_deep_tuple = get_tuple_of_depth(MANIFEST_SBOR_V1_MAX_DEPTH + 1).unwrap();
        assert!(matches!(
            to_manifest_value(&too_deep_tuple),
            Err(RustToManifestValueError::EncodeError(
                EncodeError::MaxDepthExceeded { .. }
            ))
        ));

        let fine_tuple = get_tuple_of_depth(MANIFEST_SBOR_V1_MAX_DEPTH).unwrap();
        assert!(to_manifest_value(&fine_tuple).is_ok());
    }

    pub fn get_tuple_of_depth(depth: usize) -> Option<ManifestValue> {
        // Minimum tuple depth is 2
        if depth <= 1 {
            None
        } else if depth <= 2 {
            Some(ManifestValue::Tuple {
                fields: vec![ManifestValue::U8 { value: 1 }],
            })
        } else {
            let value = get_tuple_of_depth(depth - 1).unwrap();
            Some(ManifestValue::Tuple {
                fields: vec![value],
            })
        }
    }
}