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;
    }

Detailed Description

Template Parameters

L	Type of the operand.

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