Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.ShelleyMA.AuxiliaryData

Documentation

newtype AuxiliaryData era Source #

Constructors

AuxiliaryDataWithBytes ( MemoBytes (AuxiliaryDataRaw era))

Bundled Patterns

pattern AuxiliaryData :: ( AnnotatedData ( Script era), Ord ( Script era)) => Map Word64 Metadatum -> StrictSeq ( Script era) -> AuxiliaryData era
pattern AuxiliaryData' :: Map Word64 Metadatum -> StrictSeq ( Script era) -> AuxiliaryData era

Instances

Instances details

Era era => Eq ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods (==) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source # (/=) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source #
( Era era, ChainData ( Script era)) => Show ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods showsPrec :: Int -> AuxiliaryData era -> ShowS Source # show :: AuxiliaryData era -> String Source # showList :: [ AuxiliaryData era] -> ShowS Source #
Generic ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Associated Types type Rep ( AuxiliaryData era) :: Type -> Type Source # Methods from :: AuxiliaryData era -> Rep ( AuxiliaryData era) x Source # to :: Rep ( AuxiliaryData era) x -> AuxiliaryData era Source #
NFData ( Script era) => NFData ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods rnf :: AuxiliaryData era -> () Source #
Typeable era => ToCBOR ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods toCBOR :: AuxiliaryData era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( AuxiliaryData era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AuxiliaryData era] -> Size Source #
( Era era, AnnotatedData ( Script era)) => FromCBOR ( Annotator ( AuxiliaryData era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods fromCBOR :: Decoder s ( Annotator ( AuxiliaryData era)) Source # label :: Proxy ( Annotator ( AuxiliaryData era)) -> Text Source #
SafeToHash ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods originalBytes :: AuxiliaryData era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> AuxiliaryData era -> SafeHash c index Source #
( Era era, ChainData ( Script era)) => NoThunks ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods noThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( AuxiliaryData era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) AuxiliaryData Source # Methods translateEra :: TranslationContext ( MaryEra c) -> AuxiliaryData ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) AuxiliaryData ) ( AuxiliaryData ( MaryEra c)) Source #
c ~ Crypto era => HashAnnotated ( AuxiliaryData era) EraIndependentAuxiliaryData c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentAuxiliaryData Source #
type Rep ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData type Rep ( AuxiliaryData era)
type TranslationError ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) AuxiliaryData = Void