cardano-ledger-core-0.1.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Credential

Synopsis

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

Instances details
HasKeyRole Credential Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

coerceKeyRole :: forall (r :: KeyRole ) crypto (r' :: KeyRole ). Credential r crypto -> Credential r' crypto Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #

Eq ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

(/=) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

Ord ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

compare :: Credential kr crypto -> Credential kr crypto -> Ordering Source #

(<) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

(<=) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

(>) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

(>=) :: Credential kr crypto -> Credential kr crypto -> Bool Source #

max :: Credential kr crypto -> Credential kr crypto -> Credential kr crypto Source #

min :: Credential kr crypto -> Credential kr crypto -> Credential kr crypto Source #

Show ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrec :: Int -> Credential kr crypto -> ShowS Source #

show :: Credential kr crypto -> String Source #

showList :: [ Credential kr crypto] -> ShowS Source #

Generic ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep ( Credential kr crypto) :: Type -> Type Source #

Methods

from :: Credential kr crypto -> Rep ( Credential kr crypto) x Source #

to :: Rep ( Credential kr crypto) x -> Credential kr crypto Source #

NFData ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: Credential kr crypto -> () Source #

Crypto crypto => ToJSON ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toJSON :: Credential kr crypto -> Value Source #

toEncoding :: Credential kr crypto -> Encoding Source #

toJSONList :: [ Credential kr crypto] -> Value Source #

toEncodingList :: [ Credential kr crypto] -> Encoding Source #

Crypto crypto => ToJSONKey ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toJSONKey :: ToJSONKeyFunction ( Credential kr crypto) Source #

toJSONKeyList :: ToJSONKeyFunction [ Credential kr crypto] Source #

Crypto crypto => FromJSON ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

parseJSON :: Value -> Parser ( Credential kr crypto) Source #

parseJSONList :: Value -> Parser [ Credential kr crypto] Source #

Crypto crypto => FromJSONKey ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromJSONKey :: FromJSONKeyFunction ( Credential kr crypto) Source #

fromJSONKeyList :: FromJSONKeyFunction [ Credential kr crypto] Source #

( Typeable kr, Crypto crypto) => ToCBOR ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBOR :: Credential kr crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Credential kr crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Credential kr crypto] -> Size Source #

( Typeable kr, Crypto crypto) => FromCBOR ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromCBOR :: Decoder s ( Credential kr crypto) Source #

label :: Proxy ( Credential kr crypto) -> Text Source #

NoThunks ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

noThunks :: Context -> Credential kr crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Credential kr crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( Credential kr crypto) -> String Source #

type Rep ( Credential kr crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( Credential kr crypto) = D1 (' MetaData "Credential" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "ScriptHashObj" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( ScriptHash crypto))) :+: C1 (' MetaCons "KeyHashObj" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash kr crypto))))

newtype GenesisCredential crypto Source #

Constructors

GenesisCredential

Fields

Instances

Instances details
Eq ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

(/=) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

Ord ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

compare :: GenesisCredential crypto -> GenesisCredential crypto -> Ordering Source #

(<) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

(<=) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

(>) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

(>=) :: GenesisCredential crypto -> GenesisCredential crypto -> Bool Source #

max :: GenesisCredential crypto -> GenesisCredential crypto -> GenesisCredential crypto Source #

min :: GenesisCredential crypto -> GenesisCredential crypto -> GenesisCredential crypto Source #

Show ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrec :: Int -> GenesisCredential crypto -> ShowS Source #

show :: GenesisCredential crypto -> String Source #

showList :: [ GenesisCredential crypto] -> ShowS Source #

Generic ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep ( GenesisCredential crypto) :: Type -> Type Source #

Methods

from :: GenesisCredential crypto -> Rep ( GenesisCredential crypto) x Source #

to :: Rep ( GenesisCredential crypto) x -> GenesisCredential crypto Source #

Crypto crypto => ToCBOR ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBOR :: GenesisCredential crypto -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( GenesisCredential crypto) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ GenesisCredential crypto] -> Size Source #

type Rep ( GenesisCredential crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( GenesisCredential crypto) = D1 (' MetaData "GenesisCredential" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "GenesisCredential" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unGenesisCredential") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( KeyHash ' Genesis crypto))))

type PaymentCredential crypto = Credential ' Payment crypto Source #

data Ptr Source #

Pointer to a slot number, transaction index and an index in certificate list.

Constructors

Ptr ! SlotNo ! TxIx ! CertIx

Instances

Instances details
Eq Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==) :: Ptr -> Ptr -> Bool Source #

(/=) :: Ptr -> Ptr -> Bool Source #

Ord Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

compare :: Ptr -> Ptr -> Ordering Source #

(<) :: Ptr -> Ptr -> Bool Source #

(<=) :: Ptr -> Ptr -> Bool Source #

(>) :: Ptr -> Ptr -> Bool Source #

(>=) :: Ptr -> Ptr -> Bool Source #

max :: Ptr -> Ptr -> Ptr Source #

min :: Ptr -> Ptr -> Ptr Source #

Show Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrec :: Int -> Ptr -> ShowS Source #

show :: Ptr -> String Source #

showList :: [ Ptr ] -> ShowS Source #

Generic Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep Ptr :: Type -> Type Source #

Methods

from :: Ptr -> Rep Ptr x Source #

to :: Rep Ptr x -> Ptr Source #

NFData Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: Ptr -> () Source #

ToCBOR Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBOR :: Ptr -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Ptr -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Ptr ] -> Size Source #

FromCBOR Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromCBOR :: Decoder s Ptr Source #

label :: Proxy Ptr -> Text Source #

NoThunks Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

noThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> Ptr -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy Ptr -> String Source #

FromCBORGroup Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

fromCBORGroup :: Decoder s Ptr Source #

ToCBORGroup Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

toCBORGroup :: Ptr -> Encoding Source #

encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy Ptr -> Size Source #

listLen :: Ptr -> Word Source #

listLenBound :: Proxy Ptr -> Word Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #

type Rep Ptr Source #
Instance details

Defined in Cardano.Ledger.Credential

type Rep Ptr = D1 (' MetaData "Ptr" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 TxIx ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 CertIx ))))

ptrSlotNo :: Ptr -> SlotNo Source #

ptrTxIx :: Ptr -> TxIx Source #

ptrCertIx :: Ptr -> CertIx Source #

type StakeCredential crypto = Credential ' Staking crypto Source #

data StakeReference crypto Source #

Constructors

StakeRefBase !( StakeCredential crypto)
StakeRefPtr ! Ptr
StakeRefNull

Instances

Instances details
Eq ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

(==) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

(/=) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

Ord ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

compare :: StakeReference crypto -> StakeReference crypto -> Ordering Source #

(<) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

(<=) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

(>) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

(>=) :: StakeReference crypto -> StakeReference crypto -> Bool Source #

max :: StakeReference crypto -> StakeReference crypto -> StakeReference crypto Source #

min :: StakeReference crypto -> StakeReference crypto -> StakeReference crypto Source #

Show ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

showsPrec :: Int -> StakeReference crypto -> ShowS Source #

show :: StakeReference crypto -> String Source #

showList :: [ StakeReference crypto] -> ShowS Source #

Generic ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Associated Types

type Rep ( StakeReference crypto) :: Type -> Type Source #

Methods

from :: StakeReference crypto -> Rep ( StakeReference crypto) x Source #

to :: Rep ( StakeReference crypto) x -> StakeReference crypto Source #

NFData ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

rnf :: StakeReference crypto -> () Source #

NoThunks ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

Methods

noThunks :: Context -> StakeReference crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> StakeReference crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( StakeReference crypto) -> String Source #

type Rep ( StakeReference crypto) Source #
Instance details

Defined in Cardano.Ledger.Credential

type Rep ( StakeReference crypto) = D1 (' MetaData "StakeReference" "Cardano.Ledger.Credential" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "StakeRefBase" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( StakeCredential crypto))) :+: ( C1 (' MetaCons "StakeRefPtr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Ptr )) :+: C1 (' MetaCons "StakeRefNull" ' PrefixI ' False ) ( U1 :: Type -> Type )))