| License | Apache-2.0 |
|---|---|
| Safe Haskell | None |
| Language | GHC2021 |
Singular.Registry.Wire.Primitive
Description
The leaf of the registry wire family: the token identifier, output
reference and root values every other wire module builds on, their
ToData/FromData/UnsafeFromData codecs, and the Data
conversion helpers the codecs share. Depends on no sibling; nothing
here is importable by a caller — the public surface is the
Singular.Registry.Types facade.
Synopsis
- newtype OnChainTokenId = OnChainTokenId {
- unOnChainTokenId :: BuiltinByteString
- data OnChainTxOutRef = OnChainTxOutRef {
- txOutRefId :: !BuiltinByteString
- txOutRefIdx :: !Integer
- newtype OnChainRoot = OnChainRoot {
- unOnChainRoot :: ByteString
- mkD :: Data -> BuiltinData
- unD :: BuiltinData -> Data
- bsToD :: ByteString -> Data
- bsFromD :: Data -> Maybe ByteString
- bbsToD :: BuiltinByteString -> Data
- bbsFromD :: Data -> Maybe BuiltinByteString
On-chain domain types (Plutus primitives)
newtype OnChainTokenId Source #
On-chain token identifier (asset name as raw
bytes). Matches Aiken lib/TokenId.
Constructors
| OnChainTokenId | |
Fields
| |
Instances
| Show OnChainTokenId Source # | |
Defined in Singular.Registry.Wire.Primitive Methods showsPrec :: Int -> OnChainTokenId -> ShowS Source # show :: OnChainTokenId -> String Source # showList :: [OnChainTokenId] -> ShowS Source # | |
| Eq OnChainTokenId Source # | |
Defined in Singular.Registry.Wire.Primitive Methods (==) :: OnChainTokenId -> OnChainTokenId -> Bool Source # (/=) :: OnChainTokenId -> OnChainTokenId -> Bool Source # | |
| FromData OnChainTokenId Source # | |
Defined in Singular.Registry.Wire.Primitive Methods fromBuiltinData :: BuiltinData -> Maybe OnChainTokenId | |
| ToData OnChainTokenId Source # | |
Defined in Singular.Registry.Wire.Primitive Methods toBuiltinData :: OnChainTokenId -> BuiltinData | |
| UnsafeFromData OnChainTokenId Source # | |
Defined in Singular.Registry.Wire.Primitive Methods unsafeFromBuiltinData :: BuiltinData -> OnChainTokenId | |
data OnChainTxOutRef Source #
On-chain output reference. Matches Aiken
cardano/transaction/OutputReference.
Constructors
| OnChainTxOutRef | |
Fields
| |
Instances
| Show OnChainTxOutRef Source # | |
Defined in Singular.Registry.Wire.Primitive Methods showsPrec :: Int -> OnChainTxOutRef -> ShowS Source # show :: OnChainTxOutRef -> String Source # showList :: [OnChainTxOutRef] -> ShowS Source # | |
| Eq OnChainTxOutRef Source # | |
Defined in Singular.Registry.Wire.Primitive Methods (==) :: OnChainTxOutRef -> OnChainTxOutRef -> Bool Source # (/=) :: OnChainTxOutRef -> OnChainTxOutRef -> Bool Source # | |
| FromData OnChainTxOutRef Source # | |
Defined in Singular.Registry.Wire.Primitive Methods fromBuiltinData :: BuiltinData -> Maybe OnChainTxOutRef | |
| ToData OnChainTxOutRef Source # | |
Defined in Singular.Registry.Wire.Primitive Methods toBuiltinData :: OnChainTxOutRef -> BuiltinData | |
| UnsafeFromData OnChainTxOutRef Source # | |
Defined in Singular.Registry.Wire.Primitive Methods unsafeFromBuiltinData :: BuiltinData -> OnChainTxOutRef | |
newtype OnChainRoot Source #
On-chain MPF root hash (raw bytes).
Constructors
| OnChainRoot | |
Fields
| |
Instances
| Show OnChainRoot Source # | |
Defined in Singular.Registry.Wire.Primitive Methods showsPrec :: Int -> OnChainRoot -> ShowS Source # show :: OnChainRoot -> String Source # showList :: [OnChainRoot] -> ShowS Source # | |
| Eq OnChainRoot Source # | |
Defined in Singular.Registry.Wire.Primitive Methods (==) :: OnChainRoot -> OnChainRoot -> Bool Source # (/=) :: OnChainRoot -> OnChainRoot -> Bool Source # | |
| FromData OnChainRoot Source # | |
Defined in Singular.Registry.Wire.Primitive Methods fromBuiltinData :: BuiltinData -> Maybe OnChainRoot | |
| ToData OnChainRoot Source # | |
Defined in Singular.Registry.Wire.Primitive Methods toBuiltinData :: OnChainRoot -> BuiltinData | |
| UnsafeFromData OnChainRoot Source # | |
Defined in Singular.Registry.Wire.Primitive Methods unsafeFromBuiltinData :: BuiltinData -> OnChainRoot | |