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 -> () #
ToJSON Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: Network -> Value Source # toEncoding :: Network -> Encoding Source # toJSONList :: [Network] -> Value Source # toEncodingList :: [Network] -> Encoding Source #
FromJSON Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Network Source # parseJSONList :: Value -> Parser [Network] Source #
ToCBOR Network Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: Network -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Network -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> Network -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Network -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 -> () #
ToJSON Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: Nonce -> Value Source # toEncoding :: Nonce -> Encoding Source # toJSONList :: [Nonce] -> Value Source # toEncodingList :: [Nonce] -> Encoding Source #
FromJSON Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Nonce Source # parseJSONList :: Value -> Parser [Nonce] Source #
ToCBOR Nonce Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: Nonce -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Nonce -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> Nonce -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Nonce -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Seed -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> Seed -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Seed -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 -> () #
ToJSON UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: UnitInterval -> Value Source # toEncoding :: UnitInterval -> Encoding Source # toJSONList :: [UnitInterval] -> Value Source # toEncodingList :: [UnitInterval] -> Encoding Source #
FromJSON UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser UnitInterval Source # parseJSONList :: Value -> Parser [UnitInterval] Source #
ToCBOR UnitInterval Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: UnitInterval -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy UnitInterval -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> UnitInterval -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy UnitInterval -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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) #
Crypto era ~ crypto => HasField "adHash" (TxBody era) (StrictMaybe (AuxiliaryDataHash crypto)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField :: TxBody era -> StrictMaybe (AuxiliaryDataHash crypto) #
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 -> () #
ToJSON a => ToJSON (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: StrictMaybe a -> Value Source # toEncoding :: StrictMaybe a -> Encoding Source # toJSONList :: [StrictMaybe a] -> Value Source # toEncodingList :: [StrictMaybe a] -> Encoding Source #
FromJSON a => FromJSON (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser (StrictMaybe a) Source # parseJSONList :: Value -> Parser [StrictMaybe a] Source #
ToCBOR a => ToCBOR (StrictMaybe a) Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: StrictMaybe a -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size Source # encodedListSizeExpr :: (forall 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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (StrictMaybe a) -> String Source #
NoThunks (PParamsUpdate era) Source #
Instance details Defined in Shelley.Spec.Ledger.PParams Methods noThunks :: Context -> PParamsUpdate era -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> PParamsUpdate era -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (PParamsUpdate era) -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 -> () #
ToJSON Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: Url -> Value Source # toEncoding :: Url -> Encoding Source # toJSONList :: [Url] -> Value Source # toEncodingList :: [Url] -> Encoding Source #
FromJSON Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Url Source # parseJSONList :: Value -> Parser [Url] Source #
ToCBOR Url Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: Url -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Url -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> Url -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Url -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 -> () #
ToJSON DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: DnsName -> Value Source # toEncoding :: DnsName -> Encoding Source # toJSONList :: [DnsName] -> Value Source # toEncodingList :: [DnsName] -> Encoding Source #
FromJSON DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser DnsName Source # parseJSONList :: Value -> Parser [DnsName] Source #
ToCBOR DnsName Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: DnsName -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy DnsName -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> DnsName -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy DnsName -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 -> () #
ToJSON Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toJSON :: Port -> Value Source # toEncoding :: Port -> Encoding Source # toJSONList :: [Port] -> Value Source # toEncodingList :: [Port] -> Encoding Source #
FromJSON Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Port Source # parseJSONList :: Value -> Parser [Port] Source #
ToCBOR Port Source #
Instance details Defined in Shelley.Spec.Ledger.BaseTypes Methods toCBOR :: Port -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Port -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> Port -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Port -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy ActiveSlotCoeff -> Size Source # encodedListSizeExpr :: (forall 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) Source # wNoThunks :: Context -> ActiveSlotCoeff -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy ActiveSlotCoeff -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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) Source # wNoThunks :: Context -> Globals -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Globals -> String Source #
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-Is3EknyvW92LxCl96jGQVW" '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 #