Safe Haskell	None
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 -> forall s. Decoder s result
decodeQueryHardForkResult :: SListI xs => QueryHardFork xs result -> forall s. Decoder s result
encodeQueryAnytimeResult :: QueryAnytime result -> result -> Encoding
encodeQueryHardForkResult :: SListI xs => QueryHardFork xs result -> result -> Encoding
getHardForkQuery :: BlockQuery ( HardForkBlock xs) result -> ( forall result'. (result :~: HardForkQueryResult xs result') -> QueryIfCurrent xs result' -> r) -> ( forall x' xs'. (xs :~: (x' ': xs')) -> ProofNonEmpty xs' -> QueryAnytime result -> EraIndex xs -> r) -> ( forall 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

ShowQuery ( BlockQuery ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showResult :: BlockQuery ( DualBlock m a) result -> result -> String 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 #
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 => 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 #
Inject ( SomeSecond BlockQuery ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> SomeSecond BlockQuery x -> SomeSecond BlockQuery ( HardForkBlock xs) 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 -> forall 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) -> forall s. Decoder s ( SomeSecond BlockQuery ( HardForkBlock xs)) Source #
SameDepIndex ( BlockQuery blk) => Eq ( SomeSecond BlockQuery blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) :: SomeSecond BlockQuery blk -> SomeSecond BlockQuery blk -> Bool Source # (/=) :: SomeSecond BlockQuery blk -> SomeSecond BlockQuery blk -> Bool Source #
( forall 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 Source # show :: SomeSecond BlockQuery blk -> String Source # showList :: [ SomeSecond BlockQuery blk] -> ShowS Source #
Show ( BlockQuery ( DualBlock m a) result) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods showsPrec :: Int -> BlockQuery ( DualBlock m a) result -> ShowS Source # show :: BlockQuery ( DualBlock m a) result -> String Source # showList :: [ BlockQuery ( DualBlock m a) result] -> ShowS 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 Source # show :: BlockQuery ( HardForkBlock xs) result -> String Source # showList :: [ BlockQuery ( HardForkBlock xs) result] -> ShowS 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 #
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 #
data BlockQuery ( HardForkBlock xs) a Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery ( HardForkBlock xs) a where QueryIfCurrent :: forall (xs :: [ Type ]) result. QueryIfCurrent xs result -> BlockQuery ( HardForkBlock xs) ( HardForkQueryResult xs result) QueryAnytime :: forall (xs :: [ Type ]) result x. IsNonEmpty xs => QueryAnytime result -> EraIndex (x ': xs) -> BlockQuery ( HardForkBlock (x ': xs)) result QueryHardFork :: forall (xs :: [ Type ]) x result. IsNonEmpty xs => QueryHardFork (x ': xs) result -> BlockQuery ( HardForkBlock (x ': xs)) result
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

ShowQuery QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showResult :: QueryAnytime result -> result -> String Source #
SameDepIndex QueryAnytime Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods sameDepIndex :: QueryAnytime a -> QueryAnytime b -> Maybe (a :~: b) Source #
Show ( QueryAnytime result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec :: Int -> QueryAnytime result -> ShowS Source # show :: QueryAnytime result -> String Source # showList :: [ QueryAnytime result] -> ShowS Source #
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

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 #
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 #
Show ( QueryHardFork xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec :: Int -> QueryHardFork xs result -> ShowS Source # show :: QueryHardFork xs result -> String Source # showList :: [ QueryHardFork xs result] -> ShowS Source #

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 => 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 => 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 => Show ( QueryIfCurrent xs result) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query Methods showsPrec :: Int -> QueryIfCurrent xs result -> ShowS Source # show :: QueryIfCurrent xs result -> String Source # showList :: [ QueryIfCurrent xs result] -> ShowS Source #

decodeQueryAnytimeResult :: QueryAnytime result -> forall s. Decoder s result Source #

decodeQueryHardForkResult :: SListI xs => QueryHardFork xs result -> forall s. Decoder s result Source #

encodeQueryAnytimeResult :: QueryAnytime result -> result -> Encoding Source #

encodeQueryHardForkResult :: SListI xs => QueryHardFork xs result -> result -> Encoding Source #

getHardForkQuery :: BlockQuery ( HardForkBlock xs) result -> ( forall result'. (result :~: HardForkQueryResult xs result') -> QueryIfCurrent xs result' -> r) -> ( forall x' xs'. (xs :~: (x' ': xs')) -> ProofNonEmpty xs' -> QueryAnytime result -> EraIndex xs -> r) -> ( forall 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 => ShowQuery ( BlockQuery ( HardForkBlock xs)) Source #
Instance details Methods showResult :: BlockQuery ( HardForkBlock xs) result -> result -> String 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 => QueryLedger ( HardForkBlock xs) Source #
Instance details Methods answerBlockQuery :: ExtLedgerCfg ( HardForkBlock xs) -> BlockQuery ( HardForkBlock xs) result -> ExtLedgerState ( HardForkBlock xs) -> result Source #
All SingleEraBlock xs => Show ( BlockQuery ( HardForkBlock xs) result) Source #
Instance details Methods showsPrec :: Int -> BlockQuery ( HardForkBlock xs) result -> ShowS Source # show :: BlockQuery ( HardForkBlock xs) result -> String Source # showList :: [ BlockQuery ( HardForkBlock xs) result] -> ShowS Source #
Typeable xs => ShowProxy ( BlockQuery ( HardForkBlock xs) :: Type -> Type ) Source #
Instance details Methods showProxy :: Proxy ( BlockQuery ( HardForkBlock xs)) -> String Source #