diff options
author | Nadrieril | 2019-03-24 23:36:15 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-24 23:36:15 +0100 |
commit | 0424d165836fcbf15aa2e05527d0e790941c9518 (patch) | |
tree | 8aaf71ac08cf912f4d4c2c47f51d58dcaa874891 /dhall_core/src/dhall_type.rs | |
parent | 5663b4499b46a914ad59792220b0a6cfc24b608c (diff) |
Lay groundwork for DhallType deriving
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/dhall_type.rs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/dhall_core/src/dhall_type.rs b/dhall_core/src/dhall_type.rs new file mode 100644 index 0000000..3635e67 --- /dev/null +++ b/dhall_core/src/dhall_type.rs @@ -0,0 +1,10 @@ +use crate::*; + +#[derive(Debug, Clone)] +pub enum DhallConversionError {} + +pub trait DhallType: Sized { + fn dhall_type() -> DhallExpr; + // fn as_dhall(&self) -> DhallExpr; + // fn from_dhall(e: DhallExpr) -> Result<Self, DhallConversionError>; +} |