Modulecardano-ledger-core-1.21.0.0
Cardano.Ledger.HKD
- 1 type
- 2 classes
- Packagecardano-ledger-core-1.21.0.0
- Exports5
- LicenceApache-2.0
Instances3HKDApplicative
HKDApplicative StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDHKDApplicative IdentityDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDHKDApplicative MaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKD
Methods
hkdMap :: proxy f -> (a -> b) -> HKD f a -> HKD f btoNoUpdate :: HKD f a -> HKDNoUpdate f afromNoUpdate :: HKDNoUpdate f a -> HKD f a
Instances3HKDFunctor
HKDFunctor StrictMaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDHKDFunctor IdentityDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDHKDFunctor MaybeDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKD
Equations
HKDNoUpdate Identity a = aHKDNoUpdate StrictMaybe a = NoUpdate aHKDNoUpdate Maybe a = NoUpdate aHKDNoUpdate f a = f a
Instances8Eq, Ord, Show, Generic, NFData, NoThunks, …
Eq (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDOrd (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDShow (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDGeneric (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDNFData (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDNoThunks (NoUpdate a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKDUpdatable (K1 t x a) (K1 t (NoUpdate x) u)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Core.PParamstype Rep (NoUpdate a) = D1 ('MetaDataDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.HKD"NoUpdate"
"Cardano.Ledger.HKD"
"cardano-ledger-core-1.21.0.0-HG71GU5V9Tb4NBnJzzlL6"
'False) (C1 ('MetaCons"NoUpdate"
'PrefixI 'False) U1)