Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleplutus-core-1.70.0.0

PlutusCore.StdLib.Data.Integer

Synopsis

value integer
value succInteger

Packageplutus-core-1.70.0.0
Exports2
LicenceApache-2.0

valueinteger :: HasTypeLevel uni Integer => Type tyname uni ()

valuesuccInteger :: (TermLike term tyname Name uni DefaultFun, HasTypeAndTermLevel uni Integer) => term ()