plutus-core-1.0.0.1: Language library for Plutus Core

Safe Haskell	None
Language	Haskell2010

PlutusCore.StdLib.Data.Integer

Description

Functions related to integer .

Synopsis

integer :: uni `Includes` Integer => Type tyname uni ()
succInteger :: ( TermLike term TyName Name uni DefaultFun , uni `Includes` Integer ) => term ()

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