bendns' repos / bind
Diffstat (limited to 'src/lib.rs')
-rw-r--r--src/lib.rs48
1 files changed, 38 insertions, 10 deletions
diff --git a/src/lib.rs b/src/lib.rs
index 263e455..bac41a1 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -3,26 +3,31 @@
use core::ops::FnMut;
use std::marker::Tuple;
-trait Head: Tuple {
+trait Head: Tuple + Last {
type Head;
type Tail: Tuple;
- fn rejoin(_: Self::Head, _: Self::Tail) -> Self;
+ fn ht(_: Self::Head, _: Self::Tail) -> Self;
}
-macro_rules! impls {(
+trait Last: Tuple {
+ type Init: Tuple;
+ type Last;
+ fn il(_: Self::Init, _: Self::Last) -> Self;
+}
+
+macro_rules! h {(
$($Hd:tt $($Tail:tt)*)?
-) => ($(impls!($($Tail)*);)?$(
+) => ($(h!($($Tail)*);)?$(
impl<$Hd $(, $Tail)*> Head for ($Hd, $($Tail),*) {
type Head = $Hd;
type Tail = ($($Tail, )*);
- fn rejoin($Hd: Self::Head, tail: Self::Tail) -> Self {
- let ($($Tail, )*) = tail;
+ fn ht($Hd: Self::Head, ($($Tail, )*): Self::Tail) -> Self {
($Hd, $($Tail),*)
}
})?)}
-impls![_13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _0];
-
+h![_13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _0];
+include!("res.rs");
impl<Args: Head, F: FnMut<Args> + Sized> Bind<Args> for F {}
pub trait Bind<Args: Head>: FnMut<Args> + Sized {
fn bind<T: Clone>(self, with: T) -> impl FnMut<Args::Tail, Output = Self::Output>
@@ -37,13 +42,36 @@ pub trait Bind<Args: Head>: FnMut<Args> + Sized {
impl<Args: Head, F: FnMut<Args>> FnOnce<Args::Tail> for Fn<Args, F> {
type Output = F::Output;
extern "rust-call" fn call_once(mut self, args: Args::Tail) -> Self::Output {
- let args = Args::rejoin(self.t, args);
+ let args = Args::ht(self.t, args);
self.f.call_mut(args)
}
}
impl<Args: Head<Head: Clone>, F: FnMut<Args>> FnMut<Args::Tail> for Fn<Args, F> {
extern "rust-call" fn call_mut(&mut self, args: Args::Tail) -> Self::Output {
- let args = Args::rejoin(self.t.clone(), args);
+ let args = Args::ht(self.t.clone(), args);
+ self.f.call_mut(args)
+ }
+ }
+ }
+ fn rbind<T: Clone>(self, with: T) -> impl FnMut<Args::Init, Output = Self::Output>
+ where
+ Args: Last<Last = T>,
+ {
+ return Fn { f: self, t: with };
+ struct Fn<Args: Last, F: FnMut<Args>> {
+ f: F,
+ t: Args::Last,
+ }
+ impl<Args: Last, F: FnMut<Args>> FnOnce<Args::Init> for Fn<Args, F> {
+ type Output = F::Output;
+ extern "rust-call" fn call_once(mut self, args: Args::Init) -> Self::Output {
+ let args = Args::il(args, self.t);
+ self.f.call_mut(args)
+ }
+ }
+ impl<Args: Last<Last: Clone>, F: FnMut<Args>> FnMut<Args::Init> for Fn<Args, F> {
+ extern "rust-call" fn call_mut(&mut self, args: Args::Init) -> Self::Output {
+ let args = Args::il(args, self.t.clone());
self.f.call_mut(args)
}
}