Thorin 1.9.0
The Higher ORder INtermediate representation
Loading...
Searching...
No Matches
tuple.cpp File Reference
#include "thorin/tuple.h"
#include <cassert>
#include "thorin/world.h"
Include dependency graph for tuple.cpp:

Go to the source code of this file.

Namespaces

namespace  thorin
 

Functions

Helpers to work with Tulpes/Sigmas/Arrays/Packs
bool thorin::is_unit (const Def *)
 
std::string thorin::tuple2str (const Def *)
 
size_t thorin::flatten (DefVec &ops, const Def *def, bool flatten_sigmas=true)
 Same as unflatten, but uses the operands of a flattened pack/tuple directly.
 
const Defthorin::flatten (const Def *def)
 Flattens a sigma/array/pack/tuple.
 
const Defthorin::unflatten (Defs ops, const Def *type, bool flatten_muts=true)
 Same as unflatten, but uses the operands of a flattened pack/tuple directly.
 
const Defthorin::unflatten (const Def *def, const Def *type)
 Applies the reverse transformation on a pack/tuple, given the original type.
 
DefVec thorin::merge (const Def *def, Defs defs)
 
DefVec thorin::merge (Defs, Defs)
 
const Defthorin::merge_sigma (const Def *def, Defs defs)
 
const Defthorin::merge_tuple (const Def *def, Defs defs)
 
Ref thorin::tuple_of_types (Ref t)