Safe Haskell | None |
---|---|
Language | Haskell98 |
Shelley.Spec.Ledger.Slot
Synopsis
- newtype SlotNo = SlotNo {}
- newtype Duration = Duration {
- unDuration :: Word64
- (-*) :: SlotNo -> SlotNo -> Duration
- (+*) :: SlotNo -> Duration -> SlotNo
- (*-) :: SlotNo -> Duration -> SlotNo
- newtype EpochNo = EpochNo {}
- newtype EpochSize = EpochSize {}
- data EpochInfo (m :: Type -> Type)
- newtype BlockNo = BlockNo {}
- epochInfoEpoch :: HasCallStack => EpochInfo Identity -> SlotNo -> ShelleyBase EpochNo
- epochInfoFirst :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase SlotNo
- epochInfoSize :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase EpochSize
Documentation
The 0-based index for the Ourboros time slot.
Instances
Bounded SlotNo | |
Enum SlotNo | |
Defined in Cardano.Slotting.Slot | |
Eq SlotNo | |
Num SlotNo | |
Ord SlotNo | |
Show SlotNo | |
Generic SlotNo | |
NFData SlotNo | |
Defined in Cardano.Slotting.Slot | |
ToJSON SlotNo | |
FromJSON SlotNo | |
ToCBOR SlotNo | |
FromCBOR SlotNo | |
NoThunks SlotNo | |
Serialise SlotNo | |
HasField "ttl" (TxBody era) SlotNo Source # | |
Defined in Shelley.Spec.Ledger.TxBody | |
Embed (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # | |
Defined in Shelley.Spec.Ledger.TxBody Methods toBase :: StakeCreds era -> Map (Credential 'Staking era) SlotNo Source # fromBase :: Map (Credential 'Staking era) SlotNo -> StakeCreds era Source # | |
HasExp (StakeCreds era) (Map (Credential 'Staking era) SlotNo) Source # | |
Defined in Shelley.Spec.Ledger.TxBody Methods toExp :: StakeCreds era -> Exp (Map (Credential 'Staking era) SlotNo) Source # | |
type Rep SlotNo | |
Defined in Cardano.Slotting.Slot |
Constructors
Duration | |
Fields
|
Instances
Enum Duration Source # | |
Defined in Shelley.Spec.Ledger.Slot | |
Eq Duration Source # | |
Integral Duration Source # | |
Defined in Shelley.Spec.Ledger.Slot | |
Num Duration Source # | |
Ord Duration Source # | |
Defined in Shelley.Spec.Ledger.Slot | |
Real Duration Source # | |
Defined in Shelley.Spec.Ledger.Slot Methods toRational :: Duration -> Rational # | |
Show Duration Source # | |
Generic Duration Source # | |
Semigroup Duration Source # | |
Monoid Duration Source # | |
NoThunks Duration Source # | |
type Rep Duration Source # | |
Defined in Shelley.Spec.Ledger.Slot |
An epoch, i.e. the number of the epoch.
Instances
Enum EpochNo | |
Eq EpochNo | |
Num EpochNo | |
Ord EpochNo | |
Defined in Cardano.Slotting.Slot | |
Show EpochNo | |
Generic EpochNo | |
NFData EpochNo Source # | |
Defined in Shelley.Spec.Ledger.Orphans | |
ToJSON EpochNo | |
FromJSON EpochNo | |
ToCBOR EpochNo | |
FromCBOR EpochNo | |
NoThunks EpochNo | |
Serialise EpochNo | |
type Rep EpochNo | |
Defined in Cardano.Slotting.Slot |
Constructors
EpochSize | |
Fields |
Instances
data EpochInfo (m :: Type -> Type) Source #
Information about epochs
Epochs may have different sizes at different times during the lifetime of the
blockchain. This information is encapsulated by EpochInfo
; it is
parameterized over a monad m
because the information about how long each
epoch is may depend on information derived from the blockchain itself, and
hence requires access to state.
The other functions provide some derived information from epoch sizes. In the
default implementation all of these functions query and update an internal
cache maintaining cumulative epoch sizes; for that reason, all of these
functions live in a monad m
.
The 0-based index of the block in the blockchain. BlockNo is <= SlotNo and is only equal at slot N if there is a block for every slot where N <= SlotNo.
Instances
Bounded BlockNo | |
Enum BlockNo | |
Eq BlockNo | |
Num BlockNo | |
Ord BlockNo | |
Defined in Cardano.Slotting.Block | |
Show BlockNo | |
Generic BlockNo | |
NFData BlockNo Source # | |
Defined in Shelley.Spec.Ledger.Orphans | |
ToCBOR BlockNo | |
FromCBOR BlockNo | |
NoThunks BlockNo | |
Serialise BlockNo | |
type Rep BlockNo | |
Defined in Cardano.Slotting.Block |
epochInfoEpoch :: HasCallStack => EpochInfo Identity -> SlotNo -> ShelleyBase EpochNo Source #
epochInfoFirst :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase SlotNo Source #
epochInfoSize :: HasCallStack => EpochInfo Identity -> EpochNo -> ShelleyBase EpochSize Source #