Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxWits

Contents

Re-exports
Orphan instances

Synopsis

decodeWits ∷ ∀ era s. EraScript era ⇒ Decoder s (Annotator (ShelleyTxWitsRaw era))
data ShelleyTxWits era where
- pattern ShelleyTxWits ∷ ∀ era. EraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → Set (BootstrapWitness (EraCrypto era)) → ShelleyTxWits era
data ShelleyTxWitsRaw era
scriptShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Map (ScriptHash (EraCrypto era)) (Script era))
addrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set (WitVKey 'Witness (EraCrypto era)))
bootAddrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set (BootstrapWitness (EraCrypto era)))
addrWits' ∷ ShelleyTxWitsRaw era → Set (WitVKey 'Witness (EraCrypto era))
shelleyEqTxWitsRaw ∷ EraTxWits era ⇒ TxWits era → TxWits era → Bool
mapTraverseableDecoderA ∷ Traversable f ⇒ Decoder s (f (Annotator a)) → (f a → m b) → Decoder s (Annotator (m b))
data WitVKey (kr ∷ KeyRole) c where
- pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c

Documentation

decodeWits ∷ ∀ era s. EraScript era ⇒ Decoder s (Annotator (ShelleyTxWitsRaw era)) Source #

data ShelleyTxWits era where Source #

Bundled Patterns

pattern ShelleyTxWits ∷ ∀ era. EraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → Set (BootstrapWitness (EraCrypto era)) → ShelleyTxWits era

Instances

Instances details

Memoized ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type RawType ShelleyTxWits = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTxWits era → MemoBytes (RawType ShelleyTxWits) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTxWits) era → ShelleyTxWits era
EraScript era ⇒ Monoid (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods mempty ∷ ShelleyTxWits era Source # mappend ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era Source # mconcat ∷ [ShelleyTxWits era] → ShelleyTxWits era Source #
EraScript era ⇒ Semigroup (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (<>) ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era Source # sconcat ∷ NonEmpty (ShelleyTxWits era) → ShelleyTxWits era Source # stimes ∷ Integral b ⇒ b → ShelleyTxWits era → ShelleyTxWits era Source #
Generic (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type Rep (ShelleyTxWits era) ∷ Type → Type Source # Methods from ∷ ShelleyTxWits era → Rep (ShelleyTxWits era) x Source # to ∷ Rep (ShelleyTxWits era) x → ShelleyTxWits era Source #
EraScript era ⇒ Show (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods showsPrec ∷ Int → ShelleyTxWits era → ShowS Source # show ∷ ShelleyTxWits era → String Source # showList ∷ [ShelleyTxWits era] → ShowS Source #
Typeable era ⇒ ToCBOR (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods toCBOR ∷ ShelleyTxWits era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWits era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWits era] → Size Source #
EraScript era ⇒ DecCBOR (Annotator (ShelleyTxWits era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxWits era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxWits era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxWits era)) → Text Source #
Era era ⇒ EncCBOR (ShelleyTxWits era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods encCBOR ∷ ShelleyTxWits era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWits era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWits era] → Size Source #
(TxWits era ~ ShelleyTxWits era, EraTxWits era) ⇒ EqRaw (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods eqRaw ∷ ShelleyTxWits era → ShelleyTxWits era → Bool Source #
SafeToHash (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods originalBytes ∷ ShelleyTxWits era → ByteString Source # originalBytesSize ∷ ShelleyTxWits era → Int Source # makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTxWits era → SafeHash c index Source #
(Era era, NFData (Script era), NFData (WitVKey 'Witness (EraCrypto era)), NFData (BootstrapWitness (EraCrypto era))) ⇒ NFData (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods rnf ∷ ShelleyTxWits era → () Source #
EraScript era ⇒ Eq (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (==) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool Source # (/=) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool Source #
EraScript era ⇒ NoThunks (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods noThunks ∷ Context → ShelleyTxWits era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxWits era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxWits era) → String Source #
type RawType ShelleyTxWits Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type RawType ShelleyTxWits = ShelleyTxWitsRaw
type Rep (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type Rep (ShelleyTxWits era) = D1 ('MetaData "ShelleyTxWits" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.15.0.0-inplace" 'True) (C1 ('MetaCons "ShelleyTxWitsConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxWitsRaw era))))

data ShelleyTxWitsRaw era Source #

Instances

Instances details

Generic (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type Rep (ShelleyTxWitsRaw era) ∷ Type → Type Source # Methods from ∷ ShelleyTxWitsRaw era → Rep (ShelleyTxWitsRaw era) x Source # to ∷ Rep (ShelleyTxWitsRaw era) x → ShelleyTxWitsRaw era Source #
EraScript era ⇒ Show (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods showsPrec ∷ Int → ShelleyTxWitsRaw era → ShowS Source # show ∷ ShelleyTxWitsRaw era → String Source # showList ∷ [ShelleyTxWitsRaw era] → ShowS Source #
EraScript era ⇒ DecCBOR (Annotator (ShelleyTxWitsRaw era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxWitsRaw era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxWitsRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxWitsRaw era)) → Text Source #
(Era era, EncCBOR (Script era)) ⇒ EncCBOR (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods encCBOR ∷ ShelleyTxWitsRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxWitsRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxWitsRaw era] → Size Source #
(Era era, NFData (Script era), NFData (WitVKey 'Witness (EraCrypto era)), NFData (BootstrapWitness (EraCrypto era))) ⇒ NFData (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods rnf ∷ ShelleyTxWitsRaw era → () Source #
EraScript era ⇒ Eq (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (==) ∷ ShelleyTxWitsRaw era → ShelleyTxWitsRaw era → Bool Source # (/=) ∷ ShelleyTxWitsRaw era → ShelleyTxWitsRaw era → Bool Source #
EraScript era ⇒ NoThunks (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods noThunks ∷ Context → ShelleyTxWitsRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxWitsRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxWitsRaw era) → String Source #
type Rep (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type Rep (ShelleyTxWitsRaw era) = D1 ('MetaData "ShelleyTxWitsRaw" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.15.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxWitsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness (EraCrypto era)))) :: (S1 ('MetaSel ('Just "scriptWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (ScriptHash (EraCrypto era)) (Script era))) :: S1 ('MetaSel ('Just "bootWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (BootstrapWitness (EraCrypto era)))))))

scriptShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Map (ScriptHash (EraCrypto era)) (Script era)) Source #

Script witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

addrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set (WitVKey 'Witness (EraCrypto era))) Source #

Addresses witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

bootAddrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set (BootstrapWitness (EraCrypto era))) Source #

Bootstrap Addresses witness setter and getter for ShelleyTxWits. The setter does update memoized binary representation.

addrWits' ∷ ShelleyTxWitsRaw era → Set (WitVKey 'Witness (EraCrypto era)) Source #

shelleyEqTxWitsRaw ∷ EraTxWits era ⇒ TxWits era → TxWits era → Bool Source #

mapTraverseableDecoderA ∷ Traversable f ⇒ Decoder s (f (Annotator a)) → (f a → m b) → Decoder s (Annotator (m b)) Source #

Re-exports

data WitVKey (kr ∷ KeyRole) c where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c

Instances

Instances details

(Typeable kr, Crypto c) ⇒ DecCBOR (Annotator (WitVKey kr c))
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods decCBOR ∷ Decoder s (Annotator (WitVKey kr c)) Source # dropCBOR ∷ Proxy (Annotator (WitVKey kr c)) → Decoder s () Source # label ∷ Proxy (Annotator (WitVKey kr c)) → Text Source #
Generic (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Associated Types type Rep (WitVKey kr c) ∷ Type → Type Source # Methods from ∷ WitVKey kr c → Rep (WitVKey kr c) x Source # to ∷ Rep (WitVKey kr c) x → WitVKey kr c Source #
Crypto c ⇒ Show (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods showsPrec ∷ Int → WitVKey kr c → ShowS Source # show ∷ WitVKey kr c → String Source # showList ∷ [WitVKey kr c] → ShowS Source #
(Typeable kr, Crypto c) ⇒ ToCBOR (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods toCBOR ∷ WitVKey kr c → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #
(Typeable kr, Crypto c) ⇒ EncCBOR (WitVKey kr c)	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods encCBOR ∷ WitVKey kr c → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (WitVKey kr c) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [WitVKey kr c] → Size Source #
(Crypto c, Typeable kr) ⇒ EqRaw (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods eqRaw ∷ WitVKey kr c → WitVKey kr c → Bool Source #
NFData (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods rnf ∷ WitVKey kr c → () Source #
Crypto c ⇒ Eq (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods (==) ∷ WitVKey kr c → WitVKey kr c → Bool Source # (/=) ∷ WitVKey kr c → WitVKey kr c → Bool Source #
(Typeable kr, Crypto c) ⇒ Ord (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods compare ∷ WitVKey kr c → WitVKey kr c → Ordering Source # (<) ∷ WitVKey kr c → WitVKey kr c → Bool Source # (<=) ∷ WitVKey kr c → WitVKey kr c → Bool Source # (>) ∷ WitVKey kr c → WitVKey kr c → Bool Source # (>=) ∷ WitVKey kr c → WitVKey kr c → Bool Source # max ∷ WitVKey kr c → WitVKey kr c → WitVKey kr c Source # min ∷ WitVKey kr c → WitVKey kr c → WitVKey kr c Source #
(Crypto c, Typeable kr) ⇒ NoThunks (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey Methods noThunks ∷ Context → WitVKey kr c → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WitVKey kr c → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WitVKey kr c) → String Source #
type Rep (WitVKey kr c)
Instance details Defined in Cardano.Ledger.Keys.WitVKey type Rep (WitVKey kr c) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.16.0.0-inplace" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr c)) :: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness c)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))

Orphan instances

Crypto c ⇒ EraTxWits (ShelleyEra c) Source #

Instance details

Associated Types

type TxWits (ShelleyEra c) = (r ∷ Type) Source #

Methods

mkBasicTxWits ∷ TxWits (ShelleyEra c) Source #

addrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (WitVKey 'Witness (EraCrypto (ShelleyEra c)))) Source #

bootAddrTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Set (BootstrapWitness (EraCrypto (ShelleyEra c)))) Source #

scriptTxWitsL ∷ Lens' (TxWits (ShelleyEra c)) (Map (ScriptHash (EraCrypto (ShelleyEra c))) (Script (ShelleyEra c))) Source #

upgradeTxWits ∷ TxWits (PreviousEra (ShelleyEra c)) → TxWits (ShelleyEra c) Source #