Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.HardFork.Combinator.Ledger.Query

Contents

Orphan instances

Synopsis

data family BlockQuery blk ∷ Type → Type
type HardForkQueryResult xs = Either (MismatchEraInfo xs)
data QueryAnytime result where
- GetEraStart ∷ QueryAnytime (Maybe Bound)
data QueryHardFork xs result where
- GetInterpreter ∷ QueryHardFork xs (Interpreter xs)
- GetCurrentEra ∷ QueryHardFork xs (EraIndex xs)
data QueryIfCurrent ∷ [Type] → Type → Type where
- QZ ∷ BlockQuery x result → QueryIfCurrent (x ': xs) result
- QS ∷ QueryIfCurrent xs result → QueryIfCurrent (x ': xs) result
decodeQueryAnytimeResult ∷ QueryAnytime result → ∀ s. Decoder s result
decodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → ∀ s. Decoder s result
encodeQueryAnytimeResult ∷ QueryAnytime result → result → Encoding
encodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → result → Encoding
getHardForkQuery ∷ BlockQuery (HardForkBlock xs) result → (∀ result'. (result :~: HardForkQueryResult xs result') → QueryIfCurrent xs result' → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryAnytime result → EraIndex xs → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryHardFork xs result → r) → r
hardForkQueryInfo ∷ All SingleEraBlock xs ⇒ QueryIfCurrent xs result → NS SingleEraInfo xs

Documentation

data family BlockQuery blk ∷ Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
SameDepIndex (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods sameDepIndex ∷ BlockQuery (DualBlock m a) a0 → BlockQuery (DualBlock m a) b → Maybe (a0 :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
ShowQuery (BlockQuery (DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult ∷ BlockQuery (DualBlock m a) result → result → String Source #
SerialiseHFC xs ⇒ SerialiseResult (HardForkBlock xs) (BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → result → Encoding Source # decodeResult ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ∀ s. Decoder s result Source #
SerialiseHFC xs ⇒ SerialiseNodeToClient (HardForkBlock xs) (SomeSecond BlockQuery (HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseNodeToClient Methods encodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → SomeSecond BlockQuery (HardForkBlock xs) → Encoding Source # decodeNodeToClient ∷ CodecConfig (HardForkBlock xs) → BlockNodeToClientVersion (HardForkBlock xs) → ∀ s. Decoder s (SomeSecond BlockQuery (HardForkBlock xs)) Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
Show (BlockQuery (DualBlock m a) result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec ∷ Int → BlockQuery (DualBlock m a) result → ShowS # show ∷ BlockQuery (DualBlock m a) result → String # showList ∷ [BlockQuery (DualBlock m a) result] → ShowS #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #
(Typeable m, Typeable a) ⇒ ShowProxy (BlockQuery (DualBlock m a) ∷ Type → Type) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showProxy ∷ Proxy (BlockQuery (DualBlock m a)) → String Source #
Inject (SomeSecond BlockQuery) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → SomeSecond BlockQuery x → SomeSecond BlockQuery (HardForkBlock xs) Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS # show ∷ SomeSecond BlockQuery blk → String # showList ∷ [SomeSecond BlockQuery blk] → ShowS #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool #
data BlockQuery (HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
data BlockQuery (DualBlock m a) result Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data BlockQuery (DualBlock m a) result

type HardForkQueryResult xs = Either (MismatchEraInfo xs) Source #

data QueryAnytime result where Source #

Constructors

GetEraStart ∷ QueryAnytime (Maybe Bound)

Instances

Instances details

SameDepIndex QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryAnytime a → QueryAnytime b → Maybe (a :~: b) Source #
ShowQuery QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryAnytime result → result → String Source #
Show (QueryAnytime result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryAnytime result → ShowS # show ∷ QueryAnytime result → String # showList ∷ [QueryAnytime result] → ShowS #
Serialise (Some QueryAnytime) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods encode ∷ Some QueryAnytime → Encoding Source # decode ∷ Decoder s (Some QueryAnytime) Source # encodeList ∷ [Some QueryAnytime] → Encoding Source # decodeList ∷ Decoder s [Some QueryAnytime] Source #

data QueryHardFork xs result where Source #

Constructors

GetInterpreter ∷ QueryHardFork xs (Interpreter xs)
GetCurrentEra ∷ QueryHardFork xs (EraIndex xs)

Instances

Instances details

SameDepIndex (QueryHardFork xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryHardFork xs a → QueryHardFork xs b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (QueryHardFork xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryHardFork xs result → result → String Source #
Show (QueryHardFork xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryHardFork xs result → ShowS # show ∷ QueryHardFork xs result → String # showList ∷ [QueryHardFork xs result] → ShowS #

data QueryIfCurrent ∷ [Type] → Type → Type where Source #

Constructors

QZ ∷ BlockQuery x result → QueryIfCurrent (x ': xs) result
QS ∷ QueryIfCurrent xs result → QueryIfCurrent (x ': xs) result

Instances

Instances details

All SingleEraBlock xs ⇒ SameDepIndex (QueryIfCurrent xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex ∷ QueryIfCurrent xs a → QueryIfCurrent xs b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (QueryIfCurrent xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult ∷ QueryIfCurrent xs result → result → String Source #
All SingleEraBlock xs ⇒ Show (QueryIfCurrent xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec ∷ Int → QueryIfCurrent xs result → ShowS # show ∷ QueryIfCurrent xs result → String # showList ∷ [QueryIfCurrent xs result] → ShowS #

decodeQueryAnytimeResult ∷ QueryAnytime result → ∀ s. Decoder s result Source #

decodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → ∀ s. Decoder s result Source #

encodeQueryAnytimeResult ∷ QueryAnytime result → result → Encoding Source #

encodeQueryHardForkResult ∷ SListI xs ⇒ EraParamsFormat → QueryHardFork xs result → result → Encoding Source #

getHardForkQuery ∷ BlockQuery (HardForkBlock xs) result → (∀ result'. (result :~: HardForkQueryResult xs result') → QueryIfCurrent xs result' → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryAnytime result → EraIndex xs → r) → (∀ x' xs'. (xs :~: (x' ': xs')) → ProofNonEmpty xs' → QueryHardFork xs result → r) → r Source #

hardForkQueryInfo ∷ All SingleEraBlock xs ⇒ QueryIfCurrent xs result → NS SingleEraInfo xs Source #

Orphan instances

All SingleEraBlock xs ⇒ BlockSupportsLedgerQuery (HardForkBlock xs) Source #
Instance details Methods answerBlockQuery ∷ ExtLedgerCfg (HardForkBlock xs) → BlockQuery (HardForkBlock xs) result → ExtLedgerState (HardForkBlock xs) → result Source #
All SingleEraBlock xs ⇒ SameDepIndex (BlockQuery (HardForkBlock xs)) Source #
Instance details Methods sameDepIndex ∷ BlockQuery (HardForkBlock xs) a → BlockQuery (HardForkBlock xs) b → Maybe (a :~: b) Source #
All SingleEraBlock xs ⇒ ShowQuery (BlockQuery (HardForkBlock xs)) Source #
Instance details Methods showResult ∷ BlockQuery (HardForkBlock xs) result → result → String Source #
All SingleEraBlock xs ⇒ Show (BlockQuery (HardForkBlock xs) result) Source #
Instance details Methods showsPrec ∷ Int → BlockQuery (HardForkBlock xs) result → ShowS # show ∷ BlockQuery (HardForkBlock xs) result → String # showList ∷ [BlockQuery (HardForkBlock xs) result] → ShowS #
Typeable xs ⇒ ShowProxy (BlockQuery (HardForkBlock xs) ∷ Type → Type) Source #
Instance details Methods showProxy ∷ Proxy (BlockQuery (HardForkBlock xs)) → String Source #