HORIZON HASKELLDocslts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleplutus-tx-1.70.0.0

PlutusTx.Builtins

  • 11 types
  • 127 values
datadata ByteOrder
#

Byte ordering.

Constructors

  • BigEndian

    most-significant-byte occurs in lowest address.

  • LittleEndian

    least-significant-byte occurs in lowest address.

Instances8Bounded, Enum, Eq, Ord, Read, Show, …
newtypenewtype BuiltinByteStringHex
#
Instances12Eq, Ord, Show, IsString, Semigroup, Monoid, …
newtypenewtype BuiltinByteStringUtf8
#
Instances12Eq, Ord, Show, IsString, Semigroup, Monoid, …
datadata BuiltinArray a
#
Instances9Lift, Eq, Data, Ord, Show, MkNil, …
Instances15Show, NFData, Pretty, FromData, ToData, UnsafeFromData, …
Instances15Show, NFData, Pretty, FromData, ToData, UnsafeFromData, …
Instances13Eq, Show, NFData, Pretty, FromData, ToData, …
datadata BuiltinByteString
#
Instances31Data, IsString, NFData, Pretty, Hashable, Serialise, …
datadata BuiltinData
#
Instances24Data, Ord, Generic, NFData, Pretty, FromData, …
datadata BuiltinString
#
Instances18Data, Ord, IsString, Monoid, HasBlueprintDefinition, Semigroup, …
datadata Integer
#

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 (i.e., fits into an Int), the IS constructor is used. Otherwise IP and IN constructors are used to store a BigNat representing the positive or the negative value magnitude, respectively.

Invariant: IP and IN are used iff the value does not fit in IS.

Instances111Data, Num, Read, Real, Ix, Bits, …