Safe Haskell	None
Language	Haskell2010

Bcc.Api.Sophie.Genesis

Synopsis

data SophieGenesis era = SophieGenesis {
- sgSystemStart ∷ !UTCTime
- sgNetworkMagic ∷ !Word32
- sgNetworkId ∷ !Network
- sgActiveSlotsCoeff ∷ !PositiveUnitInterval
- sgSecurityParam ∷ !Word64
- sgVestMultiple ∷ !Word64
- sgEpochLength ∷ !EpochSize
- sgSlotsPerKESPeriod ∷ !Word64
- sgMaxKESEvolutions ∷ !Word64
- sgSlotLength ∷ !NominalDiffTime
- sgUpdateQuorum ∷ !Word64
- sgMaxEntropicSupply ∷ !Word64
- sgProtocolParams ∷ !(PParams era)
- sgGenDelegs ∷ !(Map (KeyHash 'Genesis (Crypto era)) (GenDelegPair (Crypto era)))
- sgVestedDelegs ∷ !(Map (KeyHash 'Vested (Crypto era)) (VestedDelegPair (Crypto era)))
- sgInitialFunds ∷ !(Map (Addr (Crypto era)) Coin)
- sgStaking ∷ !(SophieGenesisStaking (Crypto era))
}
sophieGenesisDefaults ∷ SophieGenesis crypto

Documentation

data SophieGenesis era #

Constructors

SophieGenesis

Fields

sgSystemStart ∷ !UTCTime
sgNetworkMagic ∷ !Word32
sgNetworkId ∷ !Network
sgActiveSlotsCoeff ∷ !PositiveUnitInterval
sgSecurityParam ∷ !Word64
sgVestMultiple ∷ !Word64
sgEpochLength ∷ !EpochSize
sgSlotsPerKESPeriod ∷ !Word64
sgMaxKESEvolutions ∷ !Word64
sgSlotLength ∷ !NominalDiffTime
sgUpdateQuorum ∷ !Word64
sgMaxEntropicSupply ∷ !Word64
sgProtocolParams ∷ !(PParams era)
sgGenDelegs ∷ !(Map (KeyHash 'Genesis (Crypto era)) (GenDelegPair (Crypto era)))
sgVestedDelegs ∷ !(Map (KeyHash 'Vested (Crypto era)) (VestedDelegPair (Crypto era)))
sgInitialFunds ∷ !(Map (Addr (Crypto era)) Coin)
sgStaking ∷ !(SophieGenesisStaking (Crypto era))

Instances

Instances details

Eq (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods (==) ∷ SophieGenesis era → SophieGenesis era → Bool Source # (/=) ∷ SophieGenesis era → SophieGenesis era → Bool Source #
Show (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods showsPrec ∷ Int → SophieGenesis era → ShowS Source # show ∷ SophieGenesis era → String Source # showList ∷ [SophieGenesis era] → ShowS Source #
Generic (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Associated Types type Rep (SophieGenesis era) ∷ Type → Type Source # Methods from ∷ SophieGenesis era → Rep (SophieGenesis era) x Source # to ∷ Rep (SophieGenesis era) x → SophieGenesis era Source #
Era era ⇒ FromJSON (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods parseJSON ∷ Value → Parser (SophieGenesis era) # parseJSONList ∷ Value → Parser [SophieGenesis era] #
Era era ⇒ NoThunks (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods noThunks ∷ Context → SophieGenesis era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → SophieGenesis era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (SophieGenesis era) → String
Era era ⇒ ToJSON (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods toJSON ∷ SophieGenesis era → Value # toEncoding ∷ SophieGenesis era → Encoding # toJSONList ∷ [SophieGenesis era] → Value # toEncodingList ∷ [SophieGenesis era] → Encoding #
Era era ⇒ FromCBOR (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods fromCBOR ∷ Decoder s (SophieGenesis era) # label ∷ Proxy (SophieGenesis era) → Text #
Era era ⇒ ToCBOR (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis Methods toCBOR ∷ SophieGenesis era → Encoding # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SophieGenesis era) → Size # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SophieGenesis era] → Size #
type Rep (SophieGenesis era)
Instance details Defined in Sophie.Spec.Ledger.Genesis type Rep (SophieGenesis era) = D1 ('MetaData "SophieGenesis" "Sophie.Spec.Ledger.Genesis" "sophie-spec-ledger-0.1.0.0-4c171bfb240a40bb2ca5d8b05a0b89412ec45e443bab31db15a30939ac0fa97d" 'False) (C1 ('MetaCons "SophieGenesis" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "sgSystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UTCTime) :: S1 ('MetaSel ('Just "sgNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word32)) :: (S1 ('MetaSel ('Just "sgNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network) :: S1 ('MetaSel ('Just "sgActiveSlotsCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PositiveUnitInterval))) :: ((S1 ('MetaSel ('Just "sgSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgVestMultiple") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)) :: (S1 ('MetaSel ('Just "sgEpochLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochSize) :: S1 ('MetaSel ('Just "sgSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64)))) :: (((S1 ('MetaSel ('Just "sgMaxKESEvolutions") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgSlotLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NominalDiffTime)) :: (S1 ('MetaSel ('Just "sgUpdateQuorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :: S1 ('MetaSel ('Just "sgMaxEntropicSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Word64))) :: ((S1 ('MetaSel ('Just "sgProtocolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PParams era)) :: S1 ('MetaSel ('Just "sgGenDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Genesis (Crypto era)) (GenDelegPair (Crypto era))))) :: (S1 ('MetaSel ('Just "sgVestedDelegs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'Vested (Crypto era)) (VestedDelegPair (Crypto era)))) :: (S1 ('MetaSel ('Just "sgInitialFunds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Addr (Crypto era)) Coin)) :: S1 ('MetaSel ('Just "sgStaking") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SophieGenesisStaking (Crypto era)))))))))
type TranslationError (AurumEra c) SophieGenesis
Instance details Defined in Bcc.Ledger.Aurum.Translation type TranslationError (AurumEra c) SophieGenesis = Void
type TranslationError (EvieEra c) SophieGenesis
Instance details Defined in Bcc.Ledger.Evie.Translation type TranslationError (EvieEra c) SophieGenesis = Void
type TranslationError (JenEra c) SophieGenesis
Instance details Defined in Bcc.Ledger.Jen.Translation type TranslationError (JenEra c) SophieGenesis = Void

sophieGenesisDefaults ∷ SophieGenesis crypto Source #

Some reasonable starting defaults for constructing a SophieGenesis.

You must override at least the following fields for this to be useful:

sgSystemStart the time of the first block
sgNetworkMagic to a suitable testnet or mainnet network magic number.
sgGenDelegs to have some initial nodes
sgInitialFunds to have any money in the system
sgMaxEntropicSupply must be at least the sum of the sgInitialFunds but more if you want to allow for rewards.