• Synopsis
    Libraries with a binary representation of natural and integers
  • Categories
    Data Numeric
  • Versions
    3.0.0 2.0.0 0.0.1
  • Dependencies
    base  >= 3.0.0
  • Author
    Brassel/Fischer/Huch
  • Maintainer
    Michael Hanus <mh@informatik.uni-kiel.de>
  • Exported modules
    Data.BinInt Data.BinIntConvert
  • Description
    This package contains libraries with data types for a binary representation of natural and integer numbers. The advantage of this algebraic definition in contrast to built-in integers is the possibility to use them also for narrowing, i.e., functional logic programming. Since the operations are also quite efficient compared to a simple Peano representations, this library is also the basis of the implementation of integers in the Curry implementation KiCS2.
  • License
    BSD-3-Clause / License file
  • Further infos:
Uploaded at Dec 22 15:12:45 2020
Succesfully tested at Oct 17 06:24:54 2021

Curry Package binint

binint - Binary representation of natural and integer numbers

This package contains libraries with data types for a binary representation of natural and integer numbers. It is based on the paper Declaring Numbers by Brassel/Fischer/Huch ENTS 216, 2008.

The advantage of this algebraic definition in contrast to built-in integers is the possibility to use them also for narrowing, i.e., functional logic programming. Since the operations are also quite efficient compared to a simple Peano representations, this library is also the basis of the implementation of integers in the Curry implementation KiCS2.


Download

Checkout with CPM:
cypm checkout binint 3.0.0
Package source:
binint-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/binint.git