GitHub - Mr-Andersen/newtype-algebra

Algebraic structures with newtype

Goal: tie implementations of (+), (*) to (<>) and (-), (/) to combination of (<>) and inverse.

Data.Group - intermediate module that defines inverse.
Data.Semiring - re-uses 2 Monoid instances to get zero, (+), one, (*).
Data.Ring and Data.Field - adds Group requirements on top of Semiring to get - and /.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
nix		nix
src/Data		src/Data
.gitignore		.gitignore
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
newtype-algebra.cabal		newtype-algebra.cabal