dedekind::category::Acting< H, V, S > Struct Template Reference

An element acting: the arrow \(v \mapsto h(v, s)\) on the set the monoid acts on. More...

Collaboration diagram for dedekind::category::Acting< H, V, S >:

Public Types
using	Domain = V
using	Codomain = V

Public Member Functions
constexpr V	operator() (V v) const

Public Attributes
H	h
S	by

Detailed Description

template<std::semiregular H, std::semiregular V, std::semiregular S>
requires std::invocable<const H&, V, S> && std::convertible_to<std::invoke_result_t<const H&, V, S>, V>
struct dedekind::category::Acting< H, V, S >

An element acting: the arrow \(v \mapsto h(v, s)\) on the set the monoid acts on.

Template Parameters

H	the action.
V	what it acts on.
S	the monoid's carrier.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/functor.cppm