axiom.h File Reference

#include <fe/assert.h>
#include "mim/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	mim::Axiom
struct	mim::Axiom::Match< T >
	Type of Match::def_. More...
class	mim::Match< Id, D >

Namespaces
namespace	mim

Concepts
concept	mim::annex_with_subs
concept	mim::annex_without_subs

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

---

Class Documentation

mim::Axiom::Match

struct mim::Axiom::Match

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

Type of Match::def_.

Definition at line 57 of file axiom.h.

Class Members
typedef App	type App