Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.BaseTypes
Contents
Synopsis
- type FixedPoint = Digits34
- (==>) ∷ Bool → Bool → Bool
- (⭒) ∷ Nonce → Nonce → Nonce
- data Network
- 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
- 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 {}
- data ActiveSlotCoeff
- mkActiveSlotCoeff ∷ UnitInterval → ActiveSlotCoeff
- activeSlotVal ∷ ActiveSlotCoeff → UnitInterval
- activeSlotLog ∷ ActiveSlotCoeff → FixedPoint
- data Globals = Globals {}
- type ShelleyBase = ReaderT Globals Identity
Documentation
type FixedPoint = Digits34 Source #
Instances
Bounded Network Source # | |
Enum Network Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
Eq Network Source # | |
Ord Network Source # | |
Show Network Source # | |
Generic Network Source # | |
NFData Network Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToCBOR Network Source # | |
FromCBOR Network Source # | |
NoThunks Network Source # | |
FromJSON Network Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON Network Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes Methods toEncoding ∷ Network → Encoding toJSONList ∷ [Network] → Value toEncodingList ∷ [Network] → Encoding | |
type Rep Network Source # | |
Evolving nonce type.
Constructors
Nonce !(Hash Blake2b_256 Nonce) | |
NeutralNonce | Identity element |
Instances
Eq Nonce Source # | |
Ord Nonce Source # | |
Show Nonce Source # | |
Generic Nonce Source # | |
NFData Nonce Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToCBOR Nonce Source # | |
FromCBOR Nonce Source # | |
NoThunks Nonce Source # | |
FromJSON Nonce Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON Nonce Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
type Rep Nonce Source # | |
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)) |
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) |
data UnitInterval Source #
Type to represent a value in the unit interval [0; 1]
Instances
intervalValue ∷ UnitInterval → Ratio Word64 Source #
Get rational value of UnitInterval
type
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
Instances
strictMaybeToMaybe ∷ StrictMaybe a → Maybe a Source #
maybeToStrictMaybe ∷ Maybe a → StrictMaybe a Source #
fromSMaybe ∷ a → StrictMaybe a → a Source #
Instances
Eq Url Source # | |
Ord Url Source # | |
Show Url Source # | |
Generic Url Source # | |
NFData Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToCBOR Url Source # | |
FromCBOR Url Source # | |
NoThunks Url Source # | |
FromJSON Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
type Rep Url Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes |
Instances
Eq DnsName Source # | |
Ord DnsName Source # | |
Show DnsName Source # | |
Generic DnsName Source # | |
NFData DnsName Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToCBOR DnsName Source # | |
FromCBOR DnsName Source # | |
NoThunks DnsName Source # | |
FromJSON DnsName Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON DnsName Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes Methods toEncoding ∷ DnsName → Encoding toJSONList ∷ [DnsName] → Value toEncodingList ∷ [DnsName] → Encoding | |
type Rep DnsName Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes |
Constructors
Port | |
Fields |
Instances
Eq Port Source # | |
Num Port Source # | |
Ord Port Source # | |
Show Port Source # | |
Generic Port Source # | |
NFData Port Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToCBOR Port Source # | |
FromCBOR Port Source # | |
NoThunks Port Source # | |
FromJSON Port Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
ToJSON Port Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes | |
type Rep Port Source # | |
Defined in Shelley.Spec.Ledger.BaseTypes |
data ActiveSlotCoeff Source #
Instances
STS Base
Constructors
Globals | |
Fields
|