//! Conversion from values into other types.

use std::ops::Deref;

use fontdock::{FontStretch, FontStyle, FontWeight};

use super::{Value, ValueDict, ValueFunc};
use crate::diag::Diag;
use crate::geom::{Dir, Length, Linear, Relative};
use crate::paper::Paper;
use crate::syntax::{Ident, SpanWith, Spanned, SynTree};

/// Types that values can be converted into.
pub trait Convert: Sized {
    /// Convert a value into `Self`.
    ///
    /// If the conversion works out, this should return `Ok(...)` with an
    /// instance of `Self`. If it doesn't, it should return `Err(...)` giving
    /// back the original value.
    ///
    /// In addition to the result, the method can return an optional diagnostic
    /// to warn even when the conversion succeeded or to explain the problem when
    /// the conversion failed.
    ///
    /// The function takes a `Spanned<Value>` instead of just a `Value` so that
    /// this trait can be blanket implemented for `Spanned<T>` where `T:
    /// Convert`.
    fn convert(value: Spanned<Value>) -> (Result<Self, Value>, Option<Diag>);
}

impl<T: Convert> Convert for Spanned<T> {
    fn convert(value: Spanned<Value>) -> (Result<Self, Value>, Option<Diag>) {
        let span = value.span;
        let (result, diag) = T::convert(value);
        (result.map(|v| v.span_with(span)), diag)
    }
}

macro_rules! convert_match {
    ($type:ty, $name:expr, $($p:pat => $r:expr),* $(,)?) => {
        impl $crate::eval::Convert for $type {
            fn convert(
                value: $crate::syntax::Spanned<$crate::eval::Value>
            ) -> (Result<Self, $crate::eval::Value>, Option<$crate::diag::Diag>) {
                #[allow(unreachable_patterns)]
                match value.v {
                    $($p => (Ok($r), None)),*,
                    v => {
                        let err = $crate::error!("expected {}, found {}", $name, v.ty());
                        (Err(v), Some(err))
                    },
                }
            }
        }
    };
}

macro_rules! convert_ident {
    ($type:ty, $name:expr, $parse:expr) => {
        impl $crate::eval::Convert for $type {
            fn convert(
                value: $crate::syntax::Spanned<$crate::eval::Value>,
            ) -> (
                Result<Self, $crate::eval::Value>,
                Option<$crate::diag::Diag>,
            ) {
                match value.v {
                    Value::Ident(id) => {
                        if let Some(thing) = $parse(&id) {
                            (Ok(thing), None)
                        } else {
                            (
                                Err($crate::eval::Value::Ident(id)),
                                Some($crate::error!("invalid {}", $name)),
                            )
                        }
                    }
                    v => {
                        let err = $crate::error!("expected {}, found {}", $name, v.ty());
                        (Err(v), Some(err))
                    }
                }
            }
        }
    };
}

/// A value type that matches [identifier](Value::Ident) and [string](Value::Str) values.
pub struct StringLike(pub String);

impl From<StringLike> for String {
    fn from(like: StringLike) -> String {
        like.0
    }
}

impl Deref for StringLike {
    type Target = str;

    fn deref(&self) -> &str {
        self.0.as_str()
    }
}

convert_match!(Value, "value", v => v);
convert_match!(Ident, "identifier", Value::Ident(v) => v);
convert_match!(bool, "bool", Value::Bool(v) => v);
convert_match!(i64, "integer", Value::Int(v) => v);
convert_match!(f64, "float",
    Value::Int(v) => v as f64,
    Value::Float(v) => v,
);
convert_match!(Length, "length", Value::Length(v) => v);
convert_match!(Relative, "relative", Value::Relative(v) => v);
convert_match!(Linear, "linear",
    Value::Linear(v) => v,
    Value::Length(v) => v.into(),
    Value::Relative(v) => v.into(),
);
convert_match!(String, "string", Value::Str(v) => v);
convert_match!(SynTree, "tree", Value::Content(v) => v);
convert_match!(ValueDict, "dictionary", Value::Dict(v) => v);
convert_match!(ValueFunc, "function", Value::Func(v) => v);
convert_match!(StringLike, "identifier or string",
    Value::Ident(Ident(v)) => StringLike(v),
    Value::Str(v) => StringLike(v),
);

convert_ident!(Dir, "direction", |v| match v {
    "ltr" => Some(Self::LTR),
    "rtl" => Some(Self::RTL),
    "ttb" => Some(Self::TTB),
    "btt" => Some(Self::BTT),
    _ => None,
});

convert_ident!(FontStyle, "font style", Self::from_str);
convert_ident!(FontStretch, "font stretch", Self::from_str);
convert_ident!(Paper, "paper", Self::from_name);

impl Convert for FontWeight {
    fn convert(value: Spanned<Value>) -> (Result<Self, Value>, Option<Diag>) {
        match value.v {
            Value::Int(number) => {
                let [min, max] = [100, 900];
                let warning = if number < min {
                    Some(warning!("the minimum font weight is {}", min))
                } else if number > max {
                    Some(warning!("the maximum font weight is {}", max))
                } else {
                    None
                };
                let weight = Self::from_number(number.min(max).max(min) as u16);
                (Ok(weight), warning)
            }
            Value::Ident(id) => {
                if let Some(thing) = FontWeight::from_str(&id) {
                    (Ok(thing), None)
                } else {
                    (Err(Value::Ident(id)), Some(error!("invalid font weight")))
                }
            }
            v => {
                let err =
                    error!("expected font weight (name or number), found {}", v.ty());
                (Err(v), Some(err))
            }
        }
    }
}