plutus-core-0.1.0.0: Language library for Plutus Core
Safe HaskellNone
LanguageHaskell2010

PlutusCore.StdLib.Data.Integer

Description

Functions related to integer.

Synopsis

Documentation

integer :: uni `Includes` Integer => Type tyname uni () Source #

succInteger :: (TermLike term TyName Name uni DefaultFun, uni `Includes` Integer) => term () Source #

succ :: Integer -> Integer as a PLC term.

\(i : integer) -> addInteger i 1