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) → Map ScriptHash (Script era) → Set BootstrapWitness → ShelleyTxWits era
data ShelleyTxWitsRaw era
scriptShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Map ScriptHash (Script era))
addrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set (WitVKey 'Witness))
bootAddrShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Set BootstrapWitness)
addrWits' ∷ ShelleyTxWitsRaw era → Set (WitVKey 'Witness)
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) where
- pattern WitVKey ∷ Typeable kr ⇒ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr

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) → Map ScriptHash (Script era) → Set BootstrapWitness → 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 # mappend ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era # mconcat ∷ [ShelleyTxWits era] → ShelleyTxWits era #
EraScript era ⇒ Semigroup (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (<>) ∷ ShelleyTxWits era → ShelleyTxWits era → ShelleyTxWits era # sconcat ∷ NonEmpty (ShelleyTxWits era) → ShelleyTxWits era # stimes ∷ Integral b ⇒ b → ShelleyTxWits era → ShelleyTxWits era #
Generic (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type Rep (ShelleyTxWits era) ∷ Type → Type # Methods from ∷ ShelleyTxWits era → Rep (ShelleyTxWits era) x # to ∷ Rep (ShelleyTxWits era) x → ShelleyTxWits era #
EraScript era ⇒ Show (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods showsPrec ∷ Int → ShelleyTxWits era → ShowS # show ∷ ShelleyTxWits era → String # showList ∷ [ShelleyTxWits era] → ShowS #
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 #
SafeToHash (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods originalBytes ∷ ShelleyTxWits era → ByteString Source # originalBytesSize ∷ ShelleyTxWits era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxWits era → SafeHash i 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 #
(Era era, NFData (Script era), NFData (WitVKey 'Witness), NFData BootstrapWitness) ⇒ NFData (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods rnf ∷ ShelleyTxWits era → () #
EraScript era ⇒ Eq (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (==) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool # (/=) ∷ ShelleyTxWits era → ShelleyTxWits era → Bool #
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.16.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 # Methods from ∷ ShelleyTxWitsRaw era → Rep (ShelleyTxWitsRaw era) x # to ∷ Rep (ShelleyTxWitsRaw era) x → ShelleyTxWitsRaw era #
EraScript era ⇒ Show (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods showsPrec ∷ Int → ShelleyTxWitsRaw era → ShowS # show ∷ ShelleyTxWitsRaw era → String # showList ∷ [ShelleyTxWitsRaw era] → ShowS #
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), NFData BootstrapWitness) ⇒ NFData (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods rnf ∷ ShelleyTxWitsRaw era → () #
EraScript era ⇒ Eq (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods (==) ∷ ShelleyTxWitsRaw era → ShelleyTxWitsRaw era → Bool # (/=) ∷ ShelleyTxWitsRaw era → ShelleyTxWitsRaw era → Bool #
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.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxWitsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "addrWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness))) :: (S1 ('MetaSel ('Just "scriptWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScriptHash (Script era))) :: S1 ('MetaSel ('Just "bootWits'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set BootstrapWitness)))))

scriptShelleyTxWitsL ∷ EraScript era ⇒ Lens' (ShelleyTxWits era) (Map ScriptHash (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)) Source #

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

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

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

addrWits' ∷ ShelleyTxWitsRaw era → Set (WitVKey 'Witness) 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) where Source #

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

Bundled Patterns

pattern WitVKey ∷ Typeable kr ⇒ VKey kr → SignedDSIGN DSIGN (Hash HASH EraIndependentTxBody) → WitVKey kr

Instances

Instances details

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

Orphan instances

EraTxWits ShelleyEra Source #

Instance details

Associated Types

type TxWits ShelleyEra = (r ∷ Type) Source #

Methods

mkBasicTxWits ∷ TxWits ShelleyEra Source #

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

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

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

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