source: libcfa/src/enum.hfa @ c333ed2

#pragma once

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

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

// Opague Enum + TypedEnum
forall(E, T | Serial(E, T)) trait CfaEnum { 
    char * labelE(E e);
    unsigned int posE(E e);
};

forall(E, T | CfaEnum(E, T)) trait TypedEnum {
    T valueE(E e);
};

forall(E, T| TypedEnum(E, T)) {
    // comparison
    int ?==?(E l, E r);
    int ?!=?(E l, E r);
    int ?!=?(E l, zero_t);
    int ?<?(E l, E r);
    int ?<=?(E l, E r);
    int ?>?(E l, E r);
    int ?>=?(E l, E r);

    // for testing; To be removed
    char * typeEnumString(E e);
}