Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Functions related to integer
.
Synopsis
- integer ∷ uni `HasTypeLevel` Integer ⇒ Type tyname uni ()
- succInteger ∷ (TermLike term tyname Name uni DefaultFun, uni `HasTypeAndTermLevel` Integer) ⇒ term ()
Documentation
succInteger ∷ (TermLike term tyname Name uni DefaultFun, uni `HasTypeAndTermLevel` Integer) ⇒ term () Source #
succ :: Integer -> Integer
as a PLC term.
\(i : integer) -> addInteger i 1