dedekind::category::LeftActingOn< M, S, AddM, AddS, MultS, Act > Struct Template Reference

The arrows by which the scalars act on a semimodule, as a category: certified by the semimodule's laws, so its identity is the scalars' unit. More...

Public Types
using	Species = M
using	Arrow = LeftActing<Act, M, S>
using	Id = IdentityIn<LeftActingOn>

Static Public Member Functions
static constexpr Id	id_c (const M &)
static constexpr Arrow	unit_arrow ()

Detailed Description

template<std::semiregular M, std::semiregular S, std::semiregular AddM, std::semiregular AddS, std::semiregular MultS, std::semiregular Act>
requires IsSemimodule<M, S, AddM, AddS, MultS, Act> && std::invocable<const Act&, S, M>
struct dedekind::category::LeftActingOn< M, S, AddM, AddS, MultS, Act >

The arrows by which the scalars act on a semimodule, as a category: certified by the semimodule's laws, so its identity is the scalars' unit.

Template Parameters

M	the module.
S	the scalars.
AddM
AddS
MultS	the operations.
Act	the action.

---

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

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