parent
d418cf876b
commit
136dc5f102
@ -0,0 +1,126 @@
|
|||||||
|
use super::*;
|
||||||
|
|
||||||
|
#[macro_export] macro_rules! basic_enum {
|
||||||
|
($(#[$meta:meta])* $vis:vis $name:ident $(; $tcomment:literal)?: $($var:ident $(=> $comment:literal)?),+ $(,)?) => {
|
||||||
|
$(#[$meta])*
|
||||||
|
#[derive(Debug, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, Copy)]
|
||||||
|
$(#[doc = $tcomment])?
|
||||||
|
$vis enum $name {
|
||||||
|
$(
|
||||||
|
$(#[doc = $comment])?
|
||||||
|
$var
|
||||||
|
),+
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/// Create a `Yes` or `No` enum.
|
||||||
|
#[macro_export] macro_rules! bool_type {
|
||||||
|
($vis:vis $name:ident $(; $comment:literal)? => $yes:ident, $no:ident) => {
|
||||||
|
basic_enum!(#[repr(u8)] $vis $name $(; $comment)?: $yes => "# First variant\n\nYes/true", $no => "# Second variant\n\nNo/false");
|
||||||
|
|
||||||
|
impl From<bool> for $name
|
||||||
|
{
|
||||||
|
#[inline] fn from(from: bool) -> Self
|
||||||
|
{
|
||||||
|
if from {
|
||||||
|
Self::$yes
|
||||||
|
} else {
|
||||||
|
Self::$no
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl From<$name> for bool
|
||||||
|
{
|
||||||
|
#[inline] fn from(from: $name) -> Self
|
||||||
|
{
|
||||||
|
match from {
|
||||||
|
$name::$yes => true,
|
||||||
|
$name::$no => false,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
impl $name
|
||||||
|
{
|
||||||
|
/// Create from a bool value.
|
||||||
|
#[inline] pub const fn new(from: bool) -> Self
|
||||||
|
{
|
||||||
|
if from {
|
||||||
|
Self::$yes
|
||||||
|
} else {
|
||||||
|
Self::$no
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Is this false?
|
||||||
|
#[inline] pub const fn is_no(self) -> bool
|
||||||
|
{
|
||||||
|
!self.is_yes()
|
||||||
|
}
|
||||||
|
/// Is this true?
|
||||||
|
#[inline] pub const fn is_yes(self) -> bool
|
||||||
|
{
|
||||||
|
match self {
|
||||||
|
Self::$yes => true,
|
||||||
|
Self::$no => false,
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Return Some(T) if self is true.
|
||||||
|
#[inline] pub fn some<T>(self, value: T) -> Option<T>
|
||||||
|
{
|
||||||
|
self.and_then(move || value)
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Map this value
|
||||||
|
#[inline] pub fn map<F, T>(self, f: F) -> T
|
||||||
|
where F: FnOnce(bool) -> T
|
||||||
|
{
|
||||||
|
f(self.is_yes())
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Run this closure if value is false
|
||||||
|
#[inline] pub fn or_else<F, T>(self, f: F) -> Option<T>
|
||||||
|
where F: FnOnce() -> T
|
||||||
|
{
|
||||||
|
if let Self::$no = self {
|
||||||
|
Some(f())
|
||||||
|
} else {
|
||||||
|
None
|
||||||
|
}
|
||||||
|
}
|
||||||
|
/// Run this closure if value is true
|
||||||
|
#[inline] pub fn and_then<F, T>(self, f: F) -> Option<T>
|
||||||
|
where F: FnOnce() -> T
|
||||||
|
{
|
||||||
|
if let Self::$yes = self {
|
||||||
|
Some(f())
|
||||||
|
} else {
|
||||||
|
None
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Return `yes` if true and `no` if false
|
||||||
|
#[inline] pub fn either<T>(self, yes: T, no: T) -> T
|
||||||
|
{
|
||||||
|
self.and_either(move || yes, move || no)
|
||||||
|
}
|
||||||
|
/// Run closure `yes` if value is true, `no` if value is false.
|
||||||
|
#[inline] pub fn and_either<F, G, T>(self, yes: F, no: G) -> T
|
||||||
|
where F: FnOnce() -> T,
|
||||||
|
G: FnOnce() -> T,
|
||||||
|
{
|
||||||
|
match self {
|
||||||
|
Self::$yes => yes(),
|
||||||
|
Self::$no => no(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
($vis:vis $name:ident $(; $comment:literal)?) => {
|
||||||
|
$crate::bool_type!($vis $name $(; $comment)? => Yes, No);
|
||||||
|
}
|
||||||
|
}
|
@ -1,4 +1,5 @@
|
|||||||
|
|
||||||
#![allow(dead_code)]
|
#![allow(dead_code)]
|
||||||
|
|
||||||
|
mod ext; #[macro_use] use ext::*;
|
||||||
mod dual;
|
mod dual;
|
||||||
|
Loading…
Reference in new issue