The tuplers from libsugar

tuplers's People

Stargazers

Watchers

tuplers's Issues

Sort

Allow splitting tuples

Given a tuple (A, B, C), I'd like to be able to split it into two in the following ways:

(), (A, B, C)
(A,), (B, C)
(A, B), (C,)
(A, B, C), ()

document no_std and wasm support

Implement `TupleAsRef`, etc. for `()`

It would only return (), but for completion's sake it should be implemented. I'm currently getting errors in a program because this doesn't compile if the tuple is ():

Reproduce with (dependencies tuples and tuple-fn):

use tuples::tuple_as::TupleAsRef;
use tuple_fn::TupleFn;

fn call_closure_on_tuple<'a, T, F>(tuple: &'a T, func: F)
where T: TupleAsRef<'a> + 'a,
      F: TupleFn<<T as TupleAsRef<'a>>::OutTuple, TupleFnOutput = ()>,
{
    func.call_with_args_tuple(tuple.as_ref())
}

fn main() {
    call_closure_on_tuple(&(), || {
        println!("Hello, world!");
    })
}

Error:

error[E0277]: the trait bound `(): TupleAsRef<'_>` is not satisfied
  --> src/main.rs:12:27
   |
12 |     call_closure_on_tuple(&(), || {
   |     --------------------- ^^^ the trait `TupleAsRef<'_>` is not implemented for `()`
   |     |
   |     required by a bound introduced by this call
   |
   = help: the following other types implement trait `TupleAsRef<'a>`:
             (T,)
             (T0, T1)
             (T0, T1, T2)
             (T0, T1, T2, T3)
             (T0, T1, T2, T3, T4)
             (T0, T1, T2, T3, T4, T5)
             (T0, T1, T2, T3, T4, T5, T6)
             (T0, T1, T2, T3, T4, T5, T6, T7)
           and 24 others
note: required by a bound in `call_closure_on_tuple`
  --> src/main.rs:5:10
   |
4  | fn call_closure_on_tuple<'a, T, F>(tuple: &'a T, func: F)
   |    --------------------- required by a bound in this
5  | where T: TupleAsRef<'a> + 'a,
   |          ^^^^^^^^^^^^^^ required by this bound in `call_closure_on_tuple`