Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.HardFork.History.Qry

Contents

Qry
- opaque
Interpreter
- opaque
Specific queries

Synopsis

data Expr (f ∷ Type → Type) a where
- EVar ∷ ∀ (f ∷ Type → Type) a. f a → Expr f a
- ELit ∷ ∀ a (f ∷ Type → Type). Show a ⇒ a → Expr f a
- ELet ∷ ∀ (f ∷ Type → Type) a1 a. Expr f a1 → (f a1 → Expr f a) → Expr f a
- EPair ∷ ∀ (f ∷ Type → Type) a1 b. Expr f a1 → Expr f b → Expr f (a1, b)
- EFst ∷ ∀ (f ∷ Type → Type) a b. Expr f (a, b) → Expr f a
- ESnd ∷ ∀ (f ∷ Type → Type) a1 a. Expr f (a1, a) → Expr f a
- EAbsToRelTime ∷ ∀ (f ∷ Type → Type). Expr f RelativeTime → Expr f TimeInEra
- EAbsToRelSlot ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f SlotInEra
- EAbsToRelEpoch ∷ ∀ (f ∷ Type → Type). Expr f EpochNo → Expr f EpochInEra
- ERelToAbsTime ∷ ∀ (f ∷ Type → Type). Expr f TimeInEra → Expr f RelativeTime
- ERelToAbsSlot ∷ ∀ (f ∷ Type → Type). Expr f (SlotInEra, TimeInSlot) → Expr f SlotNo
- ERelToAbsEpoch ∷ ∀ (f ∷ Type → Type). Expr f (EpochInEra, SlotInEpoch) → Expr f EpochNo
- ERelTimeToSlot ∷ ∀ (f ∷ Type → Type). Expr f TimeInEra → Expr f (SlotInEra, TimeInSlot)
- ERelSlotToTime ∷ ∀ (f ∷ Type → Type). Expr f SlotInEra → Expr f TimeInEra
- ERelSlotToEpoch ∷ ∀ (f ∷ Type → Type). Expr f SlotInEra → Expr f (EpochInEra, SlotInEpoch)
- ERelEpochToSlot ∷ ∀ (f ∷ Type → Type). Expr f EpochInEra → Expr f SlotInEra
- ESlotLength ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f SlotLength
- EEpochSize ∷ ∀ (f ∷ Type → Type). Expr f EpochNo → Expr f EpochSize
- EGenesisWindow ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f GenesisWindow
data PastHorizonException = PastHorizon {
- pastHorizonCallStack ∷ CallStack
- pastHorizonExpression ∷ Some ClosedExpr
- pastHorizonSummary ∷ [EraSummary]
}
qryFromExpr ∷ (∀ (f ∷ Type → Type). Expr f a) → Qry a
runQuery ∷ ∀ a (xs ∷ [Type]). HasCallStack ⇒ Qry a → Summary xs → Either PastHorizonException a
runQueryPure ∷ ∀ a (xs ∷ [Type]). HasCallStack ⇒ Qry a → Summary xs → a
runQueryThrow ∷ ∀ m a (xs ∷ [Type]). (HasCallStack, MonadThrow m) ⇒ Qry a → Summary xs → m a
data Qry a
interpretQuery ∷ ∀ (xs ∷ [Type]) a. HasCallStack ⇒ Interpreter xs → Qry a → Either PastHorizonException a
mkInterpreter ∷ ∀ (xs ∷ [Type]). Summary xs → Interpreter xs
unsafeExtendSafeZone ∷ ∀ (xs ∷ [Type]). Interpreter xs → Interpreter xs
data Interpreter (xs ∷ [Type])
epochToSize ∷ EpochNo → Qry EpochSize
epochToSlot ∷ EpochNo → Qry (SlotNo, EpochSize)
epochToSlot' ∷ EpochNo → Qry SlotNo
slotToEpoch ∷ SlotNo → Qry (EpochNo, Word64, Word64)
slotToEpoch' ∷ SlotNo → Qry (EpochNo, Word64)
slotToGenesisWindow ∷ ∀ (f ∷ Type → Type). SlotNo → Expr f GenesisWindow
slotToSlotLength ∷ SlotNo → Qry SlotLength
slotToWallclock ∷ SlotNo → Qry (RelativeTime, SlotLength)
wallclockToSlot ∷ RelativeTime → Qry (SlotNo, NominalDiffTime, NominalDiffTime)

Qry

data Expr (f ∷ Type → Type) a where Source #

Query expressions in PHOAS

Constructors

EVar ∷ ∀ (f ∷ Type → Type) a. f a → Expr f a
ELit ∷ ∀ a (f ∷ Type → Type). Show a ⇒ a → Expr f a
ELet ∷ ∀ (f ∷ Type → Type) a1 a. Expr f a1 → (f a1 → Expr f a) → Expr f a
EPair ∷ ∀ (f ∷ Type → Type) a1 b. Expr f a1 → Expr f b → Expr f (a1, b)
EFst ∷ ∀ (f ∷ Type → Type) a b. Expr f (a, b) → Expr f a
ESnd ∷ ∀ (f ∷ Type → Type) a1 a. Expr f (a1, a) → Expr f a
EAbsToRelTime ∷ ∀ (f ∷ Type → Type). Expr f RelativeTime → Expr f TimeInEra
EAbsToRelSlot ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f SlotInEra
EAbsToRelEpoch ∷ ∀ (f ∷ Type → Type). Expr f EpochNo → Expr f EpochInEra
ERelToAbsTime ∷ ∀ (f ∷ Type → Type). Expr f TimeInEra → Expr f RelativeTime
ERelToAbsSlot ∷ ∀ (f ∷ Type → Type). Expr f (SlotInEra, TimeInSlot) → Expr f SlotNo
ERelToAbsEpoch ∷ ∀ (f ∷ Type → Type). Expr f (EpochInEra, SlotInEpoch) → Expr f EpochNo
ERelTimeToSlot ∷ ∀ (f ∷ Type → Type). Expr f TimeInEra → Expr f (SlotInEra, TimeInSlot)
ERelSlotToTime ∷ ∀ (f ∷ Type → Type). Expr f SlotInEra → Expr f TimeInEra
ERelSlotToEpoch ∷ ∀ (f ∷ Type → Type). Expr f SlotInEra → Expr f (EpochInEra, SlotInEpoch)
ERelEpochToSlot ∷ ∀ (f ∷ Type → Type). Expr f EpochInEra → Expr f SlotInEra
ESlotLength ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f SlotLength
EEpochSize ∷ ∀ (f ∷ Type → Type). Expr f EpochNo → Expr f EpochSize
EGenesisWindow ∷ ∀ (f ∷ Type → Type). Expr f SlotNo → Expr f GenesisWindow

data PastHorizonException Source #

We tried to convert something that is past the horizon

That is, we tried to convert something that is past the point in time beyond which we lack information due to uncertainty about the next hard fork.

Constructors

PastHorizon
Fields pastHorizonCallStack ∷ CallStack Callstack to the call to `runQuery` pastHorizonExpression ∷ Some ClosedExpr The `Expr` we tried to evaluate pastHorizonSummary ∷ [EraSummary] The `EraSummary`s that we tried to evaluate the `Expr` against

Instances

Instances details

Exception PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods toException ∷ PastHorizonException → SomeException # fromException ∷ SomeException → Maybe PastHorizonException # displayException ∷ PastHorizonException → String # backtraceDesired ∷ PastHorizonException → Bool #
Show PastHorizonException Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods showsPrec ∷ Int → PastHorizonException → ShowS # show ∷ PastHorizonException → String # showList ∷ [PastHorizonException] → ShowS #

qryFromExpr ∷ (∀ (f ∷ Type → Type). Expr f a) → Qry a Source #

Construct a Qry from a closed Expr

runQuery ∷ ∀ a (xs ∷ [Type]). HasCallStack ⇒ Qry a → Summary xs → Either PastHorizonException a Source #

Run a query

Unlike an Expr, which is evaluated in a single era, a Qry is evaluated against all eras. Only if all Exprs embedded in the Qry can be evaluated in the same era (we don't want to mix properties of different eras in one query) do we return the result. If there is no era in which we can evaluate all Exprs in the Qry, we report a PastHorizonException.

NOTE: this means that queries about separate eras have to be run separately, they should not be composed into a single query. How could we know to which era which relative slot/time refers?

runQueryPure ∷ ∀ a (xs ∷ [Type]). HasCallStack ⇒ Qry a → Summary xs → a Source #

runQueryThrow ∷ ∀ m a (xs ∷ [Type]). (HasCallStack, MonadThrow m) ⇒ Qry a → Summary xs → m a Source #

opaque

data Qry a Source #

Query

Qry adds a monadic interface on top of Expr. Although means that Qry itself is not showable, the PastHorizonException can nonetheless show the offending expression alongside the Summary against which it was evaluated.

Instances

Instances details

Applicative Qry Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods pure ∷ a → Qry a # (<>) ∷ Qry (a → b) → Qry a → Qry b # liftA2 ∷ (a → b → c) → Qry a → Qry b → Qry c # (>) ∷ Qry a → Qry b → Qry b # (<*) ∷ Qry a → Qry b → Qry a #
Functor Qry Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods fmap ∷ (a → b) → Qry a → Qry b # (<$) ∷ a → Qry b → Qry a #
Monad Qry Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods (>>=) ∷ Qry a → (a → Qry b) → Qry b # (>>) ∷ Qry a → Qry b → Qry b # return ∷ a → Qry a #

Interpreter

interpretQuery ∷ ∀ (xs ∷ [Type]) a. HasCallStack ⇒ Interpreter xs → Qry a → Either PastHorizonException a Source #

mkInterpreter ∷ ∀ (xs ∷ [Type]). Summary xs → Interpreter xs Source #

unsafeExtendSafeZone ∷ ∀ (xs ∷ [Type]). Interpreter xs → Interpreter xs Source #

UNSAFE: extend the safe zone of the current era of the given Interpreter to be unbounded, ignoring any future hard forks.

This only has effect when the Interpreter was obtained in an era that was not the final one (in the final era, this is a no-op). The Interpreter will be made to believe that the current era is the final era, making its horizon unbounded, and thus never returning a PastHorizonException.

Use of this function is strongly discouraged, as it will ignore any future hard forks, and the results produced by the Interpreter can thus be incorrect.

opaque

data Interpreter (xs ∷ [Type]) Source #

Can be sent across the LocalStateQuery protocol to interpret queries in the wallet.

The Summary should be considered internal.

Instances

Instances details

Show (Interpreter xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods showsPrec ∷ Int → Interpreter xs → ShowS # show ∷ Interpreter xs → String # showList ∷ [Interpreter xs] → ShowS #
Eq (Interpreter xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods (==) ∷ Interpreter xs → Interpreter xs → Bool # (/=) ∷ Interpreter xs → Interpreter xs → Bool #
SListI xs ⇒ Serialise (Interpreter xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.History.Qry Methods encode ∷ Interpreter xs → Encoding Source # decode ∷ Decoder s (Interpreter xs) Source # encodeList ∷ [Interpreter xs] → Encoding Source # decodeList ∷ Decoder s [Interpreter xs] Source #