shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Cardano.Ledger.AuxiliaryData

Documentation

newtype AuxiliaryDataHash crypto Source #

Constructors

AuxiliaryDataHash 

Fields

Instances

Instances details
Crypto era ~ crypto => HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getField :: TxBody era -> StrictMaybe (AuxiliaryDataHash crypto) #

Eq (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

(==) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

(/=) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

Ord (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

compare :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Ordering #

(<) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

(<=) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

(>) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

(>=) :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> Bool #

max :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto #

min :: AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto -> AuxiliaryDataHash crypto #

Show (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

showsPrec :: Int -> AuxiliaryDataHash crypto -> ShowS #

show :: AuxiliaryDataHash crypto -> String #

showList :: [AuxiliaryDataHash crypto] -> ShowS #

NFData (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

rnf :: AuxiliaryDataHash crypto -> () #

Crypto crypto => ToCBOR (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

toCBOR :: AuxiliaryDataHash crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AuxiliaryDataHash crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AuxiliaryDataHash crypto] -> Size Source #

Crypto crypto => FromCBOR (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

fromCBOR :: Decoder s (AuxiliaryDataHash crypto) Source #

label :: Proxy (AuxiliaryDataHash crypto) -> Text Source #

NoThunks (AuxiliaryDataHash crypto) Source # 
Instance details

Defined in Cardano.Ledger.AuxiliaryData

Methods

noThunks :: Context -> AuxiliaryDataHash crypto -> IO (Maybe ThunkInfo) Source #

wNoThunks :: Context -> AuxiliaryDataHash crypto -> IO (Maybe ThunkInfo) Source #

showTypeOf :: Proxy (AuxiliaryDataHash crypto) -> String Source #

class ValidateAuxiliaryData era where Source #

Methods

hashAuxiliaryData :: AuxiliaryData era -> AuxiliaryDataHash (Crypto era) Source #

validateAuxiliaryData :: AuxiliaryData era -> Bool Source #

Instances

Instances details
Crypto c => ValidateAuxiliaryData (ShelleyEra c) Source # 
Instance details

Defined in Cardano.Ledger.Shelley

Methods

hashAuxiliaryData :: AuxiliaryData (ShelleyEra c) -> AuxiliaryDataHash (Crypto (ShelleyEra c)) Source #

validateAuxiliaryData :: AuxiliaryData (ShelleyEra c) -> Bool Source #