blob: 3635e67b49229cb2910cfab130aa47c5ff123ffe (
plain)
1
2
3
4
5
6
7
8
9
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>;
}
|