Curry Package 'binint'

API documentation

Package metadata:

binint-2.0.0
------------
Version      2.0.0
Author       Brassel/Fischer/Huch
Maintainer   Michael Hanus <mh@informatik.uni-kiel.de>
Synopsis     Libraries with a binary representation of natural and integers
Category     Data Numeric
Dependencies
Compiler compatibility
    pakcs >= 2.0.0
    kics2 >= 2.0.0
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.
Exported modules
    BinInt ConvertBinInt
Test suite
    Directory     test
    Test modules  TestBinInt
Source
    Git https://git.ps.informatik.uni-kiel.de/curry-packages/binint.git@v2.0.0