Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.HKD

Description

This module contains just the type of protocol parameters.

Synopsis

type family HKD f a where ...
type family HKDNoUpdate f a where ...
class HKDFunctor f 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 where
- hkdPure ∷ a → HKD f a
- hkdLiftA2 ∷ ∀ a b c. (a → b → c) → HKD f a → HKD f b → HKD f c

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 #

Equations

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

class HKDFunctor f 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 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 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 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

Generic (NoUpdate a) Source #
Instance details Defined in Cardano.Ledger.HKD Associated Types type Rep (NoUpdate a) ∷ Type → Type Source # Methods from ∷ NoUpdate a → Rep (NoUpdate a) x Source # to ∷ Rep (NoUpdate a) x → NoUpdate a Source #
Show (NoUpdate a) Source #
Instance details Defined in Cardano.Ledger.HKD Methods showsPrec ∷ Int → NoUpdate a → ShowS Source # show ∷ NoUpdate a → String Source # showList ∷ [NoUpdate a] → ShowS Source #
NFData (NoUpdate a) Source #
Instance details Defined in Cardano.Ledger.HKD Methods rnf ∷ NoUpdate 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 compare ∷ NoUpdate 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 # max ∷ NoUpdate a → NoUpdate a → NoUpdate a Source # min ∷ NoUpdate a → NoUpdate a → NoUpdate a Source #
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.12.0.0-inplace" 'False) (C1 ('MetaCons "NoUpdate" 'PrefixI 'False) (U1 ∷ Type → Type))

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 #