source: libcfa/src/enum.hfa @ ec20ab9

#pragma once

forall( E ) trait Bounded {
        E lowerBound();
        E upperBound();
};

forall( E | Bounded( E ) ) trait Serial {
        unsigned fromInstance( E e );
        E fromInt( unsigned int posn );
        E succ( E e );
        E pred( E e );
};

forall( E, T ) trait TypedEnum {
        T valueE( E e );
        char * labelE( E e );
        unsigned int posE( E e );
};

forall( E, T | TypedEnum( E, T ) ) {
        // comparison
        int ?==?( E l, E r );                                                           // true if l and r are same enumerators    
        int ?!=?( E l, E r );                                                           // true if l and r are different enumerators
        int ?!=?( E l, zero_t );                                                        // true if l is not the first enumerator           
        int ?<?( E l, E r );                                                            // true if l is an enuemerator before r    
        int ?<=?( E l, E r );                                                           // true if l before or the same as r               
        int ?>?( E l, E r );                                                            // true if l is an enuemrator after r      
        int ?>=?( E l, E r );                                                           // true if l after or the same as r         
}