agda_mode/
hs.rs

1use serde::Deserialize;
2
3#[derive(Deserialize, Debug, Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Hash)]
4pub enum HaskellBool {
5    True,
6    False,
7}
8
9impl From<bool> for HaskellBool {
10    fn from(b: bool) -> Self {
11        if b {
12            HaskellBool::True
13        } else {
14            HaskellBool::False
15        }
16    }
17}
18
19impl Into<bool> for HaskellBool {
20    fn into(self) -> bool {
21        match self {
22            HaskellBool::True => true,
23            HaskellBool::False => false,
24        }
25    }
26}