diff options
Diffstat (limited to 'dhall/src/api/traits/dynamic_type.rs')
-rw-r--r-- | dhall/src/api/traits/dynamic_type.rs | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/dhall/src/api/traits/dynamic_type.rs b/dhall/src/api/traits/dynamic_type.rs new file mode 100644 index 0000000..7763a28 --- /dev/null +++ b/dhall/src/api/traits/dynamic_type.rs @@ -0,0 +1,32 @@ +use crate::error::TypeError; +use crate::phase::{Normalized, Type, Typed}; +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() + } +} |