Documentation

type UsesTxBody era = ( Era era, ChainData ( TxBody era), AnnotatedData ( TxBody era), HashAnnotated ( TxBody era) EraIndependentTxBody ( Crypto era)) Source #

class ( Era era, Val ( Value era), Compactible ( Value era), ChainData ( Value era), SerialisableData ( Value era), DecodeNonNegative ( Value era), EncodeMint ( Value era), DecodeMint ( Value era)) => UsesValue era Source #

class ( Era era, ChainData ( TxOut era), ToCBOR ( TxOut era), FromCBOR ( TxOut era)) => UsesTxOut era where Source #

type UsesScript era = ( Era era, Eq ( Script era), Show ( Script era), AnnotatedData ( Script era)) Source #

type UsesAuxiliary era = ( Era era, Eq ( AuxiliaryData era), Show ( AuxiliaryData era), ValidateAuxiliaryData era ( Crypto era), AnnotatedData ( AuxiliaryData era)) Source #

class ( Era era, Eq ( PParams era), Show ( PParams era), SerialisableData ( PParams era), ChainData ( PParamsDelta era), Ord ( PParamsDelta era), SerialisableData ( PParamsDelta era)) => UsesPParams era where Source #

type TransValue (c :: Type -> Constraint ) era = ( Era era, Compactible ( Value era), c ( Value era)) Source #