From 3ada4d3c17a651dac8bf985c2a3e1b090b91462d Mon Sep 17 00:00:00 2001 From: Ben Hutchison Date: Sun, 16 Apr 2023 11:19:12 +1000 Subject: [PATCH] Update Ring-like table in Algebra for Semifield added in #3979 xref https://github.com/typelevel/cats/pull/3979#issuecomment-1509747901 --- docs/algebra.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/algebra.md b/docs/algebra.md index 3dc230040d..7e4972284e 100644 --- a/docs/algebra.md +++ b/docs/algebra.md @@ -55,9 +55,10 @@ All ring-like structures are associative for both `+` and `*`, have commutative |CommutativeRig | | ✓| | ✓| |Ring | ✓| ✓| | | |CommutativeRing | ✓| ✓| | ✓| +|Semifield | | ✓| ✓| | +|CommutativeSemifield| | ✓| ✓| ✓| |Field | ✓| ✓| ✓| ✓| -With the exception of `CommutativeRig` and `Rng`, every lower structure is also an instance of the structures above it. For example, every `Ring` is a `Rig`, every `Field` is a `CommutativeRing`, and so on. (For a description of what the terminology in each column means, see [§algebraic properties and terminology](#algebraic-properties-and-terminology).)