version 0.4.1
Ikarus::Concepts::NegateAble Concept Reference

Concept defining the requirements for types that support negation. More...

#include <ikarus/utils/concepts.hh>

Concept definition

template<typename L>
concept Ikarus::Concepts::NegateAble = requires(L x) { -x; }
Ikarus::Concepts::NegateAble
Concept defining the requirements for types that support negation.
Definition: concepts.hh:324

Detailed Description

Template Parameters
LType of the operand.

The concept specifies that instances of type L can be negated using the unary - operator.