plutus-tx-1.31.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Integer

Synopsis

Documentation

data Integer Source #

Arbitrary precision integers. In contrast with fixed-size integral types such as Int, the Integer type represents the entire infinite range of integers.

Integers are stored in a kind of sign-magnitude form, hence do not expect two's complement form when using bit operations.

If the value is small (fit into an Int), IS constructor is used. Otherwise Integer and IN constructors are used to store a BigNat representing respectively the positive or the negative value magnitude.

Invariant: Integer and IN are used iff value doesn't fit in IS

Instances

Instances details
FromJSON Integer 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON ∷ Value → Parser Integer

parseJSONList ∷ Value → Parser [Integer]

omittedField ∷ Maybe Integer

FromJSONKey Integer 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

fromJSONKey ∷ FromJSONKeyFunction Integer

fromJSONKeyList ∷ FromJSONKeyFunction [Integer]

ToJSON Integer 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON ∷ Integer → Value

toEncoding ∷ Integer → Encoding

toJSONList ∷ [Integer] → Value

toEncodingList ∷ [Integer] → Encoding

omitField ∷ Integer → Bool

ToJSONKey Integer 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONKey ∷ ToJSONKeyFunction Integer

toJSONKeyList ∷ ToJSONKeyFunction [Integer]

Data Integer

Since: base-4.0.0.0

Instance details

Defined in Data.Data

Methods

gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Integer → c Integer Source #

gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Integer Source #

toConstr ∷ Integer → Constr Source #

dataTypeOf ∷ Integer → DataType Source #

dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Integer) Source #

dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Integer) Source #

gmapT ∷ (∀ b. Data b ⇒ b → b) → Integer → Integer Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Integer → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Integer → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Integer → [u] Source #

gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Integer → u Source #

gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Integer → m Integer Source #

gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Integer → m Integer Source #

gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Integer → m Integer Source #

Enum Integer

Since: base-2.1

Instance details

Defined in GHC.Enum

Methods

succ ∷ Integer → Integer Source #

pred ∷ Integer → Integer Source #

toEnum ∷ Int → Integer Source #

fromEnum ∷ Integer → Int Source #

enumFrom ∷ Integer → [Integer] Source #

enumFromThen ∷ Integer → Integer → [Integer] Source #

enumFromTo ∷ Integer → Integer → [Integer] Source #

enumFromThenTo ∷ Integer → Integer → Integer → [Integer] Source #

Ix Integer

Since: base-2.1

Instance details

Defined in GHC.Ix

Methods

range ∷ (Integer, Integer) → [Integer] Source #

index ∷ (Integer, Integer) → Integer → Int Source #

unsafeIndex ∷ (Integer, Integer) → Integer → Int Source #

inRange ∷ (Integer, Integer) → Integer → Bool Source #

rangeSize ∷ (Integer, Integer) → Int Source #

unsafeRangeSize ∷ (Integer, Integer) → Int Source #

Num Integer

Since: base-2.1

Instance details

Defined in GHC.Num

Methods

(+) ∷ Integer → Integer → Integer Source #

(-) ∷ Integer → Integer → Integer Source #

(*) ∷ Integer → Integer → Integer Source #

negate ∷ Integer → Integer Source #

abs ∷ Integer → Integer Source #

signum ∷ Integer → Integer Source #

fromInteger ∷ Integer → Integer Source #

Read Integer

Since: base-2.1

Instance details

Defined in GHC.Read

Methods

readsPrec ∷ Int → ReadS Integer Source #

readList ∷ ReadS [Integer] Source #

readPrec ∷ ReadPrec Integer Source #

readListPrec ∷ ReadPrec [Integer] Source #

Integral Integer

Since: base-2.0.1

Instance details

Defined in GHC.Real

Methods

quot ∷ Integer → Integer → Integer Source #

rem ∷ Integer → Integer → Integer Source #

div ∷ Integer → Integer → Integer Source #

mod ∷ Integer → Integer → Integer Source #

quotRem ∷ Integer → Integer → (Integer, Integer) Source #

divMod ∷ Integer → Integer → (Integer, Integer) Source #

toInteger ∷ Integer → Integer Source #

Real Integer

Since: base-2.0.1

Instance details

Defined in GHC.Real

Methods

toRational ∷ Integer → Rational Source #

Show Integer

Since: base-2.1

Instance details

Defined in GHC.Show

Methods

showsPrec ∷ Int → Integer → ShowS Source #

show ∷ Integer → String Source #

showList ∷ [Integer] → ShowS Source #

Subtractive Integer 
Instance details

Defined in Basement.Numerical.Subtractive

Associated Types

type Difference Integer

Methods

(-) ∷ Integer → Integer → Difference Integer

Default Integer 
Instance details

Defined in Data.Default.Class

Methods

def ∷ Integer Source #

NFData Integer 
Instance details

Defined in Control.DeepSeq

Methods

rnf ∷ Integer → () Source #

Eq Integer 
Instance details

Defined in GHC.Num.Integer

Methods

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

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

Ord Integer 
Instance details

Defined in GHC.Num.Integer

Methods

compare ∷ Integer → Integer → Ordering Source #

(<) ∷ Integer → Integer → Bool Source #

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

(>) ∷ Integer → Integer → Bool Source #

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

max ∷ Integer → Integer → Integer Source #

min ∷ Integer → Integer → Integer Source #

Hashable Integer 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt ∷ Int → Integer → Int Source #

hash ∷ Integer → Int Source #

HasFromBuiltin BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type FromBuiltin BuiltinInteger Source #

Methods

fromBuiltin ∷ BuiltinInteger → FromBuiltin BuiltinInteger Source #

HasToBuiltin Integer Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Integer Source #

Methods

toBuiltin ∷ Integer → ToBuiltin Integer Source #

Enum Integer Source # 
Instance details

Defined in PlutusTx.Enum

Methods

succ ∷ Integer → Integer Source #

pred ∷ Integer → Integer Source #

toEnum ∷ Integer → Integer Source #

fromEnum ∷ Integer → Integer Source #

enumFromTo ∷ Integer → Integer → [Integer] Source #

enumFromThenTo ∷ Integer → Integer → Integer → [Integer] Source #

Eq Integer Source # 
Instance details

Defined in PlutusTx.Eq

Methods

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

FromData Integer Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

fromBuiltinData ∷ BuiltinData → Maybe Integer Source #

ToData Integer Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

toBuiltinData ∷ Integer → BuiltinData Source #

UnsafeFromData Integer Source # 
Instance details

Defined in PlutusTx.IsData.Class

Methods

unsafeFromBuiltinData ∷ BuiltinData → Integer Source #

AdditiveGroup Integer Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

(-) ∷ Integer → Integer → Integer Source #

AdditiveMonoid Integer Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

zero ∷ Integer Source #

AdditiveSemigroup Integer Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

(+) ∷ Integer → Integer → Integer Source #

MultiplicativeMonoid Integer Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

one ∷ Integer Source #

MultiplicativeSemigroup Integer Source # 
Instance details

Defined in PlutusTx.Numeric

Methods

(*) ∷ Integer → Integer → Integer Source #

Ord Integer Source # 
Instance details

Defined in PlutusTx.Ord

Methods

compare ∷ Integer → Integer → Ordering Source #

(<) ∷ Integer → Integer → Bool Source #

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

(>) ∷ Integer → Integer → Bool Source #

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

max ∷ Integer → Integer → Integer Source #

min ∷ Integer → Integer → Integer Source #

Show Integer Source # 
Instance details

Defined in PlutusTx.Show

Methods

showsPrec ∷ Integer → Integer → ShowS Source #

show ∷ Integer → BuiltinString Source #

Pretty Integer
>>> pretty (2^123 :: Integer)
10633823966279326983230456482242756608
Instance details

Defined in Prettyprinter.Internal

Methods

pretty ∷ Integer → Doc ann Source #

prettyList ∷ [Integer] → Doc ann Source #

UniformRange Integer 
Instance details

Defined in System.Random.Internal

Methods

uniformRM ∷ StatefulGen g m ⇒ (Integer, Integer) → g → m Integer Source #

Serialise Integer

Since: serialise-0.2.0.0

Instance details

Defined in Codec.Serialise.Class

Methods

encode ∷ Integer → Encoding Source #

decode ∷ Decoder s Integer Source #

encodeList ∷ [Integer] → Encoding Source #

decodeList ∷ Decoder s [Integer] Source #

Pretty Rational 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

pretty ∷ Rational → Doc b

prettyList ∷ [Rational] → Doc b

Pretty Integer 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

pretty ∷ Integer → Doc b

prettyList ∷ [Integer] → Doc b

HasSchema Integer ts Source # 
Instance details

Defined in PlutusTx.Blueprint.Class

Methods

schema ∷ Schema ts Source #

AsDefinitionId Integer Source # 
Instance details

Defined in PlutusTx.Blueprint.Definition.Id

Methods

definitionId ∷ DefinitionId Source #

HasFromOpaque BuiltinInteger BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

fromOpaque ∷ BuiltinInteger → BuiltinInteger Source #

HasToOpaque BuiltinInteger BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Methods

toOpaque ∷ BuiltinInteger → BuiltinInteger Source #

HasTermLevel uni Integer ⇒ Lift uni BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

lift ∷ BuiltinInteger → RTCompile uni fun (Term TyName Name uni fun ()) Source #

Module Integer Rational Source # 
Instance details

Defined in PlutusTx.Ratio

Methods

scale ∷ Integer → Rational → Rational Source #

DefaultPrettyBy config Integer 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy ∷ config → Integer → Doc ann Source #

defaultPrettyListBy ∷ config → [Integer] → Doc ann Source #

NonDefaultPrettyBy ConstConfig Integer 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

nonDefaultPrettyBy ∷ ConstConfig → Integer → Doc ann Source #

nonDefaultPrettyListBy ∷ ConstConfig → [Integer] → Doc ann Source #

PrettyDefaultBy config Integer ⇒ PrettyBy config Integer
>>> prettyBy () (2^(123 :: Int) :: Integer)
10633823966279326983230456482242756608
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy ∷ config → Integer → Doc ann Source #

prettyListBy ∷ config → [Integer] → Doc ann Source #

Lift Integer 
Instance details

Defined in Language.Haskell.TH.Syntax

Methods

lift ∷ Quote m ⇒ Integer → m Exp Source #

liftTyped ∷ ∀ (m ∷ Type → Type). Quote m ⇒ Integer → Code m Integer Source #

KnownBuiltinTypeIn DefaultUni term Integer ⇒ MakeKnownIn DefaultUni term Integer 
Instance details

Defined in PlutusCore.Default.Universe

Methods

makeKnown ∷ Integer → BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Integer ⇒ ReadKnownIn DefaultUni term Integer 
Instance details

Defined in PlutusCore.Default.Universe

Methods

readKnown ∷ term → ReadKnownM Integer Source #

Contains DefaultUni Integer 
Instance details

Defined in PlutusCore.Default.Universe

Methods

knownUni ∷ DefaultUni (Esc Integer) Source #

HasTypeLevel uni Integer ⇒ Typeable uni BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Lift.Class

Methods

typeRep ∷ Proxy BuiltinInteger → RTCompile uni fun (Type TyName uni ()) Source #

KnownNat n ⇒ Reifies (n ∷ Nat) Integer 
Instance details

Defined in Data.Reflection

Methods

reflect ∷ proxy n → Integer

KnownBuiltinTypeAst tyname DefaultUni Integer ⇒ KnownTypeAst tyname DefaultUni Integer 
Instance details

Defined in PlutusCore.Default.Universe

Associated Types

type IsBuiltin DefaultUni Integer ∷ Bool Source #

type ToHoles DefaultUni Integer ∷ [Hole] Source #

type ToBinds DefaultUni acc Integer ∷ [Some TyNameRep] Source #

Methods

typeAst ∷ Type tyname DefaultUni () Source #

type Difference Integer 
Instance details

Defined in Basement.Numerical.Subtractive

type Difference Integer = Integer
type FromBuiltin BuiltinInteger Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type FromBuiltin BuiltinInteger = Integer
type ToBuiltin Integer Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type ToBuiltin Integer = BuiltinInteger
type IsBuiltin DefaultUni Integer 
Instance details

Defined in PlutusCore.Default.Universe

type IsBuiltin DefaultUni Integer = IsBuiltin DefaultUni (ElaborateBuiltin DefaultUni Integer)
type ToHoles DefaultUni Integer 
Instance details

Defined in PlutusCore.Default.Universe

type ToHoles DefaultUni Integer = ToHoles DefaultUni (ElaborateBuiltin DefaultUni Integer)
type ToBinds DefaultUni acc Integer 
Instance details

Defined in PlutusCore.Default.Universe

type ToBinds DefaultUni acc Integer = ToBinds DefaultUni acc (ElaborateBuiltin DefaultUni Integer)