Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.TxWits

Contents

Orphan instances

Synopsis

newtype ShelleyTxWits era where
- MkShelleyTxWits (MemoBytes (ShelleyTxWitsRaw era))
- pattern ShelleyTxWits ∷ ∀ era. EraScript era ⇒ Set (WitVKey 'Witness) → Map ScriptHash (Script era) → Set BootstrapWitness → ShelleyTxWits era
data ShelleyTxWitsRaw era = ShelleyTxWitsRaw {
- stwrAddrTxWits ∷ !(Set (WitVKey 'Witness))
- stwrScriptTxWits ∷ !(Map ScriptHash (Script era))
- stwrBootAddrTxWits ∷ !(Set BootstrapWitness)
}
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

Documentation

newtype ShelleyTxWits era Source #

Constructors

MkShelleyTxWits (MemoBytes (ShelleyTxWitsRaw era))

Bundled Patterns

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

Instances

Instances details

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 (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods decCBOR ∷ Decoder s (ShelleyTxWits era) Source # dropCBOR ∷ Proxy (ShelleyTxWits era) → Decoder s () Source # label ∷ Proxy (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 #
Memoized (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Associated Types type RawType (ShelleyTxWits era) = (r ∷ Type) Source # Methods getMemoBytes ∷ ShelleyTxWits era → MemoBytes (RawType (ShelleyTxWits era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxWits era)) → ShelleyTxWits era
(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 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.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxWitsRaw era)))))
type RawType (ShelleyTxWits era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits type RawType (ShelleyTxWits era) = ShelleyTxWitsRaw era

data ShelleyTxWitsRaw era Source #

Constructors

ShelleyTxWitsRaw
Fields stwrAddrTxWits ∷ !(Set (WitVKey 'Witness)) stwrScriptTxWits ∷ !(Map ScriptHash (Script era)) stwrBootAddrTxWits ∷ !(Set BootstrapWitness)

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 (ShelleyTxWitsRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxWits Methods decCBOR ∷ Decoder s (ShelleyTxWitsRaw era) Source # dropCBOR ∷ Proxy (ShelleyTxWitsRaw era) → Decoder s () Source # label ∷ Proxy (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.17.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxWitsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "stwrAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness))) :: (S1 ('MetaSel ('Just "stwrScriptTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScriptHash (Script era))) :: S1 ('MetaSel ('Just "stwrBootAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set BootstrapWitness)))))