plutus-core-1.38.0.0: Language library for Plutus Core

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 () Source #

succInteger ∷ (TermLike term tyname Name uni DefaultFun, uni `HasTypeAndTermLevel` Integer) ⇒ term () Source #

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

\(i : integer) -> addInteger i 1