Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.HardFork.History.Qry
- 4 types
- 18 values
- Packageouroboros-consensus-4.2.1.0
- Exports22
- LicenceApache-2.0
Constructors
EVar :: f a -> Expr f aELit :: Show a => a -> Expr f aELet :: Expr f a1 -> (f a1 -> Expr f a) -> Expr f aEPair :: Expr f a1 -> Expr f b -> Expr f (a1, b)EFst :: Expr f (a, b) -> Expr f aESnd :: Expr f (a1, a) -> Expr f aEAbsToRelTime :: Expr f RelativeTime -> Expr f TimeInEraEAbsToRelSlot :: Expr f SlotNo -> Expr f SlotInEraEAbsToRelEpoch :: Expr f EpochNo -> Expr f EpochInEraEAbsToRelPerasRoundNo :: Expr f PerasRoundNo -> Expr f (PerasEnabled PerasRoundNoInEra)ERelToAbsTime :: Expr f TimeInEra -> Expr f RelativeTimeERelToAbsSlot :: Expr f (SlotInEra, TimeInSlot) -> Expr f SlotNoERelToAbsEpoch :: Expr f (EpochInEra, SlotInEpoch) -> Expr f EpochNoERelToAbsPerasRoundNo :: Expr f (PerasEnabled PerasRoundNoInEra) -> Expr f (PerasEnabled PerasRoundNo)ERelTimeToSlot :: Expr f TimeInEra -> Expr f (SlotInEra, TimeInSlot)ERelSlotToTime :: Expr f SlotInEra -> Expr f TimeInEraERelSlotToEpoch :: Expr f SlotInEra -> Expr f (EpochInEra, SlotInEpoch)ERelEpochToSlot :: Expr f EpochInEra -> Expr f SlotInEraERelPerasRoundNoToSlot :: Expr f (PerasEnabled PerasRoundNoInEra) -> Expr f (PerasEnabled SlotInEra)ERelSlotToPerasRoundNo :: Expr f SlotInEra -> Expr f (PerasEnabled (PerasRoundNoInEra, SlotInPerasRound))ESlotLength :: Expr f SlotNo -> Expr f SlotLengthEEpochSize :: Expr f EpochNo -> Expr f EpochSizeEGenesisWindow :: Expr f SlotNo -> Expr f GenesisWindowEPerasRoundLength :: Expr f PerasRoundNo -> Expr f (PerasEnabled PerasRoundLength)
Instances3Eq, Show, Serialise
Eq (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QryShow (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QrySListI xs => Serialise (Interpreter xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry
Constructors
PastHorizonpastHorizonCallStack :: CallStackpastHorizonExpression :: Some ClosedExprpastHorizonSummary :: [EraSummary]
Instances2Show, Exception
Show PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.QryException PastHorizonExceptionDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.History.Qry