axiom.h File Reference

#include <fe/assert.h>
#include "thorin/plugin.h"

Include dependency graph for axiom.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	thorin::Axiom
struct	thorin::Axiom::Match< T >
	Type of Match::def_. More...
class	thorin::Match< Id, D >

Namespaces
namespace	thorin

Concepts
concept	thorin::annex_with_subs
concept	thorin::annex_without_subs

Functions
match/force
See also Matching Axioms
template<class Id , bool DynCast = true>
auto	thorin::match (Ref def)
template<class Id , bool DynCast = true>
auto	thorin::match (Id id, Ref def)
template<class Id >
auto	thorin::force (Ref def)
template<class Id >
auto	thorin::force (Id id, Ref def)
is_commutative/is_associative
template<class Id >
constexpr bool	thorin::is_commutative (Id)
template<class Id >
constexpr bool	thorin::is_associative (Id id)

---

Class Documentation

thorin::Axiom::Match

struct thorin::Axiom::Match

template<class T>
struct thorin::Axiom::Match< T >

Type of Match::def_.

Definition at line 57 of file axiom.h.

Class Members
typedef App	type