summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-03-31 13:24:27 +0200
committerNadrieril2019-03-31 18:05:32 +0200
commitbc64e9e305f50ad04e6e2071dad8c153c1582b8c (patch)
tree80dd3056ffa7280dcb0493695ccd90aaa35fa5da /dhall
parent5d6f095fbd9b803870777b77c42e4a9df236dd67 (diff)
Remove some redundant namespacing
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/dhall_type.rs60
-rw-r--r--dhall/src/lib.rs3
-rw-r--r--dhall/tests/dhall_type.rs32
3 files changed, 48 insertions, 47 deletions
diff --git a/dhall/src/dhall_type.rs b/dhall/src/dhall_type.rs
index 8abef32..6b0e06e 100644
--- a/dhall/src/dhall_type.rs
+++ b/dhall/src/dhall_type.rs
@@ -2,76 +2,76 @@ use dhall_core::*;
use dhall_generator::*;
#[derive(Debug, Clone)]
-pub enum DhallConversionError {}
+pub enum ConversionError {}
-pub trait DhallType: Sized {
- fn dhall_type() -> DhallExpr;
+pub trait Type {
+ fn get_type() -> DhallExpr;
// fn as_dhall(&self) -> DhallExpr;
// fn from_dhall(e: DhallExpr) -> Result<Self, DhallConversionError>;
}
-impl DhallType for bool {
- fn dhall_type() -> DhallExpr {
+impl Type for bool {
+ fn get_type() -> DhallExpr {
dhall_expr!(Bool)
}
}
-impl DhallType for Natural {
- fn dhall_type() -> DhallExpr {
+impl Type for Natural {
+ fn get_type() -> DhallExpr {
dhall_expr!(Natural)
}
}
-impl DhallType for Integer {
- fn dhall_type() -> DhallExpr {
+impl Type for Integer {
+ fn get_type() -> DhallExpr {
dhall_expr!(Integer)
}
}
-impl DhallType for String {
- fn dhall_type() -> DhallExpr {
+impl Type for String {
+ fn get_type() -> DhallExpr {
dhall_expr!(Text)
}
}
-impl<A: DhallType, B: DhallType> DhallType for (A, B) {
- fn dhall_type() -> DhallExpr {
- let ta = A::dhall_type();
- let tb = B::dhall_type();
+impl<A: Type, B: Type> Type for (A, B) {
+ fn get_type() -> DhallExpr {
+ let ta = A::get_type();
+ let tb = B::get_type();
dhall_expr!({ _1: ta, _2: tb })
}
}
-impl<T: DhallType> DhallType for Option<T> {
- fn dhall_type() -> DhallExpr {
- let t = T::dhall_type();
+impl<T: Type> Type for Option<T> {
+ fn get_type() -> DhallExpr {
+ let t = T::get_type();
dhall_expr!(Optional t)
}
}
-impl<T: DhallType> DhallType for Vec<T> {
- fn dhall_type() -> DhallExpr {
- let t = T::dhall_type();
+impl<T: Type> Type for Vec<T> {
+ fn get_type() -> DhallExpr {
+ let t = T::get_type();
dhall_expr!(List t)
}
}
-impl<'a, T: DhallType> DhallType for &'a T {
- fn dhall_type() -> DhallExpr {
- T::dhall_type()
+impl<'a, T: Type> Type for &'a T {
+ fn get_type() -> DhallExpr {
+ T::get_type()
}
}
-impl<T> DhallType for std::marker::PhantomData<T> {
- fn dhall_type() -> DhallExpr {
+impl<T> Type for std::marker::PhantomData<T> {
+ fn get_type() -> DhallExpr {
dhall_expr!({})
}
}
-impl<T: DhallType, E: DhallType> DhallType for Result<T, E> {
- fn dhall_type() -> DhallExpr {
- let tt = T::dhall_type();
- let te = E::dhall_type();
+impl<T: Type, E: Type> Type for Result<T, E> {
+ fn get_type() -> DhallExpr {
+ let tt = T::get_type();
+ let te = E::get_type();
dhall_expr!(< Ok: tt | Err: te>)
}
}
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index c0c1d6f..0270103 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -13,7 +13,8 @@ pub mod binary;
mod dhall_type;
pub mod imports;
pub mod typecheck;
-pub use dhall_type::*;
+pub use crate::dhall_type::*;
+pub use dhall_generator::Type;
pub use crate::imports::*;
diff --git a/dhall/tests/dhall_type.rs b/dhall/tests/dhall_type.rs
index 633d7c6..faece20 100644
--- a/dhall/tests/dhall_type.rs
+++ b/dhall/tests/dhall_type.rs
@@ -1,56 +1,56 @@
#![feature(proc_macro_hygiene)]
-use dhall::*;
-use dhall_generator::*;
+use dhall::Type;
+use dhall_generator::dhall_expr;
#[test]
fn test_dhall_type() {
- assert_eq!(bool::dhall_type(), dhall_expr!(Bool));
- assert_eq!(String::dhall_type(), dhall_expr!(Text));
+ assert_eq!(bool::get_type(), dhall_expr!(Bool));
+ assert_eq!(String::get_type(), dhall_expr!(Text));
assert_eq!(
- <(bool, Option<String>)>::dhall_type(),
+ <(bool, Option<String>)>::get_type(),
dhall_expr!({ _1: Bool, _2: Optional Text })
);
- #[derive(DhallType)]
+ #[derive(dhall::Type)]
#[allow(dead_code)]
struct A {
field1: bool,
field2: Option<bool>,
}
assert_eq!(
- A::dhall_type(),
+ <A as dhall::Type>::get_type(),
dhall_expr!({ field1: Bool, field2: Optional Bool })
);
- #[derive(DhallType)]
+ #[derive(Type)]
#[allow(dead_code)]
struct B<'a, T: 'a> {
field1: &'a T,
field2: Option<T>,
}
- assert_eq!(<B<'static, bool>>::dhall_type(), A::dhall_type());
+ assert_eq!(<B<'static, bool>>::get_type(), A::get_type());
- #[derive(DhallType)]
+ #[derive(Type)]
#[allow(dead_code)]
struct C<T>(T, Option<String>);
assert_eq!(
- <C<bool>>::dhall_type(),
- <(bool, Option<String>)>::dhall_type()
+ <C<bool>>::get_type(),
+ <(bool, Option<String>)>::get_type()
);
- #[derive(DhallType)]
+ #[derive(Type)]
#[allow(dead_code)]
struct D();
assert_eq!(
- <C<D>>::dhall_type(),
+ <C<D>>::get_type(),
dhall_expr!({ _1: {}, _2: Optional Text })
);
- #[derive(DhallType)]
+ #[derive(Type)]
#[allow(dead_code)]
enum E<T> {
A(T),
B(String),
};
- assert_eq!(<E<bool>>::dhall_type(), dhall_expr!(< A: Bool | B: Text >));
+ assert_eq!(<E<bool>>::get_type(), dhall_expr!(< A: Bool | B: Text >));
}