Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.Credential
Synopsis
- data Credential (kr :: KeyRole) crypto
- = ScriptHashObj !(ScriptHash crypto)
- | KeyHashObj !(KeyHash kr crypto)
- newtype GenesisCredential crypto = GenesisCredential {
- unGenesisCredential :: KeyHash 'Genesis crypto
- type Ix = Natural
- type PaymentCredential crypto = Credential 'Payment crypto
- data Ptr = Ptr !SlotNo !Ix !Ix
- type StakeCredential crypto = Credential 'Staking crypto
- data StakeReference crypto
- = StakeRefBase !(StakeCredential crypto)
- | StakeRefPtr !Ptr
- | StakeRefNull
Documentation
data Credential (kr :: KeyRole) crypto Source #
Script hash or key hash for a payment or a staking object.
Note that credentials (unlike raw key hashes) do appear to vary from era to era, since they reference the hash of a script, which can change. This parameter is a phantom, however, so in actuality the instances will remain the same.
Constructors
ScriptHashObj !(ScriptHash crypto) | |
KeyHashObj !(KeyHash kr crypto) |
Instances
newtype GenesisCredential crypto Source #
Constructors
GenesisCredential | |
Fields
|
Instances
type PaymentCredential crypto = Credential 'Payment crypto Source #
Pointer to a slot, transaction index and index in certificate list.
Instances
Eq Ptr Source # | |
Ord Ptr Source # | |
Show Ptr Source # | |
Generic Ptr Source # | |
NFData Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential | |
ToCBOR Ptr Source # | |
FromCBOR Ptr Source # | |
NoThunks Ptr Source # | |
FromCBORGroup Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential Methods fromCBORGroup :: Decoder s Ptr Source # | |
ToCBORGroup Ptr Source # | |
type Rep Ptr Source # | |
Defined in Shelley.Spec.Ledger.Credential type Rep Ptr = D1 ('MetaData "Ptr" "Shelley.Spec.Ledger.Credential" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'False) (C1 ('MetaCons "Ptr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ix) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ix)))) |
type StakeCredential crypto = Credential 'Staking crypto Source #
data StakeReference crypto Source #
Constructors
StakeRefBase !(StakeCredential crypto) | |
StakeRefPtr !Ptr | |
StakeRefNull |