Copyright | (c) 2009 Holger Siegel |
---|---|
License | BSD-3-clause |
Maintainer | bjp@informatik.uni-kiel.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Curry.ExtendedFlat.CurryArithmetics
Description
Documentation
Data type for curry's Int
representation
Data type for curry's representation of natural numbers
trNat :: Integral n => a -> (a -> a) -> (a -> a) -> n -> a Source #
Translate a natural number into its algebraic representation, providing functions for representing the highest bit, a zero bit and a one bit.
trInt :: Integral n => (nat -> t) -> t -> (nat -> t) -> nat -> (nat -> nat) -> (nat -> nat) -> n -> t Source #
Translate an Integral
number into its algebraic representation,
providing functions for representing negative numbers, zero, positive
numbers, highest bit, a zero bit and a one bit.