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 #
Hashable Integer
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Integer -> Int Source # hash :: Integer -> Int Source #
ToJSON Integer
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Integer -> Value Source # toEncoding :: Integer -> Encoding Source # toJSONList :: [ Integer ] -> Value Source # toEncodingList :: [ Integer ] -> Encoding Source #
ToJSONKey Integer
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSONKey :: ToJSONKeyFunction Integer Source # toJSONKeyList :: ToJSONKeyFunction [ Integer ] Source #
FromJSON Integer	This instance includes a bounds check to prevent maliciously large inputs to fill up the memory of the target system. You can newtype `Scientific` and provide your own instance using `withScientific` if you want to allow larger inputs.
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser Integer Source # parseJSONList :: Value -> Parser [ Integer ] Source #
FromJSONKey Integer
Instance details Defined in Data.Aeson.Types.FromJSON Methods fromJSONKey :: FromJSONKeyFunction Integer Source # fromJSONKeyList :: FromJSONKeyFunction [ Integer ] Source #
Subtractive Integer
Instance details Defined in Basement.Numerical.Subtractive Associated Types type Difference Integer Source # Methods (-) :: Integer -> Integer -> Difference Integer Source #
NFData Integer
Instance details Defined in Control.DeepSeq Methods rnf :: Integer -> () Source #
ExMemoryUsage Integer
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods memoryUsage :: Integer -> ExMemory 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 Integer
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Integer -> Doc b Source # prettyList :: [ Integer ] -> Doc b Source #
Pretty Rational
Instance details Defined in Text.PrettyPrint.Annotated.WL Methods pretty :: Rational -> Doc b Source # prettyList :: [ Rational ] -> Doc b Source #
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	`>>>` `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 #
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 #
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 #
HasConstantIn DefaultUni term => MakeKnownIn DefaultUni term Integer
Instance details Defined in PlutusCore.Default.Universe Methods makeKnown :: Maybe cause -> Integer -> MakeKnownM cause term Source #
HasConstantIn DefaultUni term => ReadKnownIn DefaultUni term Integer
Instance details Defined in PlutusCore.Default.Universe Methods readKnown :: Maybe cause -> term -> ReadKnownM cause Integer Source #
KnownNat n => Reifies (n :: Nat ) Integer
Instance details Defined in Data.Reflection Methods reflect :: proxy n -> Integer Source #
KnownBuiltinTypeAst DefaultUni Integer => KnownTypeAst DefaultUni Integer
Instance details Defined in PlutusCore.Default.Universe Associated Types type ToHoles Integer :: [ Hole ] Source # type ToBinds Integer :: [ Some TyNameRep ] Source # Methods toTypeAst :: proxy Integer -> Type TyName DefaultUni () Source #
Contains DefaultUni Integer
Instance details Defined in PlutusCore.Default.Universe Methods knownUni :: DefaultUni ( Esc Integer ) Source #
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 Difference Integer
Instance details Defined in Basement.Numerical.Subtractive type Difference Integer = Integer
type IntBaseType Integer
Instance details Defined in Data.IntCast type IntBaseType Integer = ' BigIntTag
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 )