plutus-core-1.53.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Evaluation.Builtins.Integer.Common

Documentation

arbitraryBigInteger ∷ Gen Integer Source #

newtype BigInteger Source #

Constructors

BigInteger Integer 

Instances

Instances details
Arbitrary BigInteger Source # 
Instance details

Defined in Evaluation.Builtins.Integer.Common

Methods

arbitrary ∷ Gen BigInteger #

shrink ∷ BigInteger → [BigInteger] #

Num BigInteger Source # 
Instance details

Defined in Evaluation.Builtins.Integer.Common

Methods

(+) ∷ BigInteger → BigInteger → BigInteger Source #

(-) ∷ BigInteger → BigInteger → BigInteger Source #

(*) ∷ BigInteger → BigInteger → BigInteger Source #

negate ∷ BigInteger → BigInteger Source #

abs ∷ BigInteger → BigInteger Source #

signum ∷ BigInteger → BigInteger Source #

fromInteger ∷ Integer → BigInteger Source #

Show BigInteger Source # 
Instance details

Defined in Evaluation.Builtins.Integer.Common

Methods

showsPrec ∷ Int → BigInteger → ShowS Source #

show ∷ BigInteger → String Source #

showList ∷ [BigInteger] → ShowS Source #

Eq BigInteger Source # 
Instance details

Defined in Evaluation.Builtins.Integer.Common

Methods

(==) ∷ BigInteger → BigInteger → Bool Source #

(/=) ∷ BigInteger → BigInteger → Bool Source #

Ord BigInteger Source # 
Instance details

Defined in Evaluation.Builtins.Integer.Common

Methods

compare ∷ BigInteger → BigInteger → Ordering Source #

(<) ∷ BigInteger → BigInteger → Bool Source #

(<=) ∷ BigInteger → BigInteger → Bool Source #

(>) ∷ BigInteger → BigInteger → Bool Source #

(>=) ∷ BigInteger → BigInteger → Bool Source #

max ∷ BigInteger → BigInteger → BigInteger Source #

min ∷ BigInteger → BigInteger → BigInteger Source #

biginteger ∷ BigInteger → PlcTerm Source #

addInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

subtractInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

divideInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

modInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

multiplyInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

quotientInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

remainderInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

equalsInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

lessThanInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

lessThanEqualsInteger ∷ PlcTerm → PlcTerm → PlcTerm Source #

le0 ∷ PlcTerm → PlcTerm Source #

ge0 ∷ PlcTerm → PlcTerm Source #

ite ∷ ∀ a. DefaultUni `HasTypeLevel` a ⇒ PlcTerm → PlcTerm → PlcTerm → PlcTerm Source #

abs ∷ PlcTerm → PlcTerm Source #

not ∷ PlcTerm → PlcTerm Source #

and ∷ PlcTerm → PlcTerm → PlcTerm Source #

or ∷ PlcTerm → PlcTerm → PlcTerm Source #

xor ∷ PlcTerm → PlcTerm → PlcTerm Source #

implies ∷ PlcTerm → PlcTerm → PlcTerm Source #

iff ∷ PlcTerm → PlcTerm → PlcTerm Source #