Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Chain.Genesis.Delegation

Synopsis

newtype GenesisDelegation = UnsafeGenesisDelegation {
- unGenesisDelegation ∷ Map KeyHash Certificate
}
data GenesisDelegationError
mkGenesisDelegation ∷ MonadError GenesisDelegationError m ⇒ [Certificate] → m GenesisDelegation

Documentation

newtype GenesisDelegation Source #

This type contains genesis state of heavyweight delegation. It wraps a map where keys are issuers and values are delegation certificates. There are some invariants:

In each pair delegate must differ from issuer, i. e. no revocations.
PSKs must be consistent with keys in the map, i. e. issuer's ID must be equal to the key in the map.
Delegates can't be issuers, i. e. transitive delegation is not supported. It's not needed in genesis, it can always be reduced.

Constructors

UnsafeGenesisDelegation
Fields unGenesisDelegation ∷ Map KeyHash Certificate

Instances

Instances details

Show GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods showsPrec ∷ Int → GenesisDelegation → ShowS Source # show ∷ GenesisDelegation → String Source # showList ∷ [GenesisDelegation] → ShowS Source #
FromCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods fromCBOR ∷ Decoder s GenesisDelegation Source # label ∷ Proxy GenesisDelegation → Text Source #
ToCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods toCBOR ∷ GenesisDelegation → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy GenesisDelegation → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [GenesisDelegation] → Size Source #
DecCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods decCBOR ∷ Decoder s GenesisDelegation Source # dropCBOR ∷ Proxy GenesisDelegation → Decoder s () Source # label ∷ Proxy GenesisDelegation → Text Source #
EncCBOR GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods encCBOR ∷ GenesisDelegation → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy GenesisDelegation → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [GenesisDelegation] → Size Source #
Eq GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods (==) ∷ GenesisDelegation → GenesisDelegation → Bool Source # (/=) ∷ GenesisDelegation → GenesisDelegation → Bool Source #
NoThunks GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods noThunks ∷ Context → GenesisDelegation → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → GenesisDelegation → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy GenesisDelegation → String Source #
MonadError SchemaError m ⇒ FromJSON m GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods fromJSON ∷ JSValue → m GenesisDelegation Source #
Monad m ⇒ ToJSON m GenesisDelegation Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods toJSON ∷ GenesisDelegation → m JSValue Source #

data GenesisDelegationError Source #

Instances

Instances details

Show GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods showsPrec ∷ Int → GenesisDelegationError → ShowS Source # show ∷ GenesisDelegationError → String Source # showList ∷ [GenesisDelegationError] → ShowS Source #
Buildable GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods build ∷ GenesisDelegationError → Builder Source #
Eq GenesisDelegationError Source #
Instance details Defined in Cardano.Chain.Genesis.Delegation Methods (==) ∷ GenesisDelegationError → GenesisDelegationError → Bool Source # (/=) ∷ GenesisDelegationError → GenesisDelegationError → Bool Source #

mkGenesisDelegation ∷ MonadError GenesisDelegationError m ⇒ [Certificate] → m GenesisDelegation Source #

Safe constructor of GenesisDelegation from a list of Certificates