poi 0.25.0

A pragmatic point-free theorem prover assistant
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use std::fmt;

/// Value.
#[derive(Clone, PartialEq, PartialOrd, Debug)]
pub enum Value {
    /// A boolean value.
    Bool(bool),
    /// A f64 value.
    F64(f64),
}

impl fmt::Display for Value {
    fn fmt(&self, w: &mut fmt::Formatter<'_>) -> std::result::Result<(), fmt::Error> {
        use Value::*;

        match self {
            Bool(v) => write!(w, "{}", v)?,
            F64(v) => write!(w, "{}", v)?,
        }
        Ok(())
    }
}