dhall/src/traits/dynamic_type.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32

use crate::phase::typecheck::TypeError;
use crate::phase::*;
use crate::traits::StaticType;
use std::borrow::Cow;

pub trait DynamicType {
    fn get_type<'a>(&'a self) -> Result<Cow<'a, Type>, TypeError>;
}

impl<T: StaticType> DynamicType for T {
    fn get_type<'a>(&'a self) -> Result<Cow<'a, Type>, TypeError> {
        Ok(Cow::Owned(T::get_static_type()))
    }
}

impl DynamicType for Type {
    fn get_type(&self) -> Result<Cow<'_, Type>, TypeError> {
        self.get_type()
    }
}

impl DynamicType for Normalized {
    fn get_type(&self) -> Result<Cow<'_, Type>, TypeError> {
        self.0.get_type()
    }
}

impl DynamicType for Typed {
    fn get_type(&self) -> Result<Cow<'_, Type>, TypeError> {
        self.get_type()
    }
}