cardano-ledger-core-1.14.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.HKD

Description

This module contains just the type of protocol parameters.

Synopsis

Documentation

type family HKD f a where ... Source #

Higher Kinded Data

Equations

HKD Identity a = a 
HKD f a = f a 

type family HKDNoUpdate f a where ... Source #

class HKDFunctor f where Source #

Methods

hkdMap ∷ proxy f → (a → b) → HKD f a → HKD f b Source #

toNoUpdateHKD f a → HKDNoUpdate f a Source #

fromNoUpdateHKDNoUpdate f a → HKD f a Source #

Instances

Instances details
HKDFunctor Identity Source # 
Instance details

Defined in Cardano.Ledger.HKD

HKDFunctor StrictMaybe Source # 
Instance details

Defined in Cardano.Ledger.HKD

HKDFunctor Maybe Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdMap ∷ proxy Maybe → (a → b) → HKD Maybe a → HKD Maybe b Source #

toNoUpdateHKD Maybe a → HKDNoUpdate Maybe a Source #

fromNoUpdateHKDNoUpdate Maybe a → HKD Maybe a Source #

data NoUpdate a Source #

Constructors

NoUpdate 

Instances

Instances details
Generic (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

Associated Types

type Rep (NoUpdate a) ∷ TypeType Source #

Methods

fromNoUpdate a → Rep (NoUpdate a) x Source #

toRep (NoUpdate a) x → NoUpdate a Source #

Show (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

NFData (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

rnfNoUpdate a → () Source #

Eq (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

(==)NoUpdate a → NoUpdate a → Bool Source #

(/=)NoUpdate a → NoUpdate a → Bool Source #

Ord (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

compareNoUpdate a → NoUpdate a → Ordering Source #

(<)NoUpdate a → NoUpdate a → Bool Source #

(<=)NoUpdate a → NoUpdate a → Bool Source #

(>)NoUpdate a → NoUpdate a → Bool Source #

(>=)NoUpdate a → NoUpdate a → Bool Source #

maxNoUpdate a → NoUpdate a → NoUpdate a Source #

minNoUpdate a → NoUpdate a → NoUpdate a Source #

NoThunks (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

type Rep (NoUpdate a) Source # 
Instance details

Defined in Cardano.Ledger.HKD

type Rep (NoUpdate a) = D1 ('MetaData "NoUpdate" "Cardano.Ledger.HKD" "cardano-ledger-core-1.14.0.0-inplace" 'False) (C1 ('MetaCons "NoUpdate" 'PrefixI 'False) (U1TypeType))

class HKDFunctor f ⇒ HKDApplicative f where Source #

Methods

hkdPure ∷ a → HKD f a Source #

hkdLiftA2 ∷ ∀ a b c. (a → b → c) → HKD f a → HKD f b → HKD f c Source #

Instances

Instances details
HKDApplicative Identity Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD Identity a Source #

hkdLiftA2 ∷ (a → b → c) → HKD Identity a → HKD Identity b → HKD Identity c Source #

HKDApplicative StrictMaybe Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD StrictMaybe a Source #

hkdLiftA2 ∷ (a → b → c) → HKD StrictMaybe a → HKD StrictMaybe b → HKD StrictMaybe c Source #

HKDApplicative Maybe Source # 
Instance details

Defined in Cardano.Ledger.HKD

Methods

hkdPure ∷ a → HKD Maybe a Source #

hkdLiftA2 ∷ (a → b → c) → HKD Maybe a → HKD Maybe b → HKD Maybe c Source #