use crate::ffvariants::{FallibleSelf, ImmutableSelf, InfallibleSelf, MutableSelf};
#[doc(hidden)]
#[derive(Debug, Clone, Copy)]
pub enum BuiltinTrait {
None,
Iterator,
}
mod private {
pub trait Sealed {}
}
pub trait BuiltinTraitFunction<S>: private::Sealed {
#[doc(hidden)]
const NAME: &'static str;
#[doc(hidden)]
fn owning_trait(&self) -> BuiltinTrait;
}
macro_rules! implement_builtin_trait_function {
($T:ty, $name:expr, ($($Args:ty),*), $owning_trait:expr) => {
impl super::private::Sealed for $T {}
macro_rules! implement_for {
(<$S:tt> $ST:ty) => {
impl<$S> BuiltinTraitFunction<$ST> for $T {
const NAME: &'static str = $name;
fn owning_trait(&self) -> BuiltinTrait {
$owning_trait
}
}
};
}
implement_for!(<S> FallibleSelf<ImmutableSelf<S>, (&S, $($Args),*)>);
implement_for!(<S> InfallibleSelf<ImmutableSelf<S>, (&S, $($Args),*)>);
implement_for!(<S> InfallibleSelf<MutableSelf<S>, (&mut S, $($Args),*)>);
implement_for!(<S> FallibleSelf<MutableSelf<S>, (&mut S, $($Args),*)>);
};
}
pub mod iterator {
use super::*;
#[derive(Debug)]
pub struct HasNext;
implement_builtin_trait_function!(HasNext, "has_next", (), BuiltinTrait::Iterator);
#[derive(Debug)]
pub struct Next;
implement_builtin_trait_function!(Next, "next", (), BuiltinTrait::Iterator);
}