haar_lib/algebra/
trivial.rs

1//! 自明な群
2pub use crate::algebra::traits::*;
3use crate::impl_algebra;
4
5/// 自明な群
6#[derive(Clone, Copy, Default, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
7pub struct Trivial;
8
9impl_algebra!(Trivial; set: (); op: |_, _, _| (); id: |_| (); inv: |_, _| (); assoc; commu; idem;);