BSD Ports

math/hs-semirings 0.7nb3 NetBSD

Two monoids as one, in holy haskimony

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
modified-bsd
Categories
math
Package size
672.5 KiB, 9912.2 KiB installed

Description

Haskellers are usually familiar with monoids and semigroups. A monoid has an appending operation <> (or mappend), and an identity element, mempty. A semigroup has an appending <> operation, but does not require a mempty element.

A Semiring has two appending operations, plus and times, and two respective identity elements, zero and one.

More formally, a Semiring R is a set equipped with two binary relations + and *, such that:

  • (R,+) is a commutative monoid with identity element 0,
  • (R,*) is a monoid with identity element 1,
  • (*) left and right distributes over addition, and multiplication by '0' annihilates R.

Install

Binary package:

pkgin install hs-semirings

From pkgsrc:

cd /usr/pkgsrc/math/hs-semirings && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_640.7nb3
NetBSD 10.1 aarch640.7nb3
SmartOS / illumos x86_640.7nb3
macOS 15 arm640.7nb3

Dependencies

Run dependencies 3
Required by 1