You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
127 lines
2.7 KiB
127 lines
2.7 KiB
//! Extensions and macros
|
|
|
|
#[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);
|
|
}
|
|
}
|