Thorin 1.9.0
The Higher ORder INtermediate representation
|
#include "thorin/def.h"
Go to the source code of this file.
Classes | |
class | thorin::Bound |
Common base for TBound. More... | |
class | thorin::TBound< Up > |
Specific Bound depending on Up . More... | |
class | thorin::Ac |
Constructs a Meet value. More... | |
class | thorin::Vel |
Constructs a Join value. More... | |
class | thorin::Pick |
Picks the aspect of a Meet [value](Pick::value) by its [type](Def::type). More... | |
class | thorin::Test |
Test whether Test::value currently holds type Test::probe: More... | |
class | thorin::Ext |
Common base for TExtremum. More... | |
class | thorin::TExt< Up > |
Extremum. Either Top (Up ) or Bottom. More... | |
class | thorin::Singleton |
A singleton wraps a type into a higher order type. More... | |
Namespaces | |
namespace | thorin |
Typedefs | |
Lattice | |
using | thorin::Bot = TExt< false > |
using | thorin::Top = TExt< true > |
using | thorin::Meet = TBound< false > |
using | thorin::Join = TBound< true > |