Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.BaseTypes

Contents

STS Base

Synopsis

type FixedPoint = Digits34
(==>) ∷ Bool → Bool → Bool
(⭒) ∷ Nonce → Nonce → Nonce
data Network
- = Testnet
- | Mainnet
networkToWord8 ∷ Network → Word8
word8ToNetwork ∷ Word8 → Maybe Network
data Nonce
- = Nonce !(Hash Blake2b_256 Nonce)
- | NeutralNonce
newtype Seed = Seed (Hash Blake2b_256 Seed)
data UnitInterval
fpPrecision ∷ FixedPoint
interval0 ∷ UnitInterval
intervalValue ∷ UnitInterval → Ratio Word64
unitIntervalToRational ∷ UnitInterval → Rational
unitIntervalFromRational ∷ Rational → UnitInterval
invalidKey ∷ Word → Decoder s a
mkNonceFromOutputVRF ∷ OutputVRF v → Nonce
mkNonceFromNumber ∷ Word64 → Nonce
mkUnitInterval ∷ Ratio Word64 → Maybe UnitInterval
truncateUnitInterval ∷ Ratio Word64 → UnitInterval
data StrictMaybe a
- = SNothing
- | SJust !a
strictMaybeToMaybe ∷ StrictMaybe a → Maybe a
maybeToStrictMaybe ∷ Maybe a → StrictMaybe a
fromSMaybe ∷ a → StrictMaybe a → a
data Url
urlToText ∷ Url → Text
textToUrl ∷ Text → Maybe Url
data DnsName
dnsToText ∷ DnsName → Text
textToDns ∷ Text → Maybe DnsName
newtype Port = Port {
- portToWord16 ∷ Word16
}
data ActiveSlotCoeff
mkActiveSlotCoeff ∷ UnitInterval → ActiveSlotCoeff
activeSlotVal ∷ ActiveSlotCoeff → UnitInterval
activeSlotLog ∷ ActiveSlotCoeff → FixedPoint
data Globals = Globals {
- epochInfo ∷ !(EpochInfo Identity)
- slotsPerKESPeriod ∷ !Word64
- stabilityWindow ∷ !Word64
- randomnessStabilisationWindow ∷ !Word64
- securityParameter ∷ !Word64
- maxKESEvo ∷ !Word64
- quorum ∷ !Word64
- maxMajorPV ∷ !Natural
- maxLovelaceSupply ∷ !Word64
- activeSlotCoeff ∷ !ActiveSlotCoeff
- networkId ∷ !Network
}
type ShelleyBase = ReaderT Globals Identity

Documentation

type FixedPoint = Digits34 Source #

(==>) ∷ Bool → Bool → Bool infix 1 Source #

(⭒) ∷ Nonce → Nonce → Nonce Source #

Evolve the nonce

data Network Source #

Constructors

Testnet
Mainnet

Instances

Instances details

Bounded Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods minBound ∷ Network # maxBound ∷ Network #
Enum Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods succ ∷ Network → Network # pred ∷ Network → Network # toEnum ∷ Int → Network # fromEnum ∷ Network → Int # enumFrom ∷ Network → [Network] # enumFromThen ∷ Network → Network → [Network] # enumFromTo ∷ Network → Network → [Network] # enumFromThenTo ∷ Network → Network → Network → [Network] #
Eq Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ Network → Network → Bool # (/=) ∷ Network → Network → Bool #
Ord Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ Network → Network → Ordering # (<) ∷ Network → Network → Bool # (<=) ∷ Network → Network → Bool # (>) ∷ Network → Network → Bool # (>=) ∷ Network → Network → Bool # max ∷ Network → Network → Network # min ∷ Network → Network → Network #
Show Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → Network → ShowS # show ∷ Network → String # showList ∷ [Network] → ShowS #
Generic Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Network ∷ Type → Type # Methods from ∷ Network → Rep Network x # to ∷ Rep Network x → Network #
NFData Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ Network → () #
ToCBOR Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ Network → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Network → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Network] → Size Source #
FromCBOR Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s Network Source # label ∷ Proxy Network → Text Source #
NoThunks Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Network → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Network → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Network → String
FromJSON Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Network parseJSONList ∷ Value → Parser [Network]
ToJSON Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ Network → Value toEncoding ∷ Network → Encoding toJSONList ∷ [Network] → Value toEncodingList ∷ [Network] → Encoding
type Rep Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Network = D1 ('MetaData "Network" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 ∷ Type → Type))

networkToWord8 ∷ Network → Word8 Source #

word8ToNetwork ∷ Word8 → Maybe Network Source #

data Nonce Source #

Evolving nonce type.

Constructors

Nonce !(Hash Blake2b_256 Nonce)
NeutralNonce	Identity element

Instances

Instances details

Eq Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ Nonce → Nonce → Bool # (/=) ∷ Nonce → Nonce → Bool #
Ord Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ Nonce → Nonce → Ordering # (<) ∷ Nonce → Nonce → Bool # (<=) ∷ Nonce → Nonce → Bool # (>) ∷ Nonce → Nonce → Bool # (>=) ∷ Nonce → Nonce → Bool # max ∷ Nonce → Nonce → Nonce # min ∷ Nonce → Nonce → Nonce #
Show Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → Nonce → ShowS # show ∷ Nonce → String # showList ∷ [Nonce] → ShowS #
Generic Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Nonce ∷ Type → Type # Methods from ∷ Nonce → Rep Nonce x # to ∷ Rep Nonce x → Nonce #
NFData Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ Nonce → () #
ToCBOR Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ Nonce → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Nonce → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Nonce] → Size Source #
FromCBOR Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s Nonce Source # label ∷ Proxy Nonce → Text Source #
NoThunks Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Nonce → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Nonce → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Nonce → String
FromJSON Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Nonce parseJSONList ∷ Value → Parser [Nonce]
ToJSON Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ Nonce → Value toEncoding ∷ Nonce → Encoding toJSONList ∷ [Nonce] → Value toEncodingList ∷ [Nonce] → Encoding
type Rep Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Nonce = D1 ('MetaData "Nonce" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Nonce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash Blake2b_256 Nonce))) :+: C1 ('MetaCons "NeutralNonce" 'PrefixI 'False) (U1 ∷ Type → Type))

newtype Seed Source #

Seed to the verifiable random function.

We do not expose the constructor to Seed. Instead, a Seed should be created using mkSeed for a VRF calculation.

Constructors

Seed (Hash Blake2b_256 Seed)

Instances

Instances details

Eq Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ Seed → Seed → Bool # (/=) ∷ Seed → Seed → Bool #
Ord Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ Seed → Seed → Ordering # (<) ∷ Seed → Seed → Bool # (<=) ∷ Seed → Seed → Bool # (>) ∷ Seed → Seed → Bool # (>=) ∷ Seed → Seed → Bool # max ∷ Seed → Seed → Seed # min ∷ Seed → Seed → Seed #
Show Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → Seed → ShowS # show ∷ Seed → String # showList ∷ [Seed] → ShowS #
Generic Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Seed ∷ Type → Type # Methods from ∷ Seed → Rep Seed x # to ∷ Rep Seed x → Seed #
ToCBOR Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ Seed → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Seed → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Seed] → Size Source #
SignableRepresentation Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods getSignableRepresentation ∷ Seed → ByteString Source #
NoThunks Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Seed → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Seed → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Seed → String
type Rep Seed Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Seed = D1 ('MetaData "Seed" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Seed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash Blake2b_256 Seed))))

data UnitInterval Source #

Type to represent a value in the unit interval [0; 1]

Instances

Instances details

Eq UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ UnitInterval → UnitInterval → Bool # (/=) ∷ UnitInterval → UnitInterval → Bool #
Ord UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ UnitInterval → UnitInterval → Ordering # (<) ∷ UnitInterval → UnitInterval → Bool # (<=) ∷ UnitInterval → UnitInterval → Bool # (>) ∷ UnitInterval → UnitInterval → Bool # (>=) ∷ UnitInterval → UnitInterval → Bool # max ∷ UnitInterval → UnitInterval → UnitInterval # min ∷ UnitInterval → UnitInterval → UnitInterval #
Show UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → UnitInterval → ShowS # show ∷ UnitInterval → String # showList ∷ [UnitInterval] → ShowS #
Generic UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep UnitInterval ∷ Type → Type # Methods from ∷ UnitInterval → Rep UnitInterval x # to ∷ Rep UnitInterval x → UnitInterval #
NFData UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ UnitInterval → () #
ToCBOR UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ UnitInterval → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UnitInterval → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnitInterval] → Size Source #
FromCBOR UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s UnitInterval Source # label ∷ Proxy UnitInterval → Text Source #
NoThunks UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) wNoThunks ∷ Context → UnitInterval → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy UnitInterval → String
FromJSON UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser UnitInterval parseJSONList ∷ Value → Parser [UnitInterval]
ToJSON UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ UnitInterval → Value toEncoding ∷ UnitInterval → Encoding toJSONList ∷ [UnitInterval] → Value toEncodingList ∷ [UnitInterval] → Encoding
type Rep UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep UnitInterval = D1 ('MetaData "UnitInterval" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "UnsafeUnitInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Ratio Word64))))

fpPrecision ∷ FixedPoint Source #

interval0 ∷ UnitInterval Source #

intervalValue ∷ UnitInterval → Ratio Word64 Source #

Get rational value of UnitInterval type

unitIntervalToRational ∷ UnitInterval → Rational Source #

unitIntervalFromRational ∷ Rational → UnitInterval Source #

invalidKey ∷ Word → Decoder s a Source #

mkNonceFromOutputVRF ∷ OutputVRF v → Nonce Source #

Make a nonce from the VRF output bytes

mkNonceFromNumber ∷ Word64 → Nonce Source #

Make a nonce from a number.

mkUnitInterval ∷ Ratio Word64 → Maybe UnitInterval Source #

Return a UnitInterval type if r is in [0; 1].

truncateUnitInterval ∷ Ratio Word64 → UnitInterval Source #

Convert a rational to a UnitInterval by ignoring its integer part.

data StrictMaybe a Source #

Strict Maybe.

TODO move to cardano-prelude

Constructors

SNothing
SJust !a

Instances

Instances details

Monad StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (>>=) ∷ StrictMaybe a → (a → StrictMaybe b) → StrictMaybe b # (>>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # return ∷ a → StrictMaybe a #
Functor StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fmap ∷ (a → b) → StrictMaybe a → StrictMaybe b # (<$) ∷ a → StrictMaybe b → StrictMaybe a #
MonadFail StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fail ∷ String → StrictMaybe a #
Applicative StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods pure ∷ a → StrictMaybe a # (<>) ∷ StrictMaybe (a → b) → StrictMaybe a → StrictMaybe b # liftA2 ∷ (a → b → c) → StrictMaybe a → StrictMaybe b → StrictMaybe c # (>) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe b # (<*) ∷ StrictMaybe a → StrictMaybe b → StrictMaybe a #
Foldable StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fold ∷ Monoid m ⇒ StrictMaybe m → m # foldMap ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldMap' ∷ Monoid m ⇒ (a → m) → StrictMaybe a → m # foldr ∷ (a → b → b) → b → StrictMaybe a → b # foldr' ∷ (a → b → b) → b → StrictMaybe a → b # foldl ∷ (b → a → b) → b → StrictMaybe a → b # foldl' ∷ (b → a → b) → b → StrictMaybe a → b # foldr1 ∷ (a → a → a) → StrictMaybe a → a # foldl1 ∷ (a → a → a) → StrictMaybe a → a # toList ∷ StrictMaybe a → [a] # null ∷ StrictMaybe a → Bool # length ∷ StrictMaybe a → Int # elem ∷ Eq a ⇒ a → StrictMaybe a → Bool # maximum ∷ Ord a ⇒ StrictMaybe a → a # minimum ∷ Ord a ⇒ StrictMaybe a → a # sum ∷ Num a ⇒ StrictMaybe a → a # product ∷ Num a ⇒ StrictMaybe a → a #
Traversable StrictMaybe Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods traverse ∷ Applicative f ⇒ (a → f b) → StrictMaybe a → f (StrictMaybe b) # sequenceA ∷ Applicative f ⇒ StrictMaybe (f a) → f (StrictMaybe a) # mapM ∷ Monad m ⇒ (a → m b) → StrictMaybe a → m (StrictMaybe b) # sequence ∷ Monad m ⇒ StrictMaybe (m a) → m (StrictMaybe a) #
HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (MetaDataHash era) #
HasField "update" (TxBody era) (StrictMaybe (Update era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) #
Eq a ⇒ Eq (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ StrictMaybe a → StrictMaybe a → Bool # (/=) ∷ StrictMaybe a → StrictMaybe a → Bool #
Ord a ⇒ Ord (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ StrictMaybe a → StrictMaybe a → Ordering # (<) ∷ StrictMaybe a → StrictMaybe a → Bool # (<=) ∷ StrictMaybe a → StrictMaybe a → Bool # (>) ∷ StrictMaybe a → StrictMaybe a → Bool # (>=) ∷ StrictMaybe a → StrictMaybe a → Bool # max ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a # min ∷ StrictMaybe a → StrictMaybe a → StrictMaybe a #
Show a ⇒ Show (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → StrictMaybe a → ShowS # show ∷ StrictMaybe a → String # showList ∷ [StrictMaybe a] → ShowS #
Generic (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep (StrictMaybe a) ∷ Type → Type # Methods from ∷ StrictMaybe a → Rep (StrictMaybe a) x # to ∷ Rep (StrictMaybe a) x → StrictMaybe a #
NFData a ⇒ NFData (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ StrictMaybe a → () #
ToCBOR a ⇒ ToCBOR (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ StrictMaybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (StrictMaybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [StrictMaybe a] → Size Source #
Era era ⇒ ToCBOR (PParamsUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods toCBOR ∷ PParamsUpdate era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PParamsUpdate era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PParamsUpdate era] → Size Source #
FromCBOR a ⇒ FromCBOR (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s (StrictMaybe a) Source # label ∷ Proxy (StrictMaybe a) → Text Source #
Era era ⇒ FromCBOR (PParamsUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods fromCBOR ∷ Decoder s (PParamsUpdate era) Source # label ∷ Proxy (PParamsUpdate era) → Text Source #
NoThunks a ⇒ NoThunks (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) wNoThunks ∷ Context → StrictMaybe a → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (StrictMaybe a) → String
NoThunks (PParamsUpdate era)
Instance details Defined in Shelley.Spec.Ledger.PParams Methods noThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PParamsUpdate era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PParamsUpdate era) → String
FromJSON a ⇒ FromJSON (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser (StrictMaybe a) parseJSONList ∷ Value → Parser [StrictMaybe a]
ToJSON a ⇒ ToJSON (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ StrictMaybe a → Value toEncoding ∷ StrictMaybe a → Encoding toJSONList ∷ [StrictMaybe a] → Value toEncodingList ∷ [StrictMaybe a] → Encoding
Eq (PParams' StrictMaybe era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods (==) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (/=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool #
Ord (PParams' StrictMaybe era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods compare ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Ordering # (<) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (<=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # (>=) ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → Bool # max ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era # min ∷ PParams' StrictMaybe era → PParams' StrictMaybe era → PParams' StrictMaybe era #
Show (PParams' StrictMaybe era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods showsPrec ∷ Int → PParams' StrictMaybe era → ShowS # show ∷ PParams' StrictMaybe era → String # showList ∷ [PParams' StrictMaybe era] → ShowS #
NFData (PParams' StrictMaybe era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods rnf ∷ PParams' StrictMaybe era → () #
type Rep (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a)))

strictMaybeToMaybe ∷ StrictMaybe a → Maybe a Source #

maybeToStrictMaybe ∷ Maybe a → StrictMaybe a Source #

fromSMaybe ∷ a → StrictMaybe a → a Source #

data Url Source #

Instances

Instances details

Eq Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ Url → Url → Bool # (/=) ∷ Url → Url → Bool #
Ord Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ Url → Url → Ordering # (<) ∷ Url → Url → Bool # (<=) ∷ Url → Url → Bool # (>) ∷ Url → Url → Bool # (>=) ∷ Url → Url → Bool # max ∷ Url → Url → Url # min ∷ Url → Url → Url #
Show Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → Url → ShowS # show ∷ Url → String # showList ∷ [Url] → ShowS #
Generic Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Url ∷ Type → Type # Methods from ∷ Url → Rep Url x # to ∷ Rep Url x → Url #
NFData Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ Url → () #
ToCBOR Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ Url → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Url → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Url] → Size Source #
FromCBOR Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s Url Source # label ∷ Proxy Url → Text Source #
NoThunks Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Url → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Url → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Url → String
FromJSON Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Url parseJSONList ∷ Value → Parser [Url]
ToJSON Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ Url → Value toEncoding ∷ Url → Encoding toJSONList ∷ [Url] → Value toEncodingList ∷ [Url] → Encoding
type Rep Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Url = D1 ('MetaData "Url" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

urlToText ∷ Url → Text Source #

textToUrl ∷ Text → Maybe Url Source #

data DnsName Source #

Instances

Instances details

Eq DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ DnsName → DnsName → Bool # (/=) ∷ DnsName → DnsName → Bool #
Ord DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ DnsName → DnsName → Ordering # (<) ∷ DnsName → DnsName → Bool # (<=) ∷ DnsName → DnsName → Bool # (>) ∷ DnsName → DnsName → Bool # (>=) ∷ DnsName → DnsName → Bool # max ∷ DnsName → DnsName → DnsName # min ∷ DnsName → DnsName → DnsName #
Show DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → DnsName → ShowS # show ∷ DnsName → String # showList ∷ [DnsName] → ShowS #
Generic DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep DnsName ∷ Type → Type # Methods from ∷ DnsName → Rep DnsName x # to ∷ Rep DnsName x → DnsName #
NFData DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ DnsName → () #
ToCBOR DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ DnsName → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy DnsName → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [DnsName] → Size Source #
FromCBOR DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s DnsName Source # label ∷ Proxy DnsName → Text Source #
NoThunks DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) wNoThunks ∷ Context → DnsName → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy DnsName → String
FromJSON DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser DnsName parseJSONList ∷ Value → Parser [DnsName]
ToJSON DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ DnsName → Value toEncoding ∷ DnsName → Encoding toJSONList ∷ [DnsName] → Value toEncodingList ∷ [DnsName] → Encoding
type Rep DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep DnsName = D1 ('MetaData "DnsName" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

dnsToText ∷ DnsName → Text Source #

textToDns ∷ Text → Maybe DnsName Source #

newtype Port Source #

Constructors

Port
Fields portToWord16 ∷ Word16

Instances

Instances details

Eq Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ Port → Port → Bool # (/=) ∷ Port → Port → Bool #
Num Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (+) ∷ Port → Port → Port # (-) ∷ Port → Port → Port # (*) ∷ Port → Port → Port # negate ∷ Port → Port # abs ∷ Port → Port # signum ∷ Port → Port # fromInteger ∷ Integer → Port #
Ord Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ Port → Port → Ordering # (<) ∷ Port → Port → Bool # (<=) ∷ Port → Port → Bool # (>) ∷ Port → Port → Bool # (>=) ∷ Port → Port → Bool # max ∷ Port → Port → Port # min ∷ Port → Port → Port #
Show Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → Port → ShowS # show ∷ Port → String # showList ∷ [Port] → ShowS #
Generic Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Port ∷ Type → Type # Methods from ∷ Port → Rep Port x # to ∷ Rep Port x → Port #
NFData Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods rnf ∷ Port → () #
ToCBOR Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ Port → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Port → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Port] → Size Source #
FromCBOR Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s Port Source # label ∷ Proxy Port → Text Source #
NoThunks Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Port → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Port → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Port → String
FromJSON Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON ∷ Value → Parser Port parseJSONList ∷ Value → Parser [Port]
ToJSON Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON ∷ Port → Value toEncoding ∷ Port → Encoding toJSONList ∷ [Port] → Value toEncodingList ∷ [Port] → Encoding
type Rep Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Port = D1 ('MetaData "Port" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "Port" 'PrefixI 'True) (S1 ('MetaSel ('Just "portToWord16") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word16)))

data ActiveSlotCoeff Source #

Instances

Instances details

Eq ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods (==) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool # (/=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool #
Ord ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods compare ∷ ActiveSlotCoeff → ActiveSlotCoeff → Ordering # (<) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool # (<=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool # (>) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool # (>=) ∷ ActiveSlotCoeff → ActiveSlotCoeff → Bool # max ∷ ActiveSlotCoeff → ActiveSlotCoeff → ActiveSlotCoeff # min ∷ ActiveSlotCoeff → ActiveSlotCoeff → ActiveSlotCoeff #
Show ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods showsPrec ∷ Int → ActiveSlotCoeff → ShowS # show ∷ ActiveSlotCoeff → String # showList ∷ [ActiveSlotCoeff] → ShowS #
Generic ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep ActiveSlotCoeff ∷ Type → Type # Methods from ∷ ActiveSlotCoeff → Rep ActiveSlotCoeff x # to ∷ Rep ActiveSlotCoeff x → ActiveSlotCoeff #
ToCBOR ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR ∷ ActiveSlotCoeff → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ActiveSlotCoeff → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ActiveSlotCoeff] → Size Source #
FromCBOR ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods fromCBOR ∷ Decoder s ActiveSlotCoeff Source # label ∷ Proxy ActiveSlotCoeff → Text Source #
NoThunks ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → ActiveSlotCoeff → IO (Maybe ThunkInfo) wNoThunks ∷ Context → ActiveSlotCoeff → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy ActiveSlotCoeff → String
type Rep ActiveSlotCoeff Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep ActiveSlotCoeff = D1 ('MetaData "ActiveSlotCoeff" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ActiveSlotCoeff" 'PrefixI 'True) (S1 ('MetaSel ('Just "unActiveSlotVal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "unActiveSlotLog") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)))

mkActiveSlotCoeff ∷ UnitInterval → ActiveSlotCoeff Source #

activeSlotVal ∷ ActiveSlotCoeff → UnitInterval Source #

activeSlotLog ∷ ActiveSlotCoeff → FixedPoint Source #

STS Base

data Globals Source #

Constructors

Globals

Fields

epochInfo ∷ !(EpochInfo Identity)
slotsPerKESPeriod ∷ !Word64
stabilityWindow ∷ !Word64
The window size in which our chosen chain growth property guarantees at least k blocks. From the paper "Ouroboros praos: An adaptively-secure, semi-synchronous proof-of-stake protocol". The stabilityWindow constant is used in a number of places; for example, protocol updates must be submitted at least twice this many slots before an epoch boundary.
randomnessStabilisationWindow ∷ !Word64
Number of slots before the end of the epoch at which we stop updating the candidate nonce for the next epoch.
securityParameter ∷ !Word64
Maximum number of blocks we are allowed to roll back
maxKESEvo ∷ !Word64
Maximum number of KES iterations
quorum ∷ !Word64
Quorum for update system votes and MIR certificates
maxMajorPV ∷ !Natural
All blocks invalid after this protocol version
maxLovelaceSupply ∷ !Word64
Maximum number of lovelace in the system
activeSlotCoeff ∷ !ActiveSlotCoeff
Active Slot Coefficient, named f in "Ouroboros Praos: An adaptively-secure, semi-synchronous proof-of-stake protocol"
networkId ∷ !Network
The network ID

Instances

Instances details

Generic Globals Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Associated Types type Rep Globals ∷ Type → Type # Methods from ∷ Globals → Rep Globals x # to ∷ Rep Globals x → Globals #
NoThunks Globals Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods noThunks ∷ Context → Globals → IO (Maybe ThunkInfo) wNoThunks ∷ Context → Globals → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy Globals → String
type Rep Globals Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes type Rep Globals = D1 ('MetaData "Globals" "Shelley.Spec.Ledger.BaseTypes" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Globals" 'PrefixI 'True) (((S1 ('MetaSel ('Just "epochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo Identity)) :: S1 ('MetaSel ('Just "slotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :: (S1 ('MetaSel ('Just "stabilityWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: (S1 ('MetaSel ('Just "randomnessStabilisationWindow") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Just "securityParameter") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))) :: ((S1 ('MetaSel ('Just "maxKESEvo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: (S1 ('MetaSel ('Just "quorum") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: S1 ('MetaSel ('Just "maxMajorPV") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) :: (S1 ('MetaSel ('Just "maxLovelaceSupply") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :: (S1 ('MetaSel ('Just "activeSlotCoeff") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff) :: S1 ('MetaSel ('Just "networkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Network))))))

type ShelleyBase = ReaderT Globals Identity Source #