Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- keyBy ∷ Ord k ⇒ (a → k) → [a] → Map k a
- 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 #
pattern ShelleyTxWits ∷ ∀ era. EraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → Set (BootstrapWitness (EraCrypto era)) → ShelleyTxWits era |
Instances
data ShelleyTxWitsRaw era Source #
Instances
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.
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.
pattern WitVKey ∷ (Typeable kr, Crypto c) ⇒ VKey kr c → SignedDSIGN c (Hash c EraIndependentTxBody) → WitVKey kr c |
Instances
Orphan instances
Crypto c ⇒ EraTxWits (ShelleyEra c) Source # | |
type TxWits (ShelleyEra c) = (r ∷ Type) Source # 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 # |