BSD Ports

devel/hs-sop-core 0.5.0.2nb7 NetBSD

True Sums of Products

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
License
modified-bsd
Categories
devel
Package size
524.9 KiB, 8370.0 KiB installed

Description

Implementation of n-ary sums and n-ary products.

The module Data.SOP is the main module of this library and contains more detailed documentation.

The main use case of this package is to serve as the core of generics-sop.

A detailed description of the ideas behind this library is provided by the paper:

Edsko de Vries and Andres Loeh. True Sums of Products. Workshop on Generic Programming (WGP) 2014. http://www.andres-loeh.de/TrueSumsOfProducts

Install

Binary package:

pkgin install hs-sop-core

From pkgsrc:

cd /usr/pkgsrc/devel/hs-sop-core && 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.5.0.2nb7
NetBSD 10.1 aarch640.5.0.2nb7
SmartOS / illumos x86_640.5.0.2nb7
macOS 15 arm640.5.0.2nb7

Dependencies

Run dependencies 1