cp_library_rs::algebraic_structure

Module monoid_with_context

Source
Expand description

§モノイド

  • [Monoid::Val] ： データの型 $S$
  • [Monoid::e] ： 単位元を返す関数 $\varnothing \to S$
  • [Monoid::op] ： 演算 $S\times S \to S$

Modules§

examples

Traits§

MonoidCtx
モノイド