dedekind::category::LeftActing< Act, M, S > Struct Template Reference

A scalar acting on the left: the arrow \(m \mapsto s \cdot m\) of a semimodule. More...

Collaboration diagram for dedekind::category::LeftActing< Act, M, S >:

Public Types
using	Domain = M
using	Codomain = M

Public Member Functions
constexpr M	operator() (M m) const

Public Attributes
Act	act
S	by

Detailed Description

template<std::semiregular Act, std::semiregular M, std::semiregular S>
requires std::invocable<const Act&, S, M> && std::convertible_to<std::invoke_result_t<const Act&, S, M>, M>
struct dedekind::category::LeftActing< Act, M, S >

A scalar acting on the left: the arrow \(m \mapsto s \cdot m\) of a semimodule.

Template Parameters

Act	the action.
M	the module.
S	the scalars.

---

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

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