fun::OrderedRing Concept Reference

Ordered ring concept. More...

#include <common_concepts.h>

Concept definition

template<typename K>
concept fun::OrderedRing =  Ring<K> && STD_ALT::totally_ordered<K>

Detailed Description

Ordered ring concept.

A ring with a total ordering relation that is compatible with ring operations.

Template Parameters

K	A ring type that is totally ordered