Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.BaseTypes

Contents

Indices
STS Base

Synopsis

data ProtVer = ProtVer {
- pvMajor :: ! Natural
- pvMinor :: ! Natural
}
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
data PositiveUnitInterval
data PositiveInterval
data NonNegativeInterval
class Bounded r => BoundedRational r where
- boundRational :: Rational -> Maybe r
- unboundRational :: r -> Rational
boundedRationalFromCBOR :: BoundedRational r => Decoder s r
boundedRationalToCBOR :: BoundedRational r => r -> Encoding
fpPrecision :: FixedPoint
promoteRatio :: Integral a => Ratio a -> Rational
invalidKey :: Word -> Decoder s a
mkNonceFromOutputVRF :: OutputVRF v -> Nonce
mkNonceFromNumber :: Word64 -> Nonce
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 :: PositiveUnitInterval -> ActiveSlotCoeff
activeSlotVal :: ActiveSlotCoeff -> PositiveUnitInterval
activeSlotLog :: ActiveSlotCoeff -> FixedPoint
module Data.Maybe.Strict
newtype BlocksMade crypto = BlocksMade {
- unBlocksMade :: Map ( KeyHash ' StakePool crypto) Natural
}
newtype TxIx = TxIx Word64
txIxToInt :: TxIx -> Int
txIxFromIntegral :: Integral a => a -> Maybe TxIx
mkTxIxPartial :: HasCallStack => Integer -> TxIx
newtype CertIx = CertIx Word64
certIxToInt :: CertIx -> Int
certIxFromIntegral :: Integral a => a -> Maybe CertIx
mkCertIxPartial :: HasCallStack => Integer -> CertIx
data Globals = Globals {
- epochInfo :: !( EpochInfo ( Either Text ))
- slotsPerKESPeriod :: ! Word64
- stabilityWindow :: ! Word64
- randomnessStabilisationWindow :: ! Word64
- securityParameter :: ! Word64
- maxKESEvo :: ! Word64
- quorum :: ! Word64
- maxMajorPV :: ! Natural
- maxLovelaceSupply :: ! Word64
- activeSlotCoeff :: ! ActiveSlotCoeff
- networkId :: ! Network
- systemStart :: ! SystemStart
}
epochInfoPure :: Globals -> EpochInfo Identity
type ShelleyBase = ReaderT Globals Identity

Documentation

data ProtVer Source #

Constructors

ProtVer
Fields pvMajor :: ! Natural pvMinor :: ! Natural

Instances

Instances details

Eq ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: ProtVer -> ProtVer -> Bool Source # (/=) :: ProtVer -> ProtVer -> Bool Source #
Ord ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: ProtVer -> ProtVer -> Ordering Source # (<) :: ProtVer -> ProtVer -> Bool Source # (<=) :: ProtVer -> ProtVer -> Bool Source # (>) :: ProtVer -> ProtVer -> Bool Source # (>=) :: ProtVer -> ProtVer -> Bool Source # max :: ProtVer -> ProtVer -> ProtVer Source # min :: ProtVer -> ProtVer -> ProtVer Source #
Show ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> ProtVer -> ShowS Source # show :: ProtVer -> String Source # showList :: [ ProtVer ] -> ShowS Source #
Generic ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep ProtVer :: Type -> Type Source # Methods from :: ProtVer -> Rep ProtVer x Source # to :: Rep ProtVer x -> ProtVer Source #
NFData ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: ProtVer -> () Source #
ToJSON ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: ProtVer -> Value Source # toEncoding :: ProtVer -> Encoding Source # toJSONList :: [ ProtVer ] -> Value Source # toEncodingList :: [ ProtVer ] -> Encoding Source #
FromJSON ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser ProtVer Source # parseJSONList :: Value -> Parser [ ProtVer ] Source #
ToCBOR ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: ProtVer -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ProtVer -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ ProtVer ] -> Size Source #
FromCBOR ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s ProtVer Source # label :: Proxy ProtVer -> Text Source #
NoThunks ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> ProtVer -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ProtVer -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ProtVer -> String Source #
FromCBORGroup ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBORGroup :: Decoder s ProtVer Source #
ToCBORGroup ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBORGroup :: ProtVer -> Encoding Source # encodedGroupSizeExpr :: ( forall x. ToCBOR x => Proxy x -> Size ) -> Proxy ProtVer -> Size Source # listLen :: ProtVer -> Word Source # listLenBound :: Proxy ProtVer -> Word Source #
type Rep ProtVer Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep ProtVer = D1 (' MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "ProtVer" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "pvMajor") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural ) :*: S1 (' MetaSel (' Just "pvMinor") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Natural )))

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 Cardano.Ledger.BaseTypes Methods minBound :: Network Source # maxBound :: Network Source #
Enum Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ :: Network -> Network Source # pred :: Network -> Network Source # toEnum :: Int -> Network Source # fromEnum :: Network -> Int Source # enumFrom :: Network -> [ Network ] Source # enumFromThen :: Network -> Network -> [ Network ] Source # enumFromTo :: Network -> Network -> [ Network ] Source # enumFromThenTo :: Network -> Network -> Network -> [ Network ] Source #
Eq Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: Network -> Network -> Bool Source # (/=) :: Network -> Network -> Bool Source #
Ord Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Network -> Network -> Ordering Source # (<) :: Network -> Network -> Bool Source # (<=) :: Network -> Network -> Bool Source # (>) :: Network -> Network -> Bool Source # (>=) :: Network -> Network -> Bool Source # max :: Network -> Network -> Network Source # min :: Network -> Network -> Network Source #
Show Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Network -> ShowS Source # show :: Network -> String Source # showList :: [ Network ] -> ShowS Source #
Generic Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Network :: Type -> Type Source # Methods from :: Network -> Rep Network x Source # to :: Rep Network x -> Network Source #
NFData Network Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Network -> () Source #
ToJSON Network Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Network Source # parseJSONList :: Value -> Parser [ Network ] Source #
ToCBOR Network Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s Network Source # label :: Proxy Network -> Text Source #
NoThunks Network Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Network = D1 (' MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 Cardano.Ledger.BaseTypes Methods (==) :: Nonce -> Nonce -> Bool Source # (/=) :: Nonce -> Nonce -> Bool Source #
Ord Nonce Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Nonce -> Nonce -> Ordering Source # (<) :: Nonce -> Nonce -> Bool Source # (<=) :: Nonce -> Nonce -> Bool Source # (>) :: Nonce -> Nonce -> Bool Source # (>=) :: Nonce -> Nonce -> Bool Source # max :: Nonce -> Nonce -> Nonce Source # min :: Nonce -> Nonce -> Nonce Source #
Show Nonce Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Nonce -> ShowS Source # show :: Nonce -> String Source # showList :: [ Nonce ] -> ShowS Source #
Generic Nonce Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Nonce :: Type -> Type Source # Methods from :: Nonce -> Rep Nonce x Source # to :: Rep Nonce x -> Nonce Source #
NFData Nonce Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Nonce -> () Source #
ToJSON Nonce Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Nonce Source # parseJSONList :: Value -> Parser [ Nonce ] Source #
ToCBOR Nonce Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s Nonce Source # label :: Proxy Nonce -> Text Source #
NoThunks Nonce Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Nonce = D1 (' MetaData "Nonce" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 Cardano.Ledger.BaseTypes Methods (==) :: Seed -> Seed -> Bool Source # (/=) :: Seed -> Seed -> Bool Source #
Ord Seed Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Seed -> Seed -> Ordering Source # (<) :: Seed -> Seed -> Bool Source # (<=) :: Seed -> Seed -> Bool Source # (>) :: Seed -> Seed -> Bool Source # (>=) :: Seed -> Seed -> Bool Source # max :: Seed -> Seed -> Seed Source # min :: Seed -> Seed -> Seed Source #
Show Seed Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Seed -> ShowS Source # show :: Seed -> String Source # showList :: [ Seed ] -> ShowS Source #
Generic Seed Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Seed :: Type -> Type Source # Methods from :: Seed -> Rep Seed x Source # to :: Rep Seed x -> Seed Source #
ToCBOR Seed Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods getSignableRepresentation :: Seed -> ByteString Source #
NoThunks Seed Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Seed = D1 (' MetaData "Seed" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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

Bounded UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: UnitInterval Source # maxBound :: UnitInterval Source #
Eq UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: UnitInterval -> UnitInterval -> Bool Source # (/=) :: UnitInterval -> UnitInterval -> Bool Source #
Ord UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: UnitInterval -> UnitInterval -> Ordering Source # (<) :: UnitInterval -> UnitInterval -> Bool Source # (<=) :: UnitInterval -> UnitInterval -> Bool Source # (>) :: UnitInterval -> UnitInterval -> Bool Source # (>=) :: UnitInterval -> UnitInterval -> Bool Source # max :: UnitInterval -> UnitInterval -> UnitInterval Source # min :: UnitInterval -> UnitInterval -> UnitInterval Source #
Show UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> UnitInterval -> ShowS Source # show :: UnitInterval -> String Source # showList :: [ UnitInterval ] -> ShowS Source #
Generic UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep UnitInterval :: Type -> Type Source # Methods from :: UnitInterval -> Rep UnitInterval x Source # to :: Rep UnitInterval x -> UnitInterval Source #
NFData UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: UnitInterval -> () Source #
ToJSON UnitInterval Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser UnitInterval Source # parseJSONList :: Value -> Parser [ UnitInterval ] Source #
ToCBOR UnitInterval Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s UnitInterval Source # label :: Proxy UnitInterval -> Text Source #
Default UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods def :: UnitInterval Source #
NoThunks UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> UnitInterval -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> UnitInterval -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy UnitInterval -> String Source #
BoundedRational UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe UnitInterval Source # unboundRational :: UnitInterval -> Rational Source #
type Rep UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep UnitInterval

data PositiveUnitInterval Source #

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

Instances

Instances details

Bounded PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: PositiveUnitInterval Source # maxBound :: PositiveUnitInterval Source #
Eq PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source # (/=) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source #
Ord PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: PositiveUnitInterval -> PositiveUnitInterval -> Ordering Source # (<) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source # (<=) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source # (>) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source # (>=) :: PositiveUnitInterval -> PositiveUnitInterval -> Bool Source # max :: PositiveUnitInterval -> PositiveUnitInterval -> PositiveUnitInterval Source # min :: PositiveUnitInterval -> PositiveUnitInterval -> PositiveUnitInterval Source #
Show PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> PositiveUnitInterval -> ShowS Source # show :: PositiveUnitInterval -> String Source # showList :: [ PositiveUnitInterval ] -> ShowS Source #
Generic PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep PositiveUnitInterval :: Type -> Type Source # Methods from :: PositiveUnitInterval -> Rep PositiveUnitInterval x Source # to :: Rep PositiveUnitInterval x -> PositiveUnitInterval Source #
NFData PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: PositiveUnitInterval -> () Source #
ToJSON PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: PositiveUnitInterval -> Value Source # toEncoding :: PositiveUnitInterval -> Encoding Source # toJSONList :: [ PositiveUnitInterval ] -> Value Source # toEncodingList :: [ PositiveUnitInterval ] -> Encoding Source #
FromJSON PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser PositiveUnitInterval Source # parseJSONList :: Value -> Parser [ PositiveUnitInterval ] Source #
ToCBOR PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: PositiveUnitInterval -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy PositiveUnitInterval -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PositiveUnitInterval ] -> Size Source #
FromCBOR PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s PositiveUnitInterval Source # label :: Proxy PositiveUnitInterval -> Text Source #
NoThunks PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> PositiveUnitInterval -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PositiveUnitInterval -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy PositiveUnitInterval -> String Source #
BoundedRational PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe PositiveUnitInterval Source # unboundRational :: PositiveUnitInterval -> Rational Source #
type Rep PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep PositiveUnitInterval

data PositiveInterval Source #

Type to represent a value in the interval (0; +∞)

Instances

Instances details

Bounded PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: PositiveInterval Source # maxBound :: PositiveInterval Source #
Eq PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: PositiveInterval -> PositiveInterval -> Bool Source # (/=) :: PositiveInterval -> PositiveInterval -> Bool Source #
Ord PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: PositiveInterval -> PositiveInterval -> Ordering Source # (<) :: PositiveInterval -> PositiveInterval -> Bool Source # (<=) :: PositiveInterval -> PositiveInterval -> Bool Source # (>) :: PositiveInterval -> PositiveInterval -> Bool Source # (>=) :: PositiveInterval -> PositiveInterval -> Bool Source # max :: PositiveInterval -> PositiveInterval -> PositiveInterval Source # min :: PositiveInterval -> PositiveInterval -> PositiveInterval Source #
Show PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> PositiveInterval -> ShowS Source # show :: PositiveInterval -> String Source # showList :: [ PositiveInterval ] -> ShowS Source #
Generic PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep PositiveInterval :: Type -> Type Source # Methods from :: PositiveInterval -> Rep PositiveInterval x Source # to :: Rep PositiveInterval x -> PositiveInterval Source #
NFData PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: PositiveInterval -> () Source #
ToJSON PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: PositiveInterval -> Value Source # toEncoding :: PositiveInterval -> Encoding Source # toJSONList :: [ PositiveInterval ] -> Value Source # toEncodingList :: [ PositiveInterval ] -> Encoding Source #
FromJSON PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser PositiveInterval Source # parseJSONList :: Value -> Parser [ PositiveInterval ] Source #
ToCBOR PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: PositiveInterval -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy PositiveInterval -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PositiveInterval ] -> Size Source #
FromCBOR PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s PositiveInterval Source # label :: Proxy PositiveInterval -> Text Source #
NoThunks PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> PositiveInterval -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PositiveInterval -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy PositiveInterval -> String Source #
BoundedRational PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe PositiveInterval Source # unboundRational :: PositiveInterval -> Rational Source #
type Rep PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep PositiveInterval

data NonNegativeInterval Source #

Type to represent a value in the interval [0; +∞)

Instances

Instances details

Bounded NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: NonNegativeInterval Source # maxBound :: NonNegativeInterval Source #
Eq NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (/=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source #
Ord NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: NonNegativeInterval -> NonNegativeInterval -> Ordering Source # (<) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (<=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (>) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (>=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # max :: NonNegativeInterval -> NonNegativeInterval -> NonNegativeInterval Source # min :: NonNegativeInterval -> NonNegativeInterval -> NonNegativeInterval Source #
Show NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> NonNegativeInterval -> ShowS Source # show :: NonNegativeInterval -> String Source # showList :: [ NonNegativeInterval ] -> ShowS Source #
Generic NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep NonNegativeInterval :: Type -> Type Source # Methods from :: NonNegativeInterval -> Rep NonNegativeInterval x Source # to :: Rep NonNegativeInterval x -> NonNegativeInterval Source #
NFData NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: NonNegativeInterval -> () Source #
ToJSON NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: NonNegativeInterval -> Value Source # toEncoding :: NonNegativeInterval -> Encoding Source # toJSONList :: [ NonNegativeInterval ] -> Value Source # toEncodingList :: [ NonNegativeInterval ] -> Encoding Source #
FromJSON NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser NonNegativeInterval Source # parseJSONList :: Value -> Parser [ NonNegativeInterval ] Source #
ToCBOR NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: NonNegativeInterval -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy NonNegativeInterval -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ NonNegativeInterval ] -> Size Source #
FromCBOR NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s NonNegativeInterval Source # label :: Proxy NonNegativeInterval -> Text Source #
NoThunks NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> NonNegativeInterval -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> NonNegativeInterval -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy NonNegativeInterval -> String Source #
BoundedRational NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe NonNegativeInterval Source # unboundRational :: NonNegativeInterval -> Rational Source #
type Rep NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep NonNegativeInterval

class Bounded r => BoundedRational r where Source #

Type clases that allows conversion between Rational and some form of bounded rational type. Bounds can be restricted by both the Bounded type class and underlyng representation.

maybe True (\br -> minBound <= br && br <= maxBound) . boundRational

Roundtrip properties must hold:

\r -> maybe True ((r ==) . unboundRational) (boundRational r)
\br -> Just br == boundRational (unboundRational br)

Methods

boundRational :: Rational -> Maybe r Source #

Returns Nothing when supplied value is not within bounds or when precision is too high to be represented by the underlying type

Example

Expand

>>> :set -XTypeApplications
>>> import Data.Ratio
>>> boundRational @UnitInterval $ 2 % 3
Just (2 % 3)
>>> boundRational @UnitInterval (-0.5)
Nothing
>>> boundRational @UnitInterval (1.5)
Nothing
>>> boundRational @UnitInterval 0
Just (0 % 1)
>>> boundRational @PositiveUnitInterval 0
Nothing

unboundRational :: r -> Rational Source #

Promote bounded rational type into the unbounded Rational .

Instances

Instances details

BoundedRational UnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe UnitInterval Source # unboundRational :: UnitInterval -> Rational Source #
BoundedRational PositiveUnitInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe PositiveUnitInterval Source # unboundRational :: PositiveUnitInterval -> Rational Source #
BoundedRational PositiveInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe PositiveInterval Source # unboundRational :: PositiveInterval -> Rational Source #
BoundedRational NonNegativeInterval Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe NonNegativeInterval Source # unboundRational :: NonNegativeInterval -> Rational Source #

boundedRationalFromCBOR :: BoundedRational r => Decoder s r Source #

Deserialize BoundedRational type using Rational deserialization and fail when bounds are violated.

boundedRationalToCBOR :: BoundedRational r => r -> Encoding Source #

Serialize BoundedRational type in the same way Rational is serialized.

fpPrecision :: FixedPoint Source #

promoteRatio :: Integral a => Ratio a -> Rational 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.

data Url Source #

Instances

Instances details

Eq Url Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: Url -> Url -> Bool Source # (/=) :: Url -> Url -> Bool Source #
Ord Url Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Url -> Url -> Ordering Source # (<) :: Url -> Url -> Bool Source # (<=) :: Url -> Url -> Bool Source # (>) :: Url -> Url -> Bool Source # (>=) :: Url -> Url -> Bool Source # max :: Url -> Url -> Url Source # min :: Url -> Url -> Url Source #
Show Url Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Url -> ShowS Source # show :: Url -> String Source # showList :: [ Url ] -> ShowS Source #
Generic Url Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Url :: Type -> Type Source # Methods from :: Url -> Rep Url x Source # to :: Rep Url x -> Url Source #
NFData Url Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Url -> () Source #
ToJSON Url Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Url Source # parseJSONList :: Value -> Parser [ Url ] Source #
ToCBOR Url Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s Url Source # label :: Proxy Url -> Text Source #
NoThunks Url Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Url = D1 (' MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 Cardano.Ledger.BaseTypes Methods (==) :: DnsName -> DnsName -> Bool Source # (/=) :: DnsName -> DnsName -> Bool Source #
Ord DnsName Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: DnsName -> DnsName -> Ordering Source # (<) :: DnsName -> DnsName -> Bool Source # (<=) :: DnsName -> DnsName -> Bool Source # (>) :: DnsName -> DnsName -> Bool Source # (>=) :: DnsName -> DnsName -> Bool Source # max :: DnsName -> DnsName -> DnsName Source # min :: DnsName -> DnsName -> DnsName Source #
Show DnsName Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> DnsName -> ShowS Source # show :: DnsName -> String Source # showList :: [ DnsName ] -> ShowS Source #
Generic DnsName Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep DnsName :: Type -> Type Source # Methods from :: DnsName -> Rep DnsName x Source # to :: Rep DnsName x -> DnsName Source #
NFData DnsName Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: DnsName -> () Source #
ToJSON DnsName Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser DnsName Source # parseJSONList :: Value -> Parser [ DnsName ] Source #
ToCBOR DnsName Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s DnsName Source # label :: Proxy DnsName -> Text Source #
NoThunks DnsName Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep DnsName = D1 (' MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 Cardano.Ledger.BaseTypes Methods (==) :: Port -> Port -> Bool Source # (/=) :: Port -> Port -> Bool Source #
Num Port Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (+) :: Port -> Port -> Port Source # (-) :: Port -> Port -> Port Source # (*) :: Port -> Port -> Port Source # negate :: Port -> Port Source # abs :: Port -> Port Source # signum :: Port -> Port Source # fromInteger :: Integer -> Port Source #
Ord Port Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: Port -> Port -> Ordering Source # (<) :: Port -> Port -> Bool Source # (<=) :: Port -> Port -> Bool Source # (>) :: Port -> Port -> Bool Source # (>=) :: Port -> Port -> Bool Source # max :: Port -> Port -> Port Source # min :: Port -> Port -> Port Source #
Show Port Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Port -> ShowS Source # show :: Port -> String Source # showList :: [ Port ] -> ShowS Source #
Generic Port Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Port :: Type -> Type Source # Methods from :: Port -> Rep Port x Source # to :: Rep Port x -> Port Source #
NFData Port Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: Port -> () Source #
ToJSON Port Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Port Source # parseJSONList :: Value -> Parser [ Port ] Source #
ToCBOR Port Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s Port Source # label :: Proxy Port -> Text Source #
NoThunks Port Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Port = D1 (' MetaData "Port" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' 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 Cardano.Ledger.BaseTypes Methods (==) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source # (/=) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source #
Ord ActiveSlotCoeff Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: ActiveSlotCoeff -> ActiveSlotCoeff -> Ordering Source # (<) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source # (<=) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source # (>) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source # (>=) :: ActiveSlotCoeff -> ActiveSlotCoeff -> Bool Source # max :: ActiveSlotCoeff -> ActiveSlotCoeff -> ActiveSlotCoeff Source # min :: ActiveSlotCoeff -> ActiveSlotCoeff -> ActiveSlotCoeff Source #
Show ActiveSlotCoeff Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> ActiveSlotCoeff -> ShowS Source # show :: ActiveSlotCoeff -> String Source # showList :: [ ActiveSlotCoeff ] -> ShowS Source #
Generic ActiveSlotCoeff Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep ActiveSlotCoeff :: Type -> Type Source # Methods from :: ActiveSlotCoeff -> Rep ActiveSlotCoeff x Source # to :: Rep ActiveSlotCoeff x -> ActiveSlotCoeff Source #
NFData ActiveSlotCoeff Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: ActiveSlotCoeff -> () Source #
ToCBOR ActiveSlotCoeff Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s ActiveSlotCoeff Source # label :: Proxy ActiveSlotCoeff -> Text Source #
NoThunks ActiveSlotCoeff Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep ActiveSlotCoeff = D1 (' MetaData "ActiveSlotCoeff" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "ActiveSlotCoeff" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unActiveSlotVal") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 PositiveUnitInterval ) :*: S1 (' MetaSel (' Just "unActiveSlotLog") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Integer )))

mkActiveSlotCoeff :: PositiveUnitInterval -> ActiveSlotCoeff Source #

activeSlotVal :: ActiveSlotCoeff -> PositiveUnitInterval Source #

activeSlotLog :: ActiveSlotCoeff -> FixedPoint Source #

module Data.Maybe.Strict

newtype BlocksMade crypto Source #

Blocks made

Constructors

BlocksMade
Fields unBlocksMade :: Map ( KeyHash ' StakePool crypto) Natural

Instances

Instances details

Eq ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: BlocksMade crypto -> BlocksMade crypto -> Bool Source # (/=) :: BlocksMade crypto -> BlocksMade crypto -> Bool Source #
Show ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> BlocksMade crypto -> ShowS Source # show :: BlocksMade crypto -> String Source # showList :: [ BlocksMade crypto] -> ShowS Source #
Generic ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep ( BlocksMade crypto) :: Type -> Type Source # Methods from :: BlocksMade crypto -> Rep ( BlocksMade crypto) x Source # to :: Rep ( BlocksMade crypto) x -> BlocksMade crypto Source #
NFData ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: BlocksMade crypto -> () Source #
Crypto crypto => ToJSON ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toJSON :: BlocksMade crypto -> Value Source # toEncoding :: BlocksMade crypto -> Encoding Source # toJSONList :: [ BlocksMade crypto] -> Value Source # toEncodingList :: [ BlocksMade crypto] -> Encoding Source #
Crypto crypto => FromJSON ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser ( BlocksMade crypto) Source # parseJSONList :: Value -> Parser [ BlocksMade crypto] Source #
Crypto crypto => ToCBOR ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: BlocksMade crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( BlocksMade crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ BlocksMade crypto] -> Size Source #
Crypto crypto => FromCBOR ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s ( BlocksMade crypto) Source # label :: Proxy ( BlocksMade crypto) -> Text Source #
NoThunks ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> BlocksMade crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BlocksMade crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( BlocksMade crypto) -> String Source #
type Rep ( BlocksMade crypto) Source #
Instance details Defined in Cardano.Ledger.BaseTypes type Rep ( BlocksMade crypto) = D1 (' MetaData "BlocksMade" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "BlocksMade" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unBlocksMade") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Map ( KeyHash ' StakePool crypto) Natural ))))

Indices

newtype TxIx Source #

Transaction index.

Constructors

TxIx Word64

Instances

Instances details

Bounded TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: TxIx Source # maxBound :: TxIx Source #
Enum TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ :: TxIx -> TxIx Source # pred :: TxIx -> TxIx Source # toEnum :: Int -> TxIx Source # fromEnum :: TxIx -> Int Source # enumFrom :: TxIx -> [ TxIx ] Source # enumFromThen :: TxIx -> TxIx -> [ TxIx ] Source # enumFromTo :: TxIx -> TxIx -> [ TxIx ] Source # enumFromThenTo :: TxIx -> TxIx -> TxIx -> [ TxIx ] Source #
Eq TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: TxIx -> TxIx -> Bool Source # (/=) :: TxIx -> TxIx -> Bool Source #
Ord TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: TxIx -> TxIx -> Ordering Source # (<) :: TxIx -> TxIx -> Bool Source # (<=) :: TxIx -> TxIx -> Bool Source # (>) :: TxIx -> TxIx -> Bool Source # (>=) :: TxIx -> TxIx -> Bool Source # max :: TxIx -> TxIx -> TxIx Source # min :: TxIx -> TxIx -> TxIx Source #
Show TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> TxIx -> ShowS Source # show :: TxIx -> String Source # showList :: [ TxIx ] -> ShowS Source #
NFData TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: TxIx -> () Source #
ToCBOR TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: TxIx -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy TxIx -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxIx ] -> Size Source #
FromCBOR TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s TxIx Source # label :: Proxy TxIx -> Text Source #
NoThunks TxIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> TxIx -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxIx -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy TxIx -> String Source #

txIxToInt :: TxIx -> Int Source #

txIxFromIntegral :: Integral a => a -> Maybe TxIx Source #

mkTxIxPartial :: HasCallStack => Integer -> TxIx Source #

Construct a TxIx from an arbitrary precision Integer . Throws an error for values out of range. Make sure to use it only for testing.

newtype CertIx Source #

Certificate index. Use certIxFromIntegral in order to construct this index safely from anything other than Word16 . There is also mkCertIxPartial that can be used for testing.

Constructors

CertIx Word64

Instances

Instances details

Bounded CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods minBound :: CertIx Source # maxBound :: CertIx Source #
Enum CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods succ :: CertIx -> CertIx Source # pred :: CertIx -> CertIx Source # toEnum :: Int -> CertIx Source # fromEnum :: CertIx -> Int Source # enumFrom :: CertIx -> [ CertIx ] Source # enumFromThen :: CertIx -> CertIx -> [ CertIx ] Source # enumFromTo :: CertIx -> CertIx -> [ CertIx ] Source # enumFromThenTo :: CertIx -> CertIx -> CertIx -> [ CertIx ] Source #
Eq CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods (==) :: CertIx -> CertIx -> Bool Source # (/=) :: CertIx -> CertIx -> Bool Source #
Ord CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods compare :: CertIx -> CertIx -> Ordering Source # (<) :: CertIx -> CertIx -> Bool Source # (<=) :: CertIx -> CertIx -> Bool Source # (>) :: CertIx -> CertIx -> Bool Source # (>=) :: CertIx -> CertIx -> Bool Source # max :: CertIx -> CertIx -> CertIx Source # min :: CertIx -> CertIx -> CertIx Source #
Show CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> CertIx -> ShowS Source # show :: CertIx -> String Source # showList :: [ CertIx ] -> ShowS Source #
NFData CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods rnf :: CertIx -> () Source #
ToCBOR CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods toCBOR :: CertIx -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy CertIx -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CertIx ] -> Size Source #
FromCBOR CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods fromCBOR :: Decoder s CertIx Source # label :: Proxy CertIx -> Text Source #
NoThunks CertIx Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> CertIx -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CertIx -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy CertIx -> String Source #

certIxToInt :: CertIx -> Int Source #

certIxFromIntegral :: Integral a => a -> Maybe CertIx Source #

mkCertIxPartial :: HasCallStack => Integer -> CertIx Source #

Construct a CertIx from an arbitrary precision Integer . Throws an error for values out of range. Make sure to use it only for testing.

STS Base

data Globals Source #

Constructors

Globals

Fields

epochInfo :: !( EpochInfo ( Either Text ))
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
systemStart :: ! SystemStart

System start time

Instances

Instances details

Show Globals Source #
Instance details Defined in Cardano.Ledger.BaseTypes Methods showsPrec :: Int -> Globals -> ShowS Source # show :: Globals -> String Source # showList :: [ Globals ] -> ShowS Source #
Generic Globals Source #
Instance details Defined in Cardano.Ledger.BaseTypes Associated Types type Rep Globals :: Type -> Type Source # Methods from :: Globals -> Rep Globals x Source # to :: Rep Globals x -> Globals Source #
NoThunks Globals Source #
Instance details Defined in Cardano.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 Cardano.Ledger.BaseTypes type Rep Globals = D1 (' MetaData "Globals" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' False ) ( C1 (' MetaCons "Globals" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "epochInfo") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( EpochInfo ( Either Text ))) :: ( 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 ) :*: S1 (' MetaSel (' Just "systemStart") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 SystemStart ))))))

epochInfoPure :: Globals -> EpochInfo Identity Source #

Pure epoch info via throw. Note that this should only be used when we can guarantee the validity of the translation; in particular, the EpochInfo used here should never be applied to user-supplied input.

type ShelleyBase = ReaderT Globals Identity Source #