source: examples/gc_no_raii/src/tools.h @ f2f22e3

#pragma once

#include "tools/checks.h"
#include "tools/print.h"

// forall(otype T)
// inline void swap(T* const a, T* const b)
// {
//      T* temp = a;
//      *a = *b;
//      *b = *temp;
// }

trait has_equal(otype T)
{
        signed int ?==?(T a, T b);
};

trait InputIterator_t(otype T, otype InputIterator)
{
        signed int ?==?(InputIterator a, InputIterator b);
        signed int ?!=?(InputIterator a, InputIterator b);
        T *?(InputIterator a);
        InputIterator ++?(InputIterator* a);
        InputIterator ?++(InputIterator* a);
};

forall(otype T | has_equal(T), otype InputIterator | InputIterator_t(T, InputIterator))
static inline InputIterator find( InputIterator first, const InputIterator* const last, T val)
{
        while ( first != *last)
        {
                if(*first == val) return first;
                ++first;
        }
        return *last;
}