| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.StdLib.Data.Integer
Description
Functions related to integer.
Synopsis
- integer :: uni `HasTypeLevel` Integer => Type tyname uni ()
- succInteger :: (TermLike term tyname Name uni DefaultFun, uni `HasTypeAndTermLevel` Integer) => term ()
Documentation
integer :: uni `HasTypeLevel` Integer => Type tyname uni () #
succInteger :: (TermLike term tyname Name uni DefaultFun, uni `HasTypeAndTermLevel` Integer) => term () #
succ :: Integer -> Integer as a PLC term.
\(i : integer) -> addInteger i 1