Safe Haskell	None
Language	Haskell2010

PlutusTx.Builtins.Internal

Description

This module contains the special Haskell names that are used to map to builtin types or functions in Plutus Core.

Most users should not use this module directly, but rather use Builtins.

Synopsis

error :: BuiltinUnit -> a
data BuiltinBool = BuiltinBool Bool
true :: BuiltinBool
false :: BuiltinBool
ifThenElse :: BuiltinBool -> a -> a -> a
data BuiltinUnit = BuiltinUnit ()
unitval :: BuiltinUnit
chooseUnit :: BuiltinUnit -> a -> a
type BuiltinInteger = Integer
addInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
subtractInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
multiplyInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
divideInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
modInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
quotientInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
remainderInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger
lessThanInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool
lessThanEqualsInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool
equalsInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool
data BuiltinByteString = BuiltinByteString ByteString
appendByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString
consByteString :: BuiltinInteger -> BuiltinByteString -> BuiltinByteString
sliceByteString :: BuiltinInteger -> BuiltinInteger -> BuiltinByteString -> BuiltinByteString
lengthOfByteString :: BuiltinByteString -> BuiltinInteger
indexByteString :: BuiltinByteString -> BuiltinInteger -> BuiltinInteger
emptyByteString :: BuiltinByteString
sha2_256 :: BuiltinByteString -> BuiltinByteString
sha3_256 :: BuiltinByteString -> BuiltinByteString
blake2b_256 :: BuiltinByteString -> BuiltinByteString
verifyEd25519Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool
verifyEcdsaSecp256k1Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool
verifySchnorrSecp256k1Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool
traceAll :: forall (a :: Type) (f :: Type -> Type). Foldable f => f Text -> a -> a
equalsByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool
lessThanByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool
lessThanEqualsByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool
decodeUtf8 :: BuiltinByteString -> BuiltinString
data BuiltinString = BuiltinString Text
appendString :: BuiltinString -> BuiltinString -> BuiltinString
emptyString :: BuiltinString
equalsString :: BuiltinString -> BuiltinString -> BuiltinBool
trace :: BuiltinString -> a -> a
encodeUtf8 :: BuiltinString -> BuiltinByteString
data BuiltinPair a b = BuiltinPair (a, b)
fst :: BuiltinPair a b -> a
snd :: BuiltinPair a b -> b
mkPairData :: BuiltinData -> BuiltinData -> BuiltinPair BuiltinData BuiltinData
data BuiltinList a = BuiltinList [a]
null :: BuiltinList a -> BuiltinBool
head :: BuiltinList a -> a
tail :: BuiltinList a -> BuiltinList a
chooseList :: BuiltinList a -> b -> b -> b
mkNilData :: BuiltinUnit -> BuiltinList BuiltinData
mkNilPairData :: BuiltinUnit -> BuiltinList (BuiltinPair BuiltinData BuiltinData)
mkCons :: a -> BuiltinList a -> BuiltinList a
data BuiltinData = BuiltinData Data
builtinDataToData :: BuiltinData -> Data
dataToBuiltinData :: Data -> BuiltinData
chooseData :: forall a. BuiltinData -> a -> a -> a -> a -> a -> a
mkConstr :: BuiltinInteger -> BuiltinList BuiltinData -> BuiltinData
mkMap :: BuiltinList (BuiltinPair BuiltinData BuiltinData) -> BuiltinData
mkList :: BuiltinList BuiltinData -> BuiltinData
mkI :: BuiltinInteger -> BuiltinData
mkB :: BuiltinByteString -> BuiltinData
unsafeDataAsConstr :: BuiltinData -> BuiltinPair BuiltinInteger (BuiltinList BuiltinData)
unsafeDataAsMap :: BuiltinData -> BuiltinList (BuiltinPair BuiltinData BuiltinData)
unsafeDataAsList :: BuiltinData -> BuiltinList BuiltinData
unsafeDataAsI :: BuiltinData -> BuiltinInteger
unsafeDataAsB :: BuiltinData -> BuiltinByteString
equalsData :: BuiltinData -> BuiltinData -> BuiltinBool
serialiseData :: BuiltinData -> BuiltinByteString

Documentation

error :: BuiltinUnit -> a Source #

data BuiltinBool Source #

Constructors

BuiltinBool Bool

Instances

Instances details

Data BuiltinBool Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinBool -> c BuiltinBool Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinBool Source # toConstr :: BuiltinBool -> Constr Source # dataTypeOf :: BuiltinBool -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinBool) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinBool) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinBool -> BuiltinBool Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinBool -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinBool -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinBool -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinBool -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinBool -> m BuiltinBool Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinBool -> m BuiltinBool Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinBool -> m BuiltinBool Source #
ToBuiltin Bool BuiltinBool Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Bool -> BuiltinBool Source #
FromBuiltin BuiltinBool Bool Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinBool -> Bool Source #

true :: BuiltinBool Source #

false :: BuiltinBool Source #

ifThenElse :: BuiltinBool -> a -> a -> a Source #

data BuiltinUnit Source #

Constructors

BuiltinUnit ()

Instances

Instances details

Data BuiltinUnit Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinUnit -> c BuiltinUnit Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinUnit Source # toConstr :: BuiltinUnit -> Constr Source # dataTypeOf :: BuiltinUnit -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinUnit) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinUnit) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinUnit -> BuiltinUnit Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinUnit -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinUnit -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinUnit -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinUnit -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinUnit -> m BuiltinUnit Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinUnit -> m BuiltinUnit Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinUnit -> m BuiltinUnit Source #
ToBuiltin () BuiltinUnit Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: () -> BuiltinUnit Source #
FromBuiltin BuiltinUnit () Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinUnit -> () Source #

unitval :: BuiltinUnit Source #

chooseUnit :: BuiltinUnit -> a -> a Source #

type BuiltinInteger = Integer Source #

addInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

subtractInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

multiplyInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

divideInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

modInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

quotientInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

remainderInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinInteger Source #

lessThanInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool Source #

lessThanEqualsInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool Source #

equalsInteger :: BuiltinInteger -> BuiltinInteger -> BuiltinBool Source #

data BuiltinByteString Source #

An opaque type representing Plutus Core ByteStrings.

Constructors

BuiltinByteString ByteString

Instances

Instances details

Eq BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (/=) :: BuiltinByteString -> BuiltinByteString -> Bool Source #
Data BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinByteString -> c BuiltinByteString Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinByteString Source # toConstr :: BuiltinByteString -> Constr Source # dataTypeOf :: BuiltinByteString -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinByteString) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinByteString) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinByteString -> BuiltinByteString Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinByteString -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinByteString -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinByteString -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinByteString -> m BuiltinByteString Source #
Ord BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinByteString -> BuiltinByteString -> Ordering Source # (<) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (<=) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (>) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (>=) :: BuiltinByteString -> BuiltinByteString -> Bool Source # max :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source # min :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #
Show BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinByteString -> ShowS Source # show :: BuiltinByteString -> String Source # showList :: [BuiltinByteString] -> ShowS Source #
IsString BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromString :: String -> BuiltinByteString Source #
Semigroup BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source # sconcat :: NonEmpty BuiltinByteString -> BuiltinByteString Source # stimes :: Integral b => b -> BuiltinByteString -> BuiltinByteString Source #
Monoid BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods mempty :: BuiltinByteString Source # mappend :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source # mconcat :: [BuiltinByteString] -> BuiltinByteString Source #
NFData BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods rnf :: BuiltinByteString -> () Source #
Serialise BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods encode :: BuiltinByteString -> Encoding decode :: Decoder s BuiltinByteString encodeList :: [BuiltinByteString] -> Encoding decodeList :: Decoder s [BuiltinByteString]
Pretty BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty :: BuiltinByteString -> Doc ann prettyList :: [BuiltinByteString] -> Doc ann
Hashable BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods hashWithSalt :: Int -> BuiltinByteString -> Int hash :: BuiltinByteString -> Int
ByteArray BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods allocRet :: Int -> (Ptr p -> IO a) -> IO (a, BuiltinByteString)
ByteArrayAccess BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods length :: BuiltinByteString -> Int withByteArray :: BuiltinByteString -> (Ptr p -> IO a) -> IO a copyByteArrayToPtr :: BuiltinByteString -> Ptr p -> IO ()
Eq BuiltinByteString Source #
Instance details Defined in PlutusTx.Eq Methods (==) :: BuiltinByteString -> BuiltinByteString -> Bool Source #
Ord BuiltinByteString Source #
Instance details Defined in PlutusTx.Ord Methods compare :: BuiltinByteString -> BuiltinByteString -> Ordering Source # (<) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (<=) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (>) :: BuiltinByteString -> BuiltinByteString -> Bool Source # (>=) :: BuiltinByteString -> BuiltinByteString -> Bool Source # max :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source # min :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #
Semigroup BuiltinByteString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #
Monoid BuiltinByteString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty :: BuiltinByteString Source #
UnsafeFromData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> BuiltinByteString Source #
FromData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe BuiltinByteString Source #
ToData BuiltinByteString Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: BuiltinByteString -> BuiltinData Source #
Includes uni ByteString => Lift uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinByteString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
ToBuiltin ByteString BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: ByteString -> BuiltinByteString Source #
FromBuiltin BuiltinByteString ByteString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinByteString -> ByteString Source #
Includes uni ByteString => Typeable uni BuiltinByteString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinByteString -> RTCompile uni fun (Type TyName uni ()) Source #

appendByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString Source #

consByteString :: BuiltinInteger -> BuiltinByteString -> BuiltinByteString Source #

sliceByteString :: BuiltinInteger -> BuiltinInteger -> BuiltinByteString -> BuiltinByteString Source #

lengthOfByteString :: BuiltinByteString -> BuiltinInteger Source #

indexByteString :: BuiltinByteString -> BuiltinInteger -> BuiltinInteger Source #

emptyByteString :: BuiltinByteString Source #

sha2_256 :: BuiltinByteString -> BuiltinByteString Source #

sha3_256 :: BuiltinByteString -> BuiltinByteString Source #

blake2b_256 :: BuiltinByteString -> BuiltinByteString Source #

verifyEd25519Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

verifyEcdsaSecp256k1Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

verifySchnorrSecp256k1Signature :: BuiltinByteString -> BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

traceAll :: forall (a :: Type) (f :: Type -> Type). Foldable f => f Text -> a -> a Source #

equalsByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

lessThanByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

lessThanEqualsByteString :: BuiltinByteString -> BuiltinByteString -> BuiltinBool Source #

decodeUtf8 :: BuiltinByteString -> BuiltinString Source #

data BuiltinString Source #

Constructors

BuiltinString Text

Instances

Instances details

Eq BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinString -> BuiltinString -> Bool Source # (/=) :: BuiltinString -> BuiltinString -> Bool Source #
Data BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinString -> c BuiltinString Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinString Source # toConstr :: BuiltinString -> Constr Source # dataTypeOf :: BuiltinString -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinString) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinString) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinString -> BuiltinString Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinString -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinString -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinString -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinString -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinString -> m BuiltinString Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinString -> m BuiltinString Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinString -> m BuiltinString Source #
Ord BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinString -> BuiltinString -> Ordering Source # (<) :: BuiltinString -> BuiltinString -> Bool Source # (<=) :: BuiltinString -> BuiltinString -> Bool Source # (>) :: BuiltinString -> BuiltinString -> Bool Source # (>=) :: BuiltinString -> BuiltinString -> Bool Source # max :: BuiltinString -> BuiltinString -> BuiltinString Source # min :: BuiltinString -> BuiltinString -> BuiltinString Source #
Show BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinString -> ShowS Source # show :: BuiltinString -> String Source # showList :: [BuiltinString] -> ShowS Source #
IsString BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromString :: String -> BuiltinString Source #
Eq BuiltinString Source #
Instance details Defined in PlutusTx.Eq Methods (==) :: BuiltinString -> BuiltinString -> Bool Source #
Semigroup BuiltinString Source #
Instance details Defined in PlutusTx.Semigroup Methods (<>) :: BuiltinString -> BuiltinString -> BuiltinString Source #
Monoid BuiltinString Source #
Instance details Defined in PlutusTx.Monoid Methods mempty :: BuiltinString Source #
Includes uni Text => Lift uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinString -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
ToBuiltin Text BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: Text -> BuiltinString Source #
FromBuiltin BuiltinString Text Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinString -> Text Source #
Includes uni Text => Typeable uni BuiltinString Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinString -> RTCompile uni fun (Type TyName uni ()) Source #

appendString :: BuiltinString -> BuiltinString -> BuiltinString Source #

emptyString :: BuiltinString Source #

equalsString :: BuiltinString -> BuiltinString -> BuiltinBool Source #

trace :: BuiltinString -> a -> a Source #

encodeUtf8 :: BuiltinString -> BuiltinByteString Source #

data BuiltinPair a b Source #

Constructors

BuiltinPair (a, b)

Instances

Instances details

ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [(BuiltinData, BuiltinData)] -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
(Eq a, Eq b) => Eq (BuiltinPair a b) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source # (/=) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source #
(Data a, Data b) => Data (BuiltinPair a b) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> BuiltinPair a b -> c (BuiltinPair a b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BuiltinPair a b) Source # toConstr :: BuiltinPair a b -> Constr Source # dataTypeOf :: BuiltinPair a b -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BuiltinPair a b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BuiltinPair a b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> BuiltinPair a b -> BuiltinPair a b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinPair a b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinPair a b -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinPair a b -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinPair a b -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinPair a b -> m (BuiltinPair a b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinPair a b -> m (BuiltinPair a b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinPair a b -> m (BuiltinPair a b) Source #
(Ord a, Ord b) => Ord (BuiltinPair a b) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinPair a b -> BuiltinPair a b -> Ordering Source # (<) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source # (<=) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source # (>) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source # (>=) :: BuiltinPair a b -> BuiltinPair a b -> Bool Source # max :: BuiltinPair a b -> BuiltinPair a b -> BuiltinPair a b Source # min :: BuiltinPair a b -> BuiltinPair a b -> BuiltinPair a b Source #
(Show a, Show b) => Show (BuiltinPair a b) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinPair a b -> ShowS Source # show :: BuiltinPair a b -> String Source # showList :: [BuiltinPair a b] -> ShowS Source #
ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData Source #
(FromBuiltin arep a, FromBuiltin brep b) => FromBuiltin (BuiltinPair arep brep) (a, b) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinPair arep brep -> (a, b) Source #

fst :: BuiltinPair a b -> a Source #

snd :: BuiltinPair a b -> b Source #

mkPairData :: BuiltinData -> BuiltinData -> BuiltinPair BuiltinData BuiltinData Source #

data BuiltinList a Source #

Constructors

BuiltinList [a]

Instances

Instances details

(FromBuiltin arep a, Includes uni [a]) => Lift uni (BuiltinList arep) Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinList arep -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
Eq a => Eq (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinList a -> BuiltinList a -> Bool Source # (/=) :: BuiltinList a -> BuiltinList a -> Bool Source #
Data a => Data (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinList a -> c (BuiltinList a) Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BuiltinList a) Source # toConstr :: BuiltinList a -> Constr Source # dataTypeOf :: BuiltinList a -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BuiltinList a)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BuiltinList a)) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinList a -> BuiltinList a Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinList a -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinList a -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinList a -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinList a -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinList a -> m (BuiltinList a) Source #
Ord a => Ord (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinList a -> BuiltinList a -> Ordering Source # (<) :: BuiltinList a -> BuiltinList a -> Bool Source # (<=) :: BuiltinList a -> BuiltinList a -> Bool Source # (>) :: BuiltinList a -> BuiltinList a -> Bool Source # (>=) :: BuiltinList a -> BuiltinList a -> Bool Source # max :: BuiltinList a -> BuiltinList a -> BuiltinList a Source # min :: BuiltinList a -> BuiltinList a -> BuiltinList a Source #
Show a => Show (BuiltinList a) Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinList a -> ShowS Source # show :: BuiltinList a -> String Source # showList :: [BuiltinList a] -> ShowS Source #
ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [(BuiltinData, BuiltinData)] -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
ToBuiltin [BuiltinData] (BuiltinList BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [BuiltinData] -> BuiltinList BuiltinData Source #
FromBuiltin arep a => FromBuiltin (BuiltinList arep) [a] Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinList arep -> [a] Source #

null :: BuiltinList a -> BuiltinBool Source #

head :: BuiltinList a -> a Source #

tail :: BuiltinList a -> BuiltinList a Source #

chooseList :: BuiltinList a -> b -> b -> b Source #

mkNilData :: BuiltinUnit -> BuiltinList BuiltinData Source #

mkNilPairData :: BuiltinUnit -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

mkCons :: a -> BuiltinList a -> BuiltinList a Source #

data BuiltinData Source #

A type corresponding to the Plutus Core builtin equivalent of Data.

The point of this type is to be an opaque equivalent of Data, so as to ensure that it is only used in ways that the compiler can handle.

As such, you should use this type in your on-chain code, and in any data structures that you want to be representable on-chain.

For off-chain usage, there are conversion functions builtinDataToData and dataToBuiltinData, but note that these will not work on-chain.

Constructors

BuiltinData Data

Instances

Instances details

Eq BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods (==) :: BuiltinData -> BuiltinData -> Bool Source # (/=) :: BuiltinData -> BuiltinData -> Bool Source #
Data BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinData -> c BuiltinData Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinData Source # toConstr :: BuiltinData -> Constr Source # dataTypeOf :: BuiltinData -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinData) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinData) Source # gmapT :: (forall b. Data b => b -> b) -> BuiltinData -> BuiltinData Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinData -> r Source # gmapQ :: (forall d. Data d => d -> u) -> BuiltinData -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinData -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinData -> m BuiltinData Source #
Ord BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods compare :: BuiltinData -> BuiltinData -> Ordering Source # (<) :: BuiltinData -> BuiltinData -> Bool Source # (<=) :: BuiltinData -> BuiltinData -> Bool Source # (>) :: BuiltinData -> BuiltinData -> Bool Source # (>=) :: BuiltinData -> BuiltinData -> Bool Source # max :: BuiltinData -> BuiltinData -> BuiltinData Source # min :: BuiltinData -> BuiltinData -> BuiltinData Source #
Show BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods showsPrec :: Int -> BuiltinData -> ShowS Source # show :: BuiltinData -> String Source # showList :: [BuiltinData] -> ShowS Source #
NFData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods rnf :: BuiltinData -> () Source #
Pretty BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty :: BuiltinData -> Doc ann prettyList :: [BuiltinData] -> Doc ann
Eq BuiltinData Source #
Instance details Defined in PlutusTx.Eq Methods (==) :: BuiltinData -> BuiltinData -> Bool Source #
UnsafeFromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods unsafeFromBuiltinData :: BuiltinData -> BuiltinData Source #
FromData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods fromBuiltinData :: BuiltinData -> Maybe BuiltinData Source #
ToData BuiltinData Source #
Instance details Defined in PlutusTx.IsData.Class Methods toBuiltinData :: BuiltinData -> BuiltinData Source #
Includes uni Data => Lift uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods lift :: BuiltinData -> RTCompile uni fun (Term TyName Name uni fun ()) Source #
ToBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: BuiltinData -> BuiltinData Source #
FromBuiltin BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.Class Methods fromBuiltin :: BuiltinData -> BuiltinData Source #
Includes uni Data => Typeable uni BuiltinData Source #
Instance details Defined in PlutusTx.Lift.Instances Methods typeRep :: Proxy BuiltinData -> RTCompile uni fun (Type TyName uni ()) Source #
ToBuiltin [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [(BuiltinData, BuiltinData)] -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
ToBuiltin [BuiltinData] (BuiltinList BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: [BuiltinData] -> BuiltinList BuiltinData Source #
ToBuiltin (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.Class Methods toBuiltin :: (BuiltinData, BuiltinData) -> BuiltinPair BuiltinData BuiltinData Source #

builtinDataToData :: BuiltinData -> Data Source #

Convert a BuiltinData into a Data. Only works off-chain.

dataToBuiltinData :: Data -> BuiltinData Source #

Convert a Data into a BuiltinData. Only works off-chain.

chooseData :: forall a. BuiltinData -> a -> a -> a -> a -> a -> a Source #

mkConstr :: BuiltinInteger -> BuiltinList BuiltinData -> BuiltinData Source #

mkMap :: BuiltinList (BuiltinPair BuiltinData BuiltinData) -> BuiltinData Source #

mkList :: BuiltinList BuiltinData -> BuiltinData Source #

mkI :: BuiltinInteger -> BuiltinData Source #

mkB :: BuiltinByteString -> BuiltinData Source #

unsafeDataAsConstr :: BuiltinData -> BuiltinPair BuiltinInteger (BuiltinList BuiltinData) Source #

unsafeDataAsMap :: BuiltinData -> BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #

unsafeDataAsList :: BuiltinData -> BuiltinList BuiltinData Source #

unsafeDataAsI :: BuiltinData -> BuiltinInteger Source #

unsafeDataAsB :: BuiltinData -> BuiltinByteString Source #

equalsData :: BuiltinData -> BuiltinData -> BuiltinBool Source #

serialiseData :: BuiltinData -> BuiltinByteString Source #