source: libcfa/src/enum.hfa@ d5efcb7

#pragma once

#include "iostream.hfa"

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

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

// Design one
forall( E, V | Serial(E) ) trait CfaEnum {
    char * label( E e );
    unsigned int posn( E e );
    V value( E e );
    char * type_name( E e );
//    bool scoped( E e );
};

// I/O

forall( ostype & | basic_ostream(ostype), E, V | CfaEnum(E, V) ) {
        ostype & ?|?( ostype &, E );
        OSTYPE_VOID( E );
}

//forall( ostype & | basic_ostream(ostype), E | CfaEnum(E, quasi_void) )
//ostype & ?|?( ostype &, E );

// Design two <- should go for this if we have change the cost model
// forall(E | Serial(E)) trait CfaEnum {
//     char * label(E e);
//     unsigned int posn(E e);
// };

// forall(E, V| CfaEnum(E)) trait TypedEnum {
//     V value(E e);
// };

forall( E, V | CfaEnum(E, V) ) {                                                // relational operators
    int ?==?(E, E);
    int ?!=?(E, E);
    int ?<?(E, E);
    int ?<=?(E, E);
    int ?>?(E, E);
    int ?>=?(E, E);
}