Moduleweb3-solidity-1.1.0.0Haskell2010

Data.Solidity.Prim.Int

Ethereum Abi intN and uintN types.

2 types
2 values

Packageweb3-solidity-1.1.0.0
Exports4
LanguageHaskell2010
LicenceApache-2.0
SourceInt.hs

The `IntN` type

1 declaration

newtypenewtype IntN (n :: Nat)

Signed integer with fixed length in bits.

Instances15Bounded, Enum, Eq, Integral, Num, Ord, …

KnownNat n => Bounded (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Enum (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Eq (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Integral (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Num (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Ord (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Real (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Show (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Generic (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Bits (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => ToJSON (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiGet (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiPut (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiType (IntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
type Rep (IntN n) = D1 ('MetaData "IntN" "Data.Solidity.Prim.Int" "web3-solidity-1.1.0.0-G445E1HOMhq7NZtXqjQhxQ" 'True) (C1 ('MetaCons "IntN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int

The `UIntN` type

1 declaration

newtypenewtype UIntN (n :: Nat)

Unsigned integer with fixed length in bits.

Instances15Bounded, Enum, Eq, Integral, Num, Ord, …

KnownNat n => Bounded (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Enum (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Eq (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Integral (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Num (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Ord (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Real (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => Show (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Generic (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
Bits (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => ToJSON (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiGet (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiPut (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
KnownNat n => AbiType (UIntN n)Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int
type Rep (UIntN n) = D1 ('MetaData "UIntN" "Data.Solidity.Prim.Int" "web3-solidity-1.1.0.0-G445E1HOMhq7NZtXqjQhxQ" 'True) (C1 ('MetaCons "UIntN" 'PrefixI 'True) (S1 ('MetaSel ('Just "unUIntN") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word256)))Defined in web3-solidity-1.1.0.0 · Data.Solidity.Prim.Int

`Word256` serializers

2 declarations

valuegetWord256 :: Get Word256

Deserialize 256 bit unsigned integer.

valueputWord256 :: Putter Word256

Serialize 256 bit unsigned integer.

Orphan instances

2 instances

Integral Word256
Real Word256

The IntN type

The UIntN type

Word256 serializers

Orphan instances

The `IntN` type

The `UIntN` type

`Word256` serializers