Safe Haskell	None
Language	Haskell2010

PlutusTx.Integer

Synopsis

data Integer

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.

For more information about this type's representation, see the comments in its implementation.

Instances

Instances details

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 #
Eq Integer
Instance details Defined in GHC.Integer.Type Methods (==) :: Integer -> Integer -> Bool Source # (/=) :: Integer -> Integer -> Bool 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 #
Data Integer	Since: base-4.0.0.0
Instance details Defined in Data.Data Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Integer -> c Integer Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Integer Source # toConstr :: Integer -> Constr Source # dataTypeOf :: Integer -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Integer) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Integer) Source # gmapT :: (forall b. Data b => b -> b) -> Integer -> Integer Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Integer -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Integer -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Integer -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Integer -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Integer -> m Integer Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Integer -> m Integer Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Integer -> m Integer 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 #
Ord Integer
Instance details Defined in GHC.Integer.Type 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 #
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 #
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 #
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 #
NFData Integer
Instance details Defined in Control.DeepSeq Methods rnf :: Integer -> () Source #
Serialise Integer
Instance details Defined in Codec.Serialise.Class Methods encode :: Integer -> Encoding decode :: Decoder s Integer encodeList :: [Integer] -> Encoding decodeList :: Decoder s [Integer]
FromJSON Integer
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Integer parseJSONList :: Value -> Parser [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
ToJSONKey Integer
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Integer toJSONKeyList :: ToJSONKeyFunction [Integer]
Pretty Integer
Instance details Defined in Prettyprinter.Internal Methods pretty :: Integer -> Doc ann prettyList :: [Integer] -> Doc ann
Hashable Integer
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Integer -> Int hash :: Integer -> Int
UniformRange Integer
Instance details Defined in System.Random.Internal Methods uniformRM :: StatefulGen g m => (Integer, Integer) -> g -> m Integer
Pretty Integer
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Integer -> Doc b prettyList :: [Integer] -> Doc b
Pretty Rational
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Rational -> Doc b prettyList :: [Rational] -> Doc b
Subtractive Integer
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Integer Methods (-) :: Integer -> Integer -> Difference Integer
ExMemoryUsage Integer
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Integer -> ExMemory
Eq Integer Source #
Instance details Defined in PlutusTx.Eq Methods (==) :: Integer -> Integer -> Bool 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 #
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 #
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 #
UnsafeFromData Integer Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> Integer 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 #
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 #
Lift Integer
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Integer -> Q Exp Source # liftTyped :: Integer -> Q (TExp Integer) Source #
PrettyDefaultBy config Integer => PrettyBy config Integer
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Integer -> Doc ann prettyListBy :: config -> [Integer] -> Doc ann
DefaultPrettyBy config Integer
Instance details Defined in Text.PrettyBy.Internal Methods defaultPrettyBy :: config -> Integer -> Doc ann defaultPrettyListBy :: config -> [Integer] -> Doc ann
NonDefaultPrettyBy ConstConfig Integer
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> Integer -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [Integer] -> Doc ann
Includes uni Integer => Lift uni Integer Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: Integer -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
ToBuiltin Integer BuiltinInteger Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Integer -> BuiltinInteger Source #
FromBuiltin BuiltinInteger Integer Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinInteger -> Integer Source #
Module Integer Rational Source #
Instance details Defined in PlutusTx.Ratio Methods scale :: Integer -> Rational -> Rational Source #
KnownNat n => Reifies (n :: Nat) Integer
Instance details Defined in Data.Reflection Methods reflect :: proxy n -> Integer
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Integer
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Integer -> MakeKnownM cause term
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Integer
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Integer
Contains DefaultUni Integer
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni (Esc Integer)
KnownBuiltinTypeAst DefaultUni Integer => KnownTypeAst DefaultUni Integer
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Integer :: [Hole] type ToBinds Integer :: [Some TyNameRep] Methods toTypeAst :: proxy Integer -> Type TyName DefaultUni ()
Includes uni Integer => Typeable uni Integer Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy Integer -> RTCompile uni fun (Type TyName uni ()) Source #
type IntBaseType Integer
Instance details Defined in Data.IntCast type IntBaseType Integer = 'BigIntTag
type Difference Integer
Instance details Defined in Basement.Numerical.Subtractive type Difference Integer = Integer
type ToBinds Integer
Instance details Defined in PlutusCore.Default.Universe type ToBinds Integer = ToBinds (ElaborateBuiltin Integer)
type ToHoles Integer
Instance details Defined in PlutusCore.Default.Universe type ToHoles Integer = ToHoles (ElaborateBuiltin Integer)