Safe Haskell	None
Language	Haskell2010

PlutusCore.StdLib.Data.Integer

Description

Functions related to integer.

Synopsis

integer :: forall (uni :: Type -> Type) tyname. HasTypeLevel uni Integer => Type tyname uni ()
succInteger :: forall term tyname (uni :: Type -> Type). (TermLike term tyname Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()

Documentation

integer :: forall (uni :: Type -> Type) tyname. HasTypeLevel uni Integer => Type tyname uni () Source #

succInteger :: forall term tyname (uni :: Type -> Type). (TermLike term tyname Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term () Source #

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

\(i : integer) -> addInteger i 1