cardano-ledger-shelley-1.20.0.0: Shelley Ledger Executable Model

Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.TxWits

Contents

Orphan instances

Synopsis

newtype ShelleyTxWits era where
- MkShelleyTxWits (MemoBytes (ShelleyTxWitsRaw era))
- pattern ShelleyTxWits ∷ 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)
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))

Documentation

newtype ShelleyTxWits era Source #

Constructors

MkShelleyTxWits (MemoBytes (ShelleyTxWitsRaw era))

Bundled Patterns

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

Instances

Instances details

(EraScript era, FromJSON (Script era)) ⇒ FromJSON (ShelleyTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

parseJSON ∷ Value → Parser (ShelleyTxWits era) Source #

parseJSONList ∷ Value → Parser [ShelleyTxWits era] Source #

omittedField ∷ Maybe (ShelleyTxWits era) Source #

(EraScript era, ToJSON (Script era)) ⇒ ToJSON (ShelleyTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

toJSON ∷ ShelleyTxWits era → Value Source #

toEncoding ∷ ShelleyTxWits era → Encoding Source #

toJSONList ∷ [ShelleyTxWits era] → Value Source #

toEncodingList ∷ [ShelleyTxWits era] → Encoding Source #

omitField ∷ ShelleyTxWits era → Bool 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 (Script 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 #

(EraScript era, ToJSON (Script era)) ⇒ ToKeyValuePairs (ShelleyTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ ShelleyTxWits era → [kv] 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)
Instance details Defined in Cardano.Ledger.Shelley.TxWits type RawType (ShelleyTxWits era) = ShelleyTxWitsRaw era

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 ⇒ 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)
Instance details Defined in Cardano.Ledger.Shelley.TxWits type Rep (ShelleyTxWits era) = D1 ('MetaData "ShelleyTxWits" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxWitsRaw era)))))

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 #

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 era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type RawType (ShelleyTxWits era) = ShelleyTxWitsRaw era

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.20.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxWits" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxWitsRaw era)))))

data ShelleyTxWitsRaw era Source #

Constructors

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

Instances

Instances details

(EraScript era, DecCBOR (Annotator (Script 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 #

(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 → () #

Generic (ShelleyTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

Associated Types

type Rep (ShelleyTxWitsRaw era)

Instance details

Defined in Cardano.Ledger.Shelley.TxWits

type Rep (ShelleyTxWitsRaw era) = D1 ('MetaData "ShelleyTxWitsRaw" "Cardano.Ledger.Shelley.TxWits" "cardano-ledger-shelley-1.20.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)))))

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 ⇒ 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.20.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)))))

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.

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 #

Orphan instances

EraTxWits ShelleyEra Source #

Instance details

Associated Types

type TxWits ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxWits type TxWits ShelleyEra = ShelleyTxWits ShelleyEra

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 #