Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.HKD

Description

This module contains just the type of protocol parameters.

Synopsis

type family HKD (f ∷ Type → Type) a where ...
type family HKDNoUpdate (f ∷ Type → Type) a where ...
class HKDFunctor (f ∷ Type → Type) where
- hkdMap ∷ proxy f → (a → b) → HKD f a → HKD f b
- toNoUpdate ∷ HKD f a → HKDNoUpdate f a
- fromNoUpdate ∷ HKDNoUpdate f a → HKD f a
data NoUpdate a = NoUpdate
class HKDFunctor f ⇒ HKDApplicative (f ∷ Type → Type) where
- hkdPure ∷ a → HKD f a
- hkdLiftA2 ∷ (a → b → c) → HKD f a → HKD f b → HKD f c

Documentation

type family HKD (f ∷ Type → Type) a where ... Source #

Higher Kinded Data

Equations

HKD Identity a = a
HKD f a = f a

type family HKDNoUpdate (f ∷ Type → Type) a where ... Source #

Equations

HKDNoUpdate Identity a = a
HKDNoUpdate StrictMaybe a = NoUpdate a
HKDNoUpdate Maybe a = NoUpdate a
HKDNoUpdate f a = f a

class HKDFunctor (f ∷ Type → Type) where Source #

Methods

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

toNoUpdate ∷ HKD f a → HKDNoUpdate f a Source #

fromNoUpdate ∷ HKDNoUpdate f a → HKD f a Source #

Instances

Instances details

HKDFunctor StrictMaybe Source #
Instance details Defined in Cardano.Ledger.HKD Methods hkdMap ∷ proxy StrictMaybe → (a → b) → HKD StrictMaybe a → HKD StrictMaybe b Source # toNoUpdate ∷ HKD StrictMaybe a → HKDNoUpdate StrictMaybe a Source # fromNoUpdate ∷ HKDNoUpdate StrictMaybe a → HKD StrictMaybe a Source #
HKDFunctor Identity Source #
Instance details Defined in Cardano.Ledger.HKD Methods hkdMap ∷ proxy Identity → (a → b) → HKD Identity a → HKD Identity b Source # toNoUpdate ∷ HKD Identity a → HKDNoUpdate Identity a Source # fromNoUpdate ∷ HKDNoUpdate Identity a → HKD Identity a Source #
HKDFunctor Maybe Source #
Instance details Defined in Cardano.Ledger.HKD Methods hkdMap ∷ proxy Maybe → (a → b) → HKD Maybe a → HKD Maybe b Source # toNoUpdate ∷ HKD Maybe a → HKDNoUpdate Maybe a Source # fromNoUpdate ∷ HKDNoUpdate Maybe a → HKD Maybe a Source #

data NoUpdate a Source #

Constructors

NoUpdate

Instances

Instances details

NFData (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Methods

rnf ∷ NoUpdate a → () #

Generic (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Associated Types

type Rep (NoUpdate a)
Instance details Defined in Cardano.Ledger.HKD type Rep (NoUpdate a) = D1 ('MetaData "NoUpdate" "Cardano.Ledger.HKD" "cardano-ledger-core-1.19.0.0-inplace" 'False) (C1 ('MetaCons "NoUpdate" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ NoUpdate a → Rep (NoUpdate a) x #

to ∷ Rep (NoUpdate a) x → NoUpdate a #

Show (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Methods

showsPrec ∷ Int → NoUpdate a → ShowS #

show ∷ NoUpdate a → String #

showList ∷ [NoUpdate a] → ShowS #

Eq (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Methods

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

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

Ord (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Methods

compare ∷ NoUpdate a → NoUpdate a → Ordering #

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

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

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

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

max ∷ NoUpdate a → NoUpdate a → NoUpdate a #

min ∷ NoUpdate a → NoUpdate a → NoUpdate a #

NoThunks (NoUpdate a) Source #

Instance details

Defined in Cardano.Ledger.HKD

Methods

noThunks ∷ Context → NoUpdate a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → NoUpdate a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (NoUpdate a) → String Source #

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.19.0.0-inplace" 'False) (C1 ('MetaCons "NoUpdate" 'PrefixI 'False) (U1 ∷ Type → Type))

class HKDFunctor f ⇒ HKDApplicative (f ∷ Type → Type) where Source #

Methods

hkdPure ∷ a → HKD f a Source #

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

Instances

Instances details

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 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 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 #